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

Для Scala.js разработали новый плагин для hot reload: https://www.scala-lang.org/blog/2023/04/18/faster-scalajs-development-with-frontend-tooling.html В отличии от старого scalajs-bundler, который работал с webpack, новая разработка нацелена на Vite. А вы пробовали этот бандлер?

Сегодня в Лиссабоне проходит ZIO World 2023. Я оффлайн приехать в этом году не смог, хоть это и близко, поэтому смотрю онлайн. Веду небольшую трансляцию в твиттере: https://twitter.com/YuriyBogomolov/status/1649339971038334977 Подписывайтесь 😉 А вы смотрите эту конференцию? Что думаете про ZIO 2.1 и новую модель стримов?

Вынес всю информацию по менторингу к себе на сайт: https://ybogomolov.me/mentoring ✨ На текущий момент готов взять 2-3 человек в персональный менторинг, или 4-5 в группу. Старт группы возможен уже в августе, а early birds получат скидку 10%!

В эфире нерегулярная рубрика «дед ворчит на строки»: https://ybogomolov.me/primitives-were-a-mistake Рассказываю, почему вы должны перестать пользоваться типами string, number, boolean прямо сейчас.

Реализация STLC на хаскеле с использованием индексов/уровней де Брёйна: https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 🔥

Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨ Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).

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

Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥 Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.

Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨ Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime.

Пятая статья из цикла “Intro to Effect”: https://ybogomolov.me/05-effect-stm ✨ Разбираю тему software transactional memory (STM).

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

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

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

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

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

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

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

Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтических целях завел канал на русском языке, посвященный настольным играм и околоигровому крафту. Пока что вышло два видео: об эмерджентности истории в Five Parsecs From Home и о бумажных миниатюрах. Посмотрим, как все будет развиваться: может, будут батл-репорты, может, больше крафта, может, всего понемногу. Подписывайтесь, что ли: http://www.youtube.com/@YuriyRolls