dd if=/dev/stuff of=/dev/tg

Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтических целях завел канал на русском языке, посвященный настольным играм и околоигровому крафту. Пока что вышло два видео: об эмерджентности истории в Five Parsecs From Home и о бумажных миниатюрах. Посмотрим, как все будет развиваться: может, будут батл-репорты, может, больше крафта, может, всего понемногу. Подписывайтесь, что ли: http://www.youtube.com/@YuriyRolls

Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html

Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃

Design Guidelines for Domain-Specific Languages Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.

И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript

https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта. Это стало возможным благодаря кастомному рантайм, написанному на Zig. A work of pure art 🖼️

https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.

Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую.

Большое событие — вышел официальный стабильный релиз Lean 4! 🥳

https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.