Channel: dd if=/dev/stuff of=/dev/tg
Давно не писал ничего, нужно исправлять ситуацию.
Опубликовал небольшую статью, рассчитанную на новичков, — разъяснение часто встречающихся терминов в среде ФП-разработчиков:
https://ybogomolov.me/fp-jargon-part-1
Это первая статья из небольшого цикла. Кроме того, в работе есть лонгрид (и лонграйт, по правде говоря) на тему корректного и типобезопасного моделирования данных — DDD, make illegal states unrepresentable, тайп-левел, вот это всё. Планирую её до конца квартала всё-таки дописать и опубликовать 🙃
Upd: пересоздал пост, т.к. восстановил комментарии к записям. Пишите, как вам?
Опубликовал небольшую статью, рассчитанную на новичков, — разъяснение часто встречающихся терминов в среде ФП-разработчиков:
https://ybogomolov.me/fp-jargon-part-1
Это первая статья из небольшого цикла. Кроме того, в работе есть лонгрид (и лонграйт, по правде говоря) на тему корректного и типобезопасного моделирования данных — DDD, make illegal states unrepresentable, тайп-левел, вот это всё. Планирую её до конца квартала всё-таки дописать и опубликовать 🙃
Upd: пересоздал пост, т.к. восстановил комментарии к записям. Пишите, как вам?
ybogomolov.me
Functional Programming Jargon, Part 1
В блоге появились комменты! Реализовано это через отличный проект Utterances — они используют механизм GitHub Issues API для ведения комментариев.
Подключайтесь к обсуждениям! ;)
Подключайтесь к обсуждениям! ;)
Еще немного тайплевельного программирования — крестики-нолики на типах TypeScript:
https://note89.github.io/typescript-typelevel-tic-tac-toe/
https://note89.github.io/typescript-typelevel-tic-tac-toe/
note89.github.io
TypeScript Typelevel Tic-Tac-Toe: Overkill edition!
A fully functioning, dynamically sized, Tic Tac Toe Game with a UI, all on the typelevel. The TypeScript typesystem is very powerful!
Небольшой апдейт по жизни канала.
Те, кто давно подписан на этот канал, возможно, помнят нерегулярную рубрику #музыкальная_пауза. Я решил, что буду писать про музыку, которая вызывает во мне отклик, в отдельном канале, а этот оставить только для тем, связанных с программированием.
Подписывайтесь: https://hottg.com/randommusicilike 🤘🏻
Те, кто давно подписан на этот канал, возможно, помнят нерегулярную рубрику #музыкальная_пауза. Я решил, что буду писать про музыку, которая вызывает во мне отклик, в отдельном канале, а этот оставить только для тем, связанных с программированием.
Подписывайтесь: https://hottg.com/randommusicilike 🤘🏻
Telegram
RΛNDOM MVSIC I LIKE
Канал-сателлит @randomstuffilike, посвященный музыке
Ссылка, которую я теперь буду отправлять всем, кто хочет постигнуть type-level программирование на TS:
https://type-level-typescript.com
Очень круто, рекомендую так же, как и всем уже знакомый репозиторий https://github.com/type-challenges/type-challenges.
https://type-level-typescript.com
Очень круто, рекомендую так же, как и всем уже знакомый репозиторий https://github.com/type-challenges/type-challenges.
Type-Level TypeScript
An online course to become a TypeScript expert. Discover the most advanced features of the type system while solving fun challenges!
https://alexharri.com/blog/build-schema-language-with-infer — отличный пример того, как надо работать с
infer
.Alexharri
Build your own schema language with TypeScript's infer keyword
A case study on using TypeScript's infer keyword, combined with recursive types, to create a custom schema language using template literal types.
https://hottg.com/Loskirs/1195 — статья о складывании чисел на уровне типов. Применен умный алгоритмический трюк, который позволил обойти ограничение на глубину рекурсии, которое возникает при наивной реализации.
Telegram
Loskir's
🖥 Складываем числа, используя только систему типов Typescript!
Написал статью о том, как я реализовал сумматор двух чисел в системе типов Typescript. Сложение происходит в десятичной системе, а алгоритм похож на сложение столбиком.
Система типов в Typescript…
Написал статью о том, как я реализовал сумматор двух чисел в системе типов Typescript. Сложение происходит в десятичной системе, а алгоритм похож на сложение столбиком.
Система типов в Typescript…
Ассемблер на системе типов TypeScript. Во-первых, это красиво. Во-вторых, см. во-первых. Чистое искусство, как по мне: https://judehunter.dev/blog/assembly-interpreter-in-typescripts-type-system
judehunter.dev
Assembly interpreter inside of TypeScript's type system · Jude Hunter
TypeScript's type system is crazy advanced. We can even build entire programming languages on the type level. I built a whole Assembly interpreter in type annotations and it's cursed.
https://busy-beavers.tigyog.app/proofs-about-programs — интерактивное обучение LEAN. Интересно и очень доступно написано.
TigYog
Proofs about programs
The halting problem be damned — we can prove all kinds of things about programs, and we can even check those proofs with computers! In this chapter, we’ll use a language called Lean to prove whether the famous Ackermann function always halts. Along the way…
Подведу небольшие итоги года
За этот год, несмотря на все невзгоды и сложности, я продолжил расти как архитектор и разработчик. Получилось так, что я успешно завершил несколько рабочих проектов, и сейчас работаю в звездной команде вместе с инженерами уровня СТО и Associate Principal. Это дало огромный буст, в первую очередь, софт-скиллам и навыкам управления командами. Отдельно хочу публично поблагодарить мою супругу Арину — без ее коучинговой поддержки такой рост был бы просто невозможен ❤️
В плане программирования 2022 также оказался для меня важным: я продолжил работу над личным брендом и менторской программой по функциональному TypeScript. В первом квартале 2023 планирую запускать первый поток, а пока занимаюсь с несколькими студентами в экспериментальном формате индивидуально. Следите за обновлениями — скоро будет много всего интересного! 🙂
С Новым годом! 🎄
P.S. Также подвел итоги года в своем музыкальном канале. Подписывайтесь 😉
За этот год, несмотря на все невзгоды и сложности, я продолжил расти как архитектор и разработчик. Получилось так, что я успешно завершил несколько рабочих проектов, и сейчас работаю в звездной команде вместе с инженерами уровня СТО и Associate Principal. Это дало огромный буст, в первую очередь, софт-скиллам и навыкам управления командами. Отдельно хочу публично поблагодарить мою супругу Арину — без ее коучинговой поддержки такой рост был бы просто невозможен ❤️
В плане программирования 2022 также оказался для меня важным: я продолжил работу над личным брендом и менторской программой по функциональному TypeScript. В первом квартале 2023 планирую запускать первый поток, а пока занимаюсь с несколькими студентами в экспериментальном формате индивидуально. Следите за обновлениями — скоро будет много всего интересного! 🙂
С Новым годом! 🎄
P.S. Также подвел итоги года в своем музыкальном канале. Подписывайтесь 😉
Telegram
RΛNDOM MVSIC I LIKE
Традиционно в конце декабря я подвожу итоги года. В плане музыки, которая мне нравится, он выдался очень насыщенным, поэтому я хочу выделить несколько событий, которые мне запомнились.
В этом году я как следует расслушал дэзкор как жанр. Если раньше прослушивание…
В этом году я как следует расслушал дэзкор как жанр. Если раньше прослушивание…
Forwarded from PONV Daily (Oleg ℕižnik)
Интервью quanta с Лесли Лампортом
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517
Quanta Magazine
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
Я решил, что буду писать не только на тему функционального программирования, ведь мне есть что сказать на темы образования, обучения команд, архитектуры, лидерства. Поэтому в качестве эксперимента я опубликовал небольшое эссе о системе управления знаниями, которую я использую: https://ybogomolov.me/with-simplicity-comes-clarity
А что используете вы для упорядочивания знаний? Notion, Logseq, Obsidian, Evernote, Gingko, или, может, что-то кастомное? Пишите в комментариях, мне интересно узнать больше о моих подписчиках.
А что используете вы для упорядочивания знаний? Notion, Logseq, Obsidian, Evernote, Gingko, или, может, что-то кастомное? Пишите в комментариях, мне интересно узнать больше о моих подписчиках.
ybogomolov.me
With Simplicity Comes Clarity
Джон Де Гоуз написал огромную статью с обзором всей экосистемы Scala, включая IDE и системы сборки: https://degoes.net/articles/scala-resurrection
Главное, что он не просто перечислил факты, а предложил решения для некоторых проблем. В частности, он предложил провести Scala Open Source Summit, где предполагается обсуждать вопросы консолидации экосистем.
Как по мне, очень здравые предложения. А что думаете вы?
Главное, что он не просто перечислил факты, а предложил решения для некоторых проблем. В частности, он предложил провести Scala Open Source Summit, где предполагается обсуждать вопросы консолидации экосистем.
Как по мне, очень здравые предложения. А что думаете вы?
John A De Goes
Scala Resurrection
Scala's market may not grow any larger unless we take action to address the challenges the language faces
Эмили Риль объясняет концепцию бесконечности на пяти уровнях сложности, от детского до экспертного: https://youtu.be/Vp570S6Plt8
Нереально крутая серия видео от Wired, советую глянуть и другие видео из этого плейлиста: https://youtube.com/playlist?list=PLibNZv5Zd0dyCoQ6f4pdXUFnpAIlKgm3N
Нереально крутая серия видео от Wired, советую глянуть и другие видео из этого плейлиста: https://youtube.com/playlist?list=PLibNZv5Zd0dyCoQ6f4pdXUFnpAIlKgm3N
YouTube
Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
While the concept of infinity may seem mysterious, mathematicians have developed processes to reason the strange properties of infinity. Mathematician Emily Riehl has been challenged to explain infinity to 5 different people; a child, a teen, a college student…
Forwarded from PONV Daily (Sergey Kucherenko)
Free Variables and Free Effects: an elementary introduction to algebraic effects and handlers
https://okmij.org/ftp/Computation/variables-effects.html
https://okmij.org/ftp/Computation/variables-effects.html
okmij.org
Free Variables and Free Effects
An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables
Для Scala.js разработали новый плагин для hot reload: https://www.scala-lang.org/blog/2023/04/18/faster-scalajs-development-with-frontend-tooling.html
В отличии от старого scalajs-bundler, который работал с webpack, новая разработка нацелена на Vite.
А вы пробовали этот бандлер?
В отличии от старого scalajs-bundler, который работал с webpack, новая разработка нацелена на Vite.
А вы пробовали этот бандлер?
www.scala-lang.org
Faster Scala.js development with front-end tooling and new tutorials
Using the new vite-plugin-scalajs to better integrate Scala.js with the Vite build tool, and announcing new tutorials for front-end development with Scala.js.
Сегодня в Лиссабоне проходит ZIO World 2023. Я оффлайн приехать в этом году не смог, хоть это и близко, поэтому смотрю онлайн. Веду небольшую трансляцию в твиттере: https://twitter.com/YuriyBogomolov/status/1649339971038334977
Подписывайтесь 😉 А вы смотрите эту конференцию? Что думаете про ZIO 2.1 и новую модель стримов?
Подписывайтесь 😉 А вы смотрите эту конференцию? Что думаете про ZIO 2.1 и новую модель стримов?
Twitter
And it began! I will be writing some news and my thoughts in this thread, so be sure to like and retweet!👇
Вынес всю информацию по менторингу к себе на сайт: https://ybogomolov.me/mentoring ✨
На текущий момент готов взять 2-3 человек в персональный менторинг, или 4-5 в группу. Старт группы возможен уже в августе, а early birds получат скидку 10%!
На текущий момент готов взять 2-3 человек в персональный менторинг, или 4-5 в группу. Старт группы возможен уже в августе, а early birds получат скидку 10%!
В эфире нерегулярная рубрика «дед ворчит на строки»: https://ybogomolov.me/primitives-were-a-mistake
Рассказываю, почему вы должны перестать пользоваться типами
Рассказываю, почему вы должны перестать пользоваться типами
string
, number
, boolean
прямо сейчас.ybogomolov.me
Primitives Were A Mistake
HTML Embed Code: