Крикнул
https://antidepressantsortolkien.now.sh

Пара докладов из канала ACM SIGPLAN, чтобы скрасить выходные:
Андрей Мохов — Selective Applicative Functors: https://www.youtube.com/watch?v=h3XEHRX4isk
Дэвид Кристиансен — Dependently Typed Haskell in Industry (Experience Report): https://www.youtube.com/watch?v=Q6PKdRDKcKA
Питер Тиманн — Label-Dependent Session Types: https://www.youtube.com/watch?v=d2zlKiZfrnQ

На канале Konfy начали выкладывать видео с конференции Scala.Love!
Был приятно удивлен присутствием среди докладчиков Павла Шульца, который сделал крутейший доклад «Impossibility in the area of distributed computing»:
https://www.youtube.com/watch?v=KrqSPfwiVpA
Также заслуживает отдельного внимания доклад Кая «Scala, functional programming and team productivity»:
https://www.youtube.com/watch?v=QbdeVoL4hBk

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

Собрал небольшой докерфайл для сборки 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