https://github.com/travisbrown/cancel-culture ‼️

— Satan, why it’s so little space in Hell?
— *silently shows Chia coin farms*

https://twitter.com/frobunnius/status/1388945487584243714 чот ору

Новая книжка про верифицированные на Isabelle/HOL функциональные алгоритмы и структуры данных:
http://functional-algorithms-verified.org

https://github.com/lampepfl/dotty/releases/tag/3.0.0 🎉

Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode:
http://counterexamples.org

Наслаждайтесь!

Во-первых, это красиво.
https://github.com/berewt/acme-haskellee

Ого: IHP теперь аффилирован с Haskell Foundation.

https://ihp.digitallyinduced.com/ShowPost?postId=61330a2d-1b66-4aa3-8f46-d75373b37def

На следующих выходных, 19-20 июня, я буду выступать в Пензе на SECON’2021 с докладом «Путь функционального программиста». Моё выступление будет в секцию фронтэнда, но по факту о фронте я не буду говорить ровным счетом ничего.
Доклад будет обзорного характера, и в целом является для меня некоторым экспериментом — я давно не выступал, плюс тема не глубоко-техническая, а больше философская, нацеленная на начинающих разработчиков, так что очень интересно, как публика ее примет. Если будет запись, то обязательно выложу здесь.
В общем, если вы не знаете, чем заняться в указанные даты, то приезжайте в Пензу, буду рад после доклада пообщаться с подписчиками )

https://github.com/typelevel/cats-effect-cps — экспериментальный DSL для поддержки async/await в cats-effect. ИМХО, такого сахара не хватает в ZIO — тогда объяснять новичкам эффекты было бы еще проще.

https://github.com/rssh/cps-async-connect внезапно, вот родительская библиотека, где есть async-блок и для ZIO.

В который раз не могу нарадоваться, насколько же охуенный журнал Quanta. Если вы по какой-то причине до сих пор его не читаете, то вот несколько статей, которые могут убедить вас исправить это недоразумение:

https://www.quantamagazine.org/wormholes-reveal-a-way-to-manipulate-black-hole-information-in-the-lab-20200227 — квантово-запутанные черные дыры вместе с червоточинами могут выступать как «телепорты» для информации

https://www.quantamagazine.org/mathematicians-identify-threshold-at-which-shapes-give-way-20210603 — как идеи Джона Нэша про изометрические вложения нашли применение в исследованиях турбулентных потоков (и не только)

https://www.quantamagazine.org/gravitons-revealed-in-the-noise-of-gravitational-waves-20200723 — идеи о детектировании гравитонов при помощи установок вроде LIGO

К слову, о SECON. Не так давно моя любимая супруга @lene_love завела группу на ФБ, где будут обсуждаться разные вещи, связанные с проектным и продуктовым менеджментом.
Первый кейс, описанный там, как раз обсуждался в неформальном баркемпе на SECON. Суть проста — есть выгоревший лид-разработчик, пришедший в новую компанию на должность сеньора. Есть команда, которая поддержала идею этого лида писать 100%-ое покрытие кода тестами. И есть еще один новичок, тоже сеньор, который решил, что упомянутая соточка — это переборщ, и принцип «хуяк-хуяк и в прод» будет работать. Что делать первому лид-сеньору, чтобы не допустить раскола команды и трэша в коде? Если у вас на проектах был подобный опыт, то приходите и делитесь в комментариях )