Idris, завёрнутый в JS, завёрнутый в очередной hybrid app framework.
https://medium.com/the-web-tub/idris-state-machines-in-javanoscript-apps-b969e2cb6ed2
P.S. Выдержка из официальной доки идриса:
«Idris can produce very big chunks of JavaScript code (hello world weighs in at 1500 lines).»
А что, не такая уж и большая плата за наличие зависимых типов… 🙄

https://www.youtube.com/watch?v=uvDDyLSAZyQ — очень ламповое общение о теории типов, компиляторах, высшей алгебре, теорем-пруверах и будущем функциональных языков. Kudos to @tonpa & @bravit111 :3

Жирное обсуждение на реддите о том, что в Haskell удобнее, чем в Scala.

В тред ворвались мастодонты обоих сообществ: Edward Kmett и Sam Halliday со стороны Haskell и Alexandru Nedelcu с Wojtek Pituła на защите скалы 🍿

High-Performance Functional Programming Through Effect Rotation – John A De Goes
http://degoes.net/articles/rotating-effects

после этого я сегодня работать не смогу
https://jira.atlassian.com/browse/JRASERVER-65811

Теперь circuit-breaker-monad это часть экосистемы fp-ts!

До меня тут внезапно дошло, что тот самый circuit breaker можно реализовать как специальный случай профункторной оптики, в частности, ко-призмы! Нужно провести исследование на эту тему.

Согласно Benchmarks Game, Rust уже обгоняет C++ и всего на 4% медленнее C.

Внезапный вопрос: а что если я организую лайв-стриминг того, как я работаю над этой фичей? Было бы интересно посмотреть - со всеми объяснениями и рассуждениями на тему разработки ПО?

Интересная статья о портировании игры Doom 3 на #WebAssembly и #WebGL
http://www.continuation-labs.com/projects/d3wasm/

Немного пригорает.

Выложил во внутренний чат компании статью о запуске Doom на WASM, попутно набросив, что пора бы уже начать Rust изучать — судя по тому, как двигаются дела в мире WebAssembly, он очень скоро станет флагманским языком для этой технологии. В ответ столкнулся со снобизмом вида «зачем раст, если есть плюсы» (aka «дедываевали») и «позовите, когда работа будет» (aka «моя хата з краю»).

То ли я слишком идеалистичен, то ли с этой отдельно взятой компанией что-то не так, но когда я слышу подобную точку зрения от сеньорных инженеров-программистов (!) — у меня возникает только одна реакция: «нахуй вон из профессии».

Теперь уже обвинять в снобизме можно меня, но я считаю, что ведущий программист должен быть в первую очередь инженером, и только потом — всем остальным: ментором, лидером, менеджером. Это означает, что человек должен постоянно держать нос по ветру в своей отрасли, он должен одним из первых пробовать новые технологии в свободное время, чтобы в дальнейшем обучать этому других. Именно он, ведущий программист, ответственен за выработку и насаждение best practices в коммьюнити. И именно от него зависит, взлетит или не взлетит та или иная технология — ведь если у технологии нет людей, готовых продираться через баги и глюки, писать статьи, контрибьютить в альфа-бета-версии, то такая технология на голом энтузиазме авторов далеко не уедет. Без полусумасшедших нёрдов с нездоровым блеском воодушевления в глазах попросту нет прогресса.

Ну а я для себя сделал вывод, с кем я буду работать на следующем проекте в компании, а кого буду обходить стороной.

Поговорим о стручках.

https://snippet-generator.app — генератор сниппетов для VSCode, Atom, Sublime.

Круг замкнулся, Уроборос пожрал свой хвост.

JSC.js — движок JavaScriptCore, скомпилированный в #WebAssembly с помощью Emnoscripten.
https://mbbill.github.io/JSC.js/

https://github.com/pomber/github-history — очень приятный визуально просмотрщик истории коммитов на гитхабе. Скажу честно, я залип минут на 40.