Forwarded from 👻 🕊️
Вот это пока лучшее на LAION что я видел (это как раз из статейки latent diffusion)
Forwarded from Лингвопанк
Список языков программирования, которые не основаны на английском языке.
Смотря на примеры можно представить себе альтернативную цивилизацию, где во время ИТ-революции доминировала другая культура (как до этого доминировал Арабский мир или Китай).
https://en.wikipedia.org/wiki/Non-English-based_programming_languages
Смотря на примеры можно представить себе альтернативную цивилизацию, где во время ИТ-революции доминировала другая культура (как до этого доминировал Арабский мир или Китай).
https://en.wikipedia.org/wiki/Non-English-based_programming_languages
Forwarded from Open Source
Black Triangle.wav
634 KB
Silero
Нейросетевая модель Text-to-Speech.
Проект в первую очередь нацелен на создание современной высококачественной системы синтеза речи, не уступающей коммерческим решениям от корпораций и доступной для всех желающих без использования дорогого серверного оборудования.
▫️Модели умеют делать паузы
▫️Доступно 4 высококачественных голоса на русском языке
▫️Модели могут принимать целые абзацы текста на вход, поддерживаются SSML-теги
https://github.com/snakers4/silero-models
Нейросетевая модель Text-to-Speech.
Проект в первую очередь нацелен на создание современной высококачественной системы синтеза речи, не уступающей коммерческим решениям от корпораций и доступной для всех желающих без использования дорогого серверного оборудования.
▫️Модели умеют делать паузы
▫️Доступно 4 высококачественных голоса на русском языке
▫️Модели могут принимать целые абзацы текста на вход, поддерживаются SSML-теги
https://github.com/snakers4/silero-models
Forwarded from Open Source
draw
draw — простой инструмент для рисования прямо в вашем терминале.
https://github.com/maaslalani/draw
draw — простой инструмент для рисования прямо в вашем терминале.
https://github.com/maaslalani/draw
Forwarded from Open Source
netplot.
«Какие программы выходили в сеть, пока я спал?» — netplot программа которая решает этот вопрос😉
▫️подсчитайте, сколько пакетов ваши работающие программы отправили за определенный период времени, и отобразите их графически
▫️при желании показать, с какими IP-адресами связывались ваши запущенные программы, или попытаться разрешить их DNS
▫️узнайте, что каким-то образом вы продаете свои данные Google, Facebook и их друзьям
https://github.com/fedeb95/netplot
«Какие программы выходили в сеть, пока я спал?» — netplot программа которая решает этот вопрос😉
▫️подсчитайте, сколько пакетов ваши работающие программы отправили за определенный период времени, и отобразите их графически
▫️при желании показать, с какими IP-адресами связывались ваши запущенные программы, или попытаться разрешить их DNS
▫️узнайте, что каким-то образом вы продаете свои данные Google, Facebook и их друзьям
https://github.com/fedeb95/netplot
Forwarded from раздача конфет в арке на пятой авенью бесплатно (Ам Кн)
пиздец https://k9scli.io/
k9scli.io
K9s - Manage Your Kubernetes Clusters In Style
K9s provides a terminal UI to interact with your Kubernetes clusters. The aim of this project is to make it easier to navigate, observe and manage your Kuber...
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. Возможностей у пакета достаточно, поэтому он вполне достоин изучения и применения в проектах. Подробнее можно узнать в документации.