Forwarded from Axis of Ordinary
Work on automated reasoning & formal maths from MetaAI:
"Our model is able to prove mathematical theorems in a fully automated way and significantly outperforms the [state of the art]..."
"The model learns from previous proof searches through online training, which allows it to generalize to mathematical domains far from the training distribution. In Metamath, our model proves more than 82% of theorems from a random split (compared to 56.5% for GPT-f)."
Paper: HyperTree Proof Search for Neural Theorem Proving https://arxiv.org/abs/2205.11491
"Our model is able to prove mathematical theorems in a fully automated way and significantly outperforms the [state of the art]..."
"The model learns from previous proof searches through online training, which allows it to generalize to mathematical domains far from the training distribution. In Metamath, our model proves more than 82% of theorems from a random split (compared to 56.5% for GPT-f)."
Paper: HyperTree Proof Search for Neural Theorem Proving https://arxiv.org/abs/2205.11491
http://www.streamwhatyouhear.com/download/
Simplest audio stream from PC to Android device via LAN that I've found.
Simplest audio stream from PC to Android device via LAN that I've found.
Forwarded from Senior Python Developer
Упрощенная работа с JSON
Есть один интересный пакет
Основные примеры использования показаны на картинке. Метод
Возможностей у пакета достаточно, поэтому он вполне достоин изучения и применения в проектах. Подробнее можно узнать в документации.
Есть один интересный пакет
JMESpath, который позволяет декларативно указать, как извлекать элементы из JSON. Основные примеры использования показаны на картинке. Метод
search принимает паттерн, по которому требуется извлечь данные, а также словарь, который сам похож на JSON. Возможностей у пакета достаточно, поэтому он вполне достоин изучения и применения в проектах. Подробнее можно узнать в документации.
Forwarded from Локалхост (Никита Куликов) (Nikita Kulikov)
У браузеров есть технология для P2P (peer to peer) соединения между двумя клиентами - WebRTC.
Это позволяет чатиться, обмениваться данными и прочим друг с другом без использования сервера.
Почти без использования сервера. Дело в том что для первоначальной установки соединения все-таки требуется сервер, так как требуется “пробить” NAT (грубо говоря, к вашему компьютеру нельзя достучаться из сети просто так).
Так вот - мой коллега, фронтэндер, сделал P2P терминал для Serial порта. Это значит что вы можете открыть свой браузер, подключить устройство к usb и перекинуть этот доступ другому человеку, просто кинув ссылку. И все это работает без своего сервера.
Магия тут заключается в том что в качестве сервера используются announcement сервера Torrent-трекеров. Это те же сервера, которые помогают вам скачивать через
Это просто фантастика! Вот сама библиотека - https://github.com/subins2000/p2pt
Это позволяет чатиться, обмениваться данными и прочим друг с другом без использования сервера.
Почти без использования сервера. Дело в том что для первоначальной установки соединения все-таки требуется сервер, так как требуется “пробить” NAT (грубо говоря, к вашему компьютеру нельзя достучаться из сети просто так).
Так вот - мой коллега, фронтэндер, сделал P2P терминал для Serial порта. Это значит что вы можете открыть свой браузер, подключить устройство к usb и перекинуть этот доступ другому человеку, просто кинув ссылку. И все это работает без своего сервера.
Магия тут заключается в том что в качестве сервера используются announcement сервера Torrent-трекеров. Это те же сервера, которые помогают вам скачивать через
.torrent файлы. Это просто фантастика! Вот сама библиотека - https://github.com/subins2000/p2pt
Forwarded from Записки админа
⚒ ugit - утилита для отмены выполненных git команд.
Github: https://github.com/Bhupesh-V/ugit
Обзор: https://bhupesh.me/undo-your-last-git-mistake-with-ugit/
#git #tui #будничное
Github: https://github.com/Bhupesh-V/ugit
Обзор: https://bhupesh.me/undo-your-last-git-mistake-with-ugit/
#git #tui #будничное