Очень хорошо. Какой бы привлекательной не казалась технология (будь то формальная верификация, суперстрогие системы типизации, какой-либо архитектурный подход), всегда нужно уметь абстрагироваться и оценить возможные подводные камни.

Доклад Эдвина Брэди про Idris 2 на вчерашнем митапе Berlin Functional Programming Group:
https://www.youtube.com/watch?v=nbClauMCeds

ML, который мы заслужили:
[NSFW] https://thisdickpicdoesnotexist.com

Eto ya

Вчера стартовала бесплатная онлайн-конференция Haskell.Love. Сегодня с 16:00 на твиче начинаются доклады второго и заключительного дня: https://haskell.love/agenda-day-2

Из того, что лично я рекомендую не пропустить:
— Доклад Филип Уодлера «Propositions as Types» — материал старый, но просто за харизму докладчика стоит послушать ❤️
— Доклад Кристофера Фогта «Writing 2D games using super simple Haskell» — для тех, кто спрашивает «а что на этом вашем хаскеле вообще пишут?»
— Доклад Дерека Элкинса «Quotient Types + Behavioral Reflection = ?»
— Доклад Бартоша Милевского «Replacing functions with data» про технику дефункционализации…
— …либо доклад Габриэля Гонзалеса «How to market Haskell to a mainstream programmer», если интересен прикладной аспект хаскеля
— Доклад Ричарда Эйзенберга «Parameters of many Flavors»
— Ну и, наконец, доклад Эмили Пиллмор «Hulk SMASH: re-imagining the Maybe-monad and its design space»

Вчера тоже были крутые доклады — скажем, Вероника Ромашкина и Дмитрий Коваников представили офигенный Stan, Владислав Завьялов очень круто рассказал, как рассахариваются разные фичи хаскеля в GHC Core, а Андрес Лох поведал про Typed Template Haskell с использованием Staging (вот слайды).

На канале Konfy выложили доклады конференции Haskell.Love:
https://www.youtube.com/playlist?list=PLBqWQH1MiwBSK9wuaATNS701c43VYVTuc

Прекрасная статья (с упражнениями!) от Вероники Ромашкиной и Дмитрия Кованикова:
https://kowainik.github.io/posts/haskell-mini-patterns

Статьи с Haskell Symposium 2020 ограниченное время доступны бесплатно: https://dl.acm.org/doi/proceedings/10.1145/3406088

— Привет, что-то у меня типы не сходятся, глянешь?

Mathlib is an online, evolving, collaborative project, aiming to be a foundation for all of modern pure mathematics. It is fully searchable, and here is its homepage. It is hosted on github, and it is all checked with the Lean Theorem Prover.

https://mathoverflow.net/questions/369863/online-evolving-collaborative-foundational-text-projects/370105#370105

Удивлен, что JS не 11 🤔

Формальная верификация системы типов Rust: https://twitter.com/HerrDreyer/status/1302196178302439424

Что-то давно не была #музыкальная_пауза на канале! Исправляюсь.

Внимание: дальше будет описание достаточно жесткого концерта сатанистов из группы Behemoth. Если такой контент для вас неприемлим, лучше почитайте диссертацию про формальную верификацию Rust или интервью замечательной Эмили Риль для журнала QuantaMagazine.

Вчера вечером прошел лайв-стрим концертного шоу In Absentia Dei группы Behemoth, и это был полный восторг! В предконцертном ролике Нергал рассказывал, что в качестве площадки они сняли помещение шикарной полуразрушенной евангелистской церкви X-XI веков. Как всегда, было много светотехники, огненных установок, горящих логотипов группы, дыма и крутых костюмов. Для трек-листа парни отобрали лучшие композиции как с последних двух альбомов, так и более старый материал — вплоть до песен с альбома Demigod. На ютьюбе Нергал обещал, что это будет уникальное шоу, и сдержал слово. Наверное, самая жесть происходила во время песни Ora Pro Nobis Lucifer — в помещение ввели девушку со связанными от бедер до коленей ногами, после чего ее кожу пронзили десятком крючьев с креплениями для веревок, и подняли метра на три в воздух в самом центре церкви. По сути, группа играла в алтарном углу перед распятой в воздухе обнаженной девушкой, и от этого просто бегали мурашки по коже. ИМХО, сейчас есть мало групп, которые могут позволить себе такие смелые эксперименты, и Behemoth уверенно держат планку качества. А концовка шоу была просто огненной в прямом и переносном смысле — под песню O Father, O Satan, O Sun на крыше церкви зажгли огонь, из окон вырывались языки пламени, а само исполнение перемежалось видеофрагментом скачущего на лошади мужчины в горящем балахоне. После такой программы парням будет непросто поддерживать такой же уровень лайв-шоу, и я очень надеюсь как-нибудь попасть на их выступление вживую.

Прекрасный тред с мини-видео, иллюстрирующими расслоение Хопфа:
https://twitter.com/vi_ne_te/status/1302273248634208258