В блоге появились комменты! Реализовано это через отличный проект Utterances — они используют механизм GitHub Issues API для ведения комментариев.
Подключайтесь к обсуждениям! ;)

Еще немного тайплевельного программирования — крестики-нолики на типах TypeScript:
https://note89.github.io/typenoscript-typelevel-tic-tac-toe/

Небольшой апдейт по жизни канала.
Те, кто давно подписан на этот канал, возможно, помнят нерегулярную рубрику #музыкальная_пауза. Я решил, что буду писать про музыку, которая вызывает во мне отклик, в отдельном канале, а этот оставить только для тем, связанных с программированием.
Подписывайтесь: https://news.1rj.ru/str/randommusicilike 🤘🏻

Ссылка, которую я теперь буду отправлять всем, кто хочет постигнуть type-level программирование на TS:
https://type-level-typenoscript.com
Очень круто, рекомендую так же, как и всем уже знакомый репозиторий https://github.com/type-challenges/type-challenges.

https://alexharri.com/blog/build-schema-language-with-infer — отличный пример того, как надо работать с infer.

https://news.1rj.ru/str/Loskirs/1195 — статья о складывании чисел на уровне типов. Применен умный алгоритмический трюк, который позволил обойти ограничение на глубину рекурсии, которое возникает при наивной реализации.

Ассемблер на системе типов TypeScript. Во-первых, это красиво. Во-вторых, см. во-первых. Чистое искусство, как по мне: https://judehunter.dev/blog/assembly-interpreter-in-typenoscripts-type-system

https://busy-beavers.tigyog.app/proofs-about-programs — интерактивное обучение LEAN. Интересно и очень доступно написано.

Подведу небольшие итоги года

За этот год, несмотря на все невзгоды и сложности, я продолжил расти как архитектор и разработчик. Получилось так, что я успешно завершил несколько рабочих проектов, и сейчас работаю в звездной команде вместе с инженерами уровня СТО и Associate Principal. Это дало огромный буст, в первую очередь, софт-скиллам и навыкам управления командами. Отдельно хочу публично поблагодарить мою супругу Арину — без ее коучинговой поддержки такой рост был бы просто невозможен ❤️

В плане программирования 2022 также оказался для меня важным: я продолжил работу над личным брендом и менторской программой по функциональному TypeScript. В первом квартале 2023 планирую запускать первый поток, а пока занимаюсь с несколькими студентами в экспериментальном формате индивидуально. Следите за обновлениями — скоро будет много всего интересного! 🙂

С Новым годом! 🎄

P.S. Также подвел итоги года в своем музыкальном канале. Подписывайтесь 😉

Интервью quanta с Лесли Лампортом
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517

Я решил, что буду писать не только на тему функционального программирования, ведь мне есть что сказать на темы образования, обучения команд, архитектуры, лидерства. Поэтому в качестве эксперимента я опубликовал небольшое эссе о системе управления знаниями, которую я использую: https://ybogomolov.me/with-simplicity-comes-clarity
А что используете вы для упорядочивания знаний? Notion, Logseq, Obsidian, Evernote, Gingko, или, может, что-то кастомное? Пишите в комментариях, мне интересно узнать больше о моих подписчиках.

Джон Де Гоуз написал огромную статью с обзором всей экосистемы Scala, включая IDE и системы сборки: https://degoes.net/articles/scala-resurrection
Главное, что он не просто перечислил факты, а предложил решения для некоторых проблем. В частности, он предложил провести Scala Open Source Summit, где предполагается обсуждать вопросы консолидации экосистем.
Как по мне, очень здравые предложения. А что думаете вы?

Эмили Риль объясняет концепцию бесконечности на пяти уровнях сложности, от детского до экспертного: https://youtu.be/Vp570S6Plt8
Нереально крутая серия видео от Wired, советую глянуть и другие видео из этого плейлиста: https://youtube.com/playlist?list=PLibNZv5Zd0dyCoQ6f4pdXUFnpAIlKgm3N

Free Variables and Free Effects: an elementary introduction to algebraic effects and handlers
https://okmij.org/ftp/Computation/variables-effects.html

Для 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 🔥

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