Введите текст для поиска
Расширенный поиск каналов

«Вкусономика» — ресторанный гид

47 000 посетителей премиальных ресторанов Москвы
img
реклама

«Москвоведение» — жизнь в городе

40 000 москвичей выбирают куда сходить в Москве
img
реклама

TeleJet - реклама в Telegram-ботах

Получай целевых подписчиков в TG по цене до 20 рублей
img
реклама

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

@randomstuffilike
Гео и язык канала: Россия, Русский

Музыка: @randommusicilike
18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot
По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot

Связанные каналы  |  Похожие каналы
Гео и язык канала
Россия, Русский
Категория
Юмор и развлечения
Статистика
Это ваш канал? Подтвердить История канала
Фильтр публикаций

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

28 Feb, 17:52

Открыть в Telegram Поделиться Пожаловаться
1.7k 0 21 2
dd if=/dev/stuff of=/dev/tg

5 Dec 2023, 23:21

Открыть в Telegram Поделиться Пожаловаться
Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
3.6k 0 46 3
dd if=/dev/stuff of=/dev/tg

9 Nov 2023, 15:52

Открыть в Telegram Поделиться Пожаловаться
Design Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
4.7k 1 58
dd if=/dev/stuff of=/dev/tg

19 Oct 2023, 20:30

Открыть в Telegram Поделиться Пожаловаться
5.9k 2 42
dd if=/dev/stuff of=/dev/tg

19 Oct 2023, 20:21

Открыть в Telegram Поделиться Пожаловаться
5.1k 2 61
dd if=/dev/stuff of=/dev/tg

18 Oct 2023, 10:20

Открыть в Telegram Поделиться Пожаловаться
https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.
4.6k 2 28 1
dd if=/dev/stuff of=/dev/tg

9 Sep 2023, 12:11

Открыть в Telegram Поделиться Пожаловаться
Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую.
Richard Towers | Typescripting the technical interview
An homage to Aphyr's Typing the technical interview
4k 0 53 1
dd if=/dev/stuff of=/dev/tg

8 Sep 2023, 12:03

Открыть в Telegram Поделиться Пожаловаться
3.5k 0 9 11
dd if=/dev/stuff of=/dev/tg

5 Sep 2023, 23:18

Открыть в Telegram Поделиться Пожаловаться
https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.
Learn Physics with Functional Programming
Deepen your understanding of physics by learning to use the Haskell functional programming language.
3.2k 0 60 1
dd if=/dev/stuff of=/dev/tg

22 Aug 2023, 19:25

Открыть в Telegram Поделиться Пожаловаться
Пятая статья из цикла “Intro to Effect”:
https://ybogomolov.me/05-effect-stm ✨

Разбираю тему software transactional memory (STM).
Intro To Effect, Part 5: Software Transactional Memory in Effect
3.6k 0 15
dd if=/dev/stuff of=/dev/tg

18 Aug 2023, 15:55

Открыть в Telegram Поделиться Пожаловаться
Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨

Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.
Intro To Effect, Part 4: Concurrency in Effect
3.1k 0 15 1
dd if=/dev/stuff of=/dev/tg

13 Aug 2023, 14:58

Открыть в Telegram Поделиться Пожаловаться
Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥

Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.
Intro To Effect, Part 3: Managing Dependencies
3.1k 0 28
dd if=/dev/stuff of=/dev/tg

18 Jul 2023, 09:25

Открыть в Telegram Поделиться Пожаловаться
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.4k 0 29 7
dd if=/dev/stuff of=/dev/tg

16 Jul 2023, 16:11

Открыть в Telegram Поделиться Пожаловаться
Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨

Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).
Intro To Effect, Part 2: Handling Errors
3.2k 0 21 1
dd if=/dev/stuff of=/dev/tg

11 Jul 2023, 16:17

Открыть в Telegram Поделиться Пожаловаться
В твиттере показали красивое: https://github.com/gvergnaud/hotscript
3.4k 0 18 4
dd if=/dev/stuff of=/dev/tg

11 Jul 2023, 15:43

Открыть в Telegram Поделиться Пожаловаться
Начало новой серии статей о Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое Effect, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения.
Intro To Effect, Part 1: What Is Effect?
3.3k 0 28 1
dd if=/dev/stuff of=/dev/tg

11 Jul 2023, 14:36

Открыть в Telegram Поделиться Пожаловаться
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.
GitHub - informalsystems/quint: Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions - GitHub - informalsystems/quint: Quint is an executable spe...
2.6k 0 19
dd if=/dev/stuff of=/dev/tg

10 Jul 2023, 19:50

Открыть в Telegram Поделиться Пожаловаться
Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, когда система типов Тьюринг-полна 🤤
2.7k 0 80 1
dd if=/dev/stuff of=/dev/tg

10 Jul 2023, 10:00

Открыть в Telegram Поделиться Пожаловаться
Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.
GitHub - Dragon-Hatcher/type-system-chess: Chess implemented entirely in the Rust and TS type systems.
Chess implemented entirely in the Rust and TS type systems. - GitHub - Dragon-Hatcher/type-system-chess: Chess implemented entirely in the Rust and TS type systems.
2.1k 0 37 3
dd if=/dev/stuff of=/dev/tg

9 Jul 2023, 14:39

Открыть в Telegram Поделиться Пожаловаться
Реализация STLC на хаскеле с использованием индексов/уровней де Брёйна: https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 🔥
How to Keep Lambda Calculus Simple
1.8k 0 14
Показано 20 последних публикаций.