dd if=/dev/stuff of=/dev/tg
@randomstuffilikeМузыка: @randommusicilike 18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Посты канала (20)
- Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтических целях завел канал на рус… 13.03.2026
- Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html 28.02.2024
- Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about… 05.12.2023
- Design Guidelines for Domain-Specific Languages Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руко… 09.11.2023
- И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript 19.10.2023
- https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта. Это стало возможн… 19.10.2023
- https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написан… 18.10.2023
- Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень реком… 09.09.2023
- Большое событие — вышел официальный стабильный релиз Lean 4! 🥳 08.09.2023
- https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться… 05.09.2023
- Пятая статья из цикла “Intro to Effect”: https://ybogomolov.me/05-effect-stm ✨ Разбираю тему software transactional mem… 22.08.2023
- Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨ Продолжаю цикл статей про Ef… 18.08.2023
- Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥 Сегодня рассказываю … 13.08.2023
- Typed Design Patterns for the Functional Era This paper explores how design patterns could be revisited in the era of m… 18.07.2023
- Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨ Рассказываю о способах обра… 16.07.2023
- В твиттере показали красивое: https://github.com/gvergnaud/hotscript 11.07.2023
- Начало новой серии статей о Effect: https://ybogomolov.me/01-effect-intro 🔥 Рассказываю, что такое Effect<R, E, A>, ка… 11.07.2023
- TLA+, но с человеческим синтаксисом: https://github.com/informalsystems/quint Quint is inspired by TLA+ but provides an… 11.07.2023
- Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, … 10.07.2023
- Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust: https://github.com/Dragon-Hatcher/t… 10.07.2023