8.4Kпросмотров
18 октября 2023 г.
Score: 9.3K
https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.
D
dd if=/dev/stuff of=/dev/tg
@randomstuffilike2.5K подп.
8.4K
просмотров
151
символов
Нет
эмодзи
Нет
медиа
Другие посты @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
Все посты канала →