https://github.com/wasamasa/quasiconf-2015
https://github.com/wasamasa/quasiconf-2014
Emacs graphics exploration

Всю книгу Пуанкаре докапывается, сначала до всей математики кроме геометрии, и делает вывод, что большая часть аксиом — это на самом деле определения. Отдельно выделяет метод индукции и разбирает его как приём познания и способность ума делать n+1 шаг без итераций по всем остальным n. Потом отдельно докапывается до геометрии, и приходит к тому, что нет геометрии более истинной чем любая другая геометрия, есть лишь более или менее удобные, более или менее общие. Это кстати тот кусок, который кубистам понравился, потому что там ещё рассуждения о пространственных размерностях, как о величинах, которые мы можем органами чувств замерять. И в целом, Пуанкаре дотошно относится к тому мосту между человечьим познанием и тем, как устроена математика. То есть не остаётся такого, что математика сама по себе, такая идеализированная и чистая существующая в высших мирах независимо от тех, кто её познаёт.

Дальше Пуанкаре докапывается до разных областей физики. Интересно взглянуть на то, как физика выглядела в то время. Из интересных пунктов, не трогая все детали, меня позабавил вывод, что закон сохранения энергии, если мы пытаемся избавить его от всевозможных условностей, в чистом виде приходит к формулировке "существует нечто, что остаётся постоянным". Ближе к концу автор критикует критиков за идею "банкротства науки", поясняя, что да, наука всегда имеет лишь приближённое представление о действительности, и всё будет со временем уточняться, отбрасываться как неверное, переходить в другие парадигмы. И вопрос нужно ставить не в виде "верны или не верны" научные представления о мире, а полезны они или нет.

Вот это пока лучшее на LAION что я видел (это как раз из статейки latent diffusion)

Список языков программирования, которые не основаны на английском языке.

Смотря на примеры можно представить себе альтернативную цивилизацию, где во время ИТ-революции доминировала другая культура (как до этого доминировал Арабский мир или Китай).

https://en.wikipedia.org/wiki/Non-English-based_programming_languages

Silero

Нейросетевая модель Text-to-Speech.

Проект в первую очередь нацелен на создание современной высококачественной системы синтеза речи, не уступающей коммерческим решениям от корпораций и доступной для всех желающих без использования дорогого серверного оборудования.

▫️Модели умеют делать паузы
▫️Доступно 4 высококачественных голоса на русском языке
▫️Модели могут принимать целые абзацы текста на вход, поддерживаются SSML-теги

https://github.com/snakers4/silero-models

​​draw

draw — простой инструмент для рисования прямо в вашем терминале.

https://github.com/maaslalani/draw

netplot.

«Какие программы выходили в сеть, пока я спал?» — netplot программа которая решает этот вопрос😉

▫️подсчитайте, сколько пакетов ваши работающие программы отправили за определенный период времени, и отобразите их графически
▫️при желании показать, с какими IP-адресами связывались ваши запущенные программы, или попытаться разрешить их DNS
▫️узнайте, что каким-то образом вы продаете свои данные Google, Facebook и их друзьям

https://github.com/fedeb95/netplot

пиздец https://k9scli.io/

https://www.analog.com/media/en/training-seminars/design-handbooks/MixedSignal_Sect2.pdf
Sampler dsp design

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

http://www.streamwhatyouhear.com/download/
Simplest audio stream from PC to Android device via LAN that I've found.

https://kakoune.org/
Modal editor which not VIM

Упрощенная работа с JSON

Есть один интересный пакет JMESpath, который позволяет декларативно указать, как извлекать элементы из JSON.

Основные примеры использования показаны на картинке. Метод search принимает паттерн, по которому требуется извлечь данные, а также словарь, который сам похож на JSON.

Возможностей у пакета достаточно, поэтому он вполне достоин изучения и применения в проектах. Подробнее можно узнать в документации.