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

@randomstuffilike

Музыка: @randommusicilike

18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot

dd if=/dev/stuff of=/dev/tg (Russian)

Добро пожаловать в канал dd if=/dev/stuff of=/dev/tg! Здесь вы найдете увлекательную подборку музыки, которая понравится каждому меломану. Наш канал @randommusicilike предлагает разнообразные композиции и исполнителей для вашего прослушивания.

Канал предназначен для аудитории 18+. Если у вас есть какие-либо вопросы, кроме рекламы, вы можете обратиться к нашему администратору через @rsil_feedback_bot. Пожалуйста, обратите внимание, что для вопросов о рекламе вам следует внимательно ознакомиться с приветственным сообщением и обратиться к @rsil_ads_bot.

Присоединяйтесь к нашему каналу, чтобы насладиться отборной музыкой и получить исключительный опыт прослушивания. Мы ценим каждого участника и стремимся делать ваше время на канале незабываемым и приятным!

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

28 Feb, 14:52

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

6,226

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

05 Dec, 20:21

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

8,014

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

09 Nov, 12:52

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

8,746

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

19 Oct, 17:30

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

9,346

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

19 Oct, 17:21

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

8,041

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

18 Oct, 07:20

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

6,231

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

09 Sep, 09:11

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

5,421

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

08 Sep, 09:03

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

4,635

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

05 Sep, 20:18

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

4,054

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

22 Aug, 16:25

Пятая статья из цикла “Intro to Effect”:
https://ybogomolov.me/05-effect-stm ✨

Разбираю тему software transactional memory (STM).

4,211

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

18 Aug, 12:55

Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨

Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.

3,600

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

13 Aug, 11:58

Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥

Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.

3,545

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

18 Jul, 06:25

Typed Design Patterns for the Functional Era

This paper explores how design patterns could be revisited in the era of mainstream functional programming languages.

https://arxiv.org/abs/2307.07069

3,754

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

16 Jul, 13:11

Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨

Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).

3,594

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

11 Jul, 13:17

В твиттере показали красивое: https://github.com/gvergnaud/hotscript

5,297

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

11 Jul, 12:43

Начало новой серии статей о Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое Effect<R, E, A>, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения.

5,146

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

11 Jul, 11:36

TLA+, но с человеческим синтаксисом:

https://github.com/informalsystems/quint

Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.

2,868

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

10 Jul, 16:50

Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, когда система типов Тьюринг-полна 🤤

2,901

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

10 Jul, 07:00

Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.

2,367