https://tomassetti.me/resources-create-programming-languages/

A collection of tutorials, books and tools useful for (different aspects of) programming languages development from Gabriele Tomassetti (Strumenta).

http://mlss.cc/

#mlss #machinelearning summer schools — all over the world. Some lectures #video available.

Инопланетяне заявили о прекращении своей деятельности в России. Больше никого забирать не будут.

"Все анальные зонды самоуничтожатся. Приносим извинения за доставленные неудобства."

Ладно, шутки в сторону, хочу "прорекламировать" https://github.com/gsantner/markor Мне, конечно, не платят (это грёбаное бесплатное open-source приложение), и на моё мнение всем плевать, но я всё равно его озвучу!

It's a solid piece of technology. По сути, это редактор текстовых файлов (Markdown в первую очередь и ещё нескольких сопутствующих) для мобилок. С добавлением встроенной навигации по папкам претендует на "notes manager". Но в этом и штука — я целенаправленно искал "notes manager", который будет тупо писать в файлики в специальной папочке, которую можно синхронизировать Syncthing. Works like a charm. Для параноиков имеется шифрование, но я не пользуюсь.

Ещё в процессе поисков набрёл на https://github.com/GitJournal/GitJournal
По сути тоже редактор Markdown файлов в папках, но сразу умеет синхронизироваться с Git-репой. В этом смысле совместим с Foam и кто там ещё делает Zettelkasten поверх Markdown в Git. Умеет в красивое отображение файликов в виде карточек и всякое такое, но я прошёл мимо.

https://dev.to/eevajonnapanula/results-of-quick-testing-of-documentation-tools-accessibility-3808

Accessibility is hard, on the Web in particular. Even for (essentially) static documentation sites. 😒

Косметика, которая выглядит как аллергическая реакция на неё.

https://github.com/toeverything/AFFiNE

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

https://www.inference.vc/untitled/

Very illuminating series of posts on #causalinference

https://www.youtube.com/watch?v=s6pjxCuNGjc
"What makes a programming language successful?"

An opinionated take for sure and the author doesn't deny it. Still surprisingly sensible. Very little about language features and everything about "ecosystem", "DX", affordances and so on.

https://www.alignmentforum.org/posts/XxX2CAoFskuQNkBDy/discovering-agents

Maybe their "AI alignment research" does provide solid statistical methods after all. 😏

https://jmlr.org/papers/v14/bottou13a.html
"Counterfactual Reasoning and Learning Systems: The Example of Computational Advertising"

Way back in 2013 the guys built a model of an ads selection system in the form of a causal graph and learning/optimization as a counterfactual inference problem. Might be curious to compare to aforementioned AI alignment paper on agent discovery.

The eyes in the mirror above the sink were the color of a Gentoo user.

https://www.hillelwayne.com/post/stamping-on-eventstream/

A pretty deep and thoughtful analysis of an (old) event-stream library security incident (Bitcoins theft) by Hillel Wayne (from back when the topic was still hot). It identifies many more — technical and organisational, thus addressable — issues than simply "you just have to audit all of your 100500 transitive dependencies even if you have no idea about security and won't recognize a RCE even if it jumped at you". (For the record I won't recognize most of even half-assed vulnerabilities.)

https://www.fast.ai/2022/07/28/nbdev-v2/

Fast.ai Jupyter Notebooks extension (nbdev, execnb) + Quarto which can render notebooks and some other formats to pretty much any format (HTML/Markdown/LaTeX/docx/etc.) through Pandoc. I was already pointed to Quarto before which is pretty cool by itself. Together they indeed promise interesting environment and extended workflow for Data Science, Development, Education, Tutorials and so on.

http://glueviz.org/

Looks like pretty interesting and powerful visual #dataanalysis tool. Comparing the same (selected) data subset across different graphs is insightful and illuminating.

https://executablebooks.org/en/latest/

Another one for producing publications/documentation from Jupyter Notebooks.

https://medium.com/@kentbeck_7670/test-commit-revert-870bbd756864

Kent Beck promotes another crazy radical workflow. But it might indeed be fun to try for a hobby project. 😊

Вас в школе учитель(ница) математики заставляла расписывать промежуточные шаги при решении задачи? Исследователи из Google AI заставили это делать свои Language Models:
https://ai.googleblog.com/2022/05/language-models-perform-reasoning-via.html

Удивительное дело, но явное выписывание промежуточных шагов сильно помогает решать математические задачки. Видимо, учителя математики что-то нащупали за последние 200 лет своей совокупной деятельности.

Что несколько более удивительно, обучение модели выполнению детерминированных логических шагов, в частности, арифметических операций происходит прямо на естественном языке, натурально как в школе. Точнее, людям в школе-то как раз дают явные алгоритмы сложения-вычитания-умножения-деления ("в столбик"), а "ИИ" (уже/пока что) — нет.

Но исследователи и исследовательницы на этом не остановились, и подумали "а что если заменить шаги математических вычислений на манипуляции, производимые роботом?":
https://ai.googleblog.com/2022/08/towards-helpful-robots-grounding.html

Оказалось, что докинув в замес ещё пару ML/RL-трюков (image-based behavioral cloning, temporal-difference-based RL, RetinaGAN и прочее по мелочи) можно поднять процент успешных задуманных "хитрых планов" до 84, и выполненных до 74. Ещё недостаточно хорошо, чтобы "спасать жизни", но сильно лучше, чем 50/50.

По такой радости даже запилили "продающий сайт":
https://sites.research.google/palm-saycan

https://www.jaggedalliance.com/

As a long-time Jagged Alliance 2 fan I have very high hopes for Jagged Alliance 3! 😃