Показали стикерпак для важных переговоров (по мотивам не менее охуенного, но слишком серьезного t.me/addstickers/wfallacies):
https://news.1rj.ru/str/addstickers/WannaCock

«У меня код и без типов работает»

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

Доклад Эдвина Брэди про 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