В играх начали про монады говорить, да что ж ты будешь делать, а

Собрал небольшой докерфайл для сборки Idris 2 с последующим запуском в DevContainer:
https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
Вообще, должен сказать, что DevContainer штука просто необычайно удобная и выручает уже не первый раз. Например, мой текущий проект на работе под макосью отказывается собираться нормально — ему нужен какой-то хитрый билд libsasl2 с фичами, которых почему-то нет в тех версиях, что лежат в портах и brew. Сборка же в убунтовом контейнере завелась с полпинка. Аналогично и в данном случае.
Короче, если вы хотели попробовать Idris 2 с его Quantitative Type Theory, но не хотели морочиться с установкой лиспа (для сборки нужен Chez Scheme либо Racket) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.

Implementing HTTP/3 in Haskell - あどけない話
https://kazu-yamamoto.hatenablog.jp/entry/2020/06/09/155236

Снова открыточка @ebanatics!
Отсюда: https://habr.com/ru/post/505928/#comment_21721340

С пятницы по воскресенье проходит ZuriHac 2020, посвященный хаскелю и не только.
В дискорде происходит обсуждение докладов, помощь новичкам по разным вопросам и ad-hoc сессии и доклады. Потрясающе приветливое коммьюнити прилагается 🙂 Так что если хотите узнать больше о хаскеле, его экосистеме, проектах и реальной работе — регистрируйтесь и приходите.

Доклады и live-сессии:

🎤 Opening Ceremony & Rob Rix - “Languages all the way down”
⚙️ Divesh Otwani - "A tour of linear types and linear base"
⚙️ Richard Eisenberg - "Write a GHC extension in 30 minutes"
🎤 Philip Wadler - "(Programming Languages) in Agda = Programming (Languages in Agda)"
👨‍💻 Andres Löh - "Datatype-Generic Programming"
🎤 Gabriel Gonzales - “A bare-bones Twitter clone implemented with Haskell + Nix”
⚙️ Facundo Dominguez - "QualifiedDo: customizable 'do' syntax without fuss"
⚙️ Nicolas Frisby - "On "simple" constraints for typechecker plugins"
🎤 Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?”
👨‍💻 Tobias Dammers - "Haskell and InfoSec"
👨‍💻 Alexis King - “Effects for Less”

🎤 talk, 🐣 beginner track, 👨‍💻 advanced track, ⚙️ GHC track

Jason Grafft - Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms:
https://youtu.be/wXQ94I_vrSc

Весь мир: BLM, pride month, diversity
Русскоязычные отзывы в Гугл Плей:

https://tonsky.me/blog/monitors — публично говорю «спасибо» Никите за этот пост. Отключение сглаживания в настройках макоси ощутимо улучшило чтение шрифтов. С консолью опеншифта стало возможно работать без боли! ❤️
ТИМ КУК СКРЫВАЛ! ЧТОБЫ ЛУЧШЕ ВИДЕТЬ, НУЖНО ВСЕГО ЛИШЬ ДВАЖДЫ В ДЕНЬ…
Гхм. Прочтите пост, в общем, он и правда отличный.

Эталоннейшая ебанатика! Ищу автора этого шедевра — такой талант должен быть известен публично :)

Какая красота — генерация хай-рез изображения, которое при уменьшении попиксельно совпадает с заданным оригиналом:
https://twitter.com/tg_bomze/status/1274098682284163072?s=20

Наверное, вы уже встречали таблицу истинности для оператора == в js. Я запустил ее симуляцию в Convay's Game of Life, просто потому что могу.
Пойду оформлю пропоузал в TC39, что ли. Все равно этот язык уже не спасти.

John De Goes — FP to the min:
https://www.youtube.com/watch?v=mrHphQT4RpU

#музыкальная_пауза
С момента, когда я впервые писал о Дэвине Таунсенде, я был уверен, что меня вряд ли что-то может удивить в музыкальном плане больше, чем его концерт в Royal Albert Hall. Но Хэви Дэви смог это сделать еще раз, когда в апреле давал серию благотворительных карантинных концертов из своей домашней студии. Кажется, что с годами его голос становится только лучше. Просто послушайте:
— Первый концерт (особенно исполнение Why?)
— Второй концерт
— Третий концерт