5.9Kпросмотров
8 сентября 2023 г.
Score: 6.5K
Большое событие — вышел официальный стабильный релиз Lean 4! 🥳
D
dd if=/dev/stuff of=/dev/tg
@randomstuffilike2.5K подп.
5.9K
просмотров
62
символов
Да
эмодзи
Нет
медиа
Другие посты @randomstuffilike
Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentatio👁 14.8KDesign Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, ко👁 14.8Khttps://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта👁 14.0KМоделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html👁 13.1Khttps://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта👁 11.9K
Все посты канала →