В эту субботу в 11:00 Мск будет еще один запуск воркшопа "Building eDSLs in functional TypeScript", на этот раз на английском: https://youtu.be/hTnxaB52awA
Так что если у вас есть англоязычные коллеги, которым это может быть интересно — поделитесь с ними ссылкой, пожалуйста.

Открыточка @datstuff

Канал по психиатрии, видать

Как заставить любую страницу отображаться как LaTeX-документ: https://latex.now.sh

Humble Bundle с книгами O'Reilly: https://www.humblebundle.com/books/definitive-guides-to-all-things-programming-oreilly-books
Всего за 1100₽ можно получить 15 книг! Бандл может быть особенно интересным тем, кто вкатывается в экосистему JVM.

Перечень книг, доступных в бандле
(от 50₽):
— Maven: The Definitive Guide
— Ethernet: The Definitive Guide (Second Edition)
— Asterisk: The Definitive Guide (Fifth Edition)
— JavaScript: The Definitive Guide (Sixth Edition)
— SSH, The Secure Shell: The Definitive Guide
(от 600₽):
— CSS: The Definitive Guide (Fourth Edition)
— Cloud Foundry: The Definitive Guide
— Cassandra: The Definitive Guide: Distributed Data at Web Scale (Second Edition)
— Elasticsearch: The Definitive Guide
— Java Performance: The Definitive Guide
(от 1100₽):
— MongoDB: The Definitive Guide (Third Edition)
— Google BigQuery: The Definitive Guide
— Spark: The Definitive Guide
— Kafka: The Definitive Guide
— Hadoop: The Definitive Guide: Storage and Analysis at Internet Scale (Fourth Edition)

Открыточка

Контент, который мы заслуживаем, а не тот, который нам нужен

David Spivak: Polynomial functors II: Seven wonders of the composition product
https://www.youtube.com/watch?v=3AOGDTr1zrY

Ну охуеть теперь. МВД предложило рассмотреть возможность обязать мигрантов устанавливать приложение на телефон, где будут все данные — биометрия, криминалистика, медкарта. То, что телефон могут банально украсть, или что не все знают, как сделать hard wipe перед продажей (т.е. удаленные данные можно восстановить) — их, видимо, не заботит.
Я точно знаю, что на моем устройстве этой хуйни не будет, потому что я в курсе, кто и как разрабатывает подобные приложения. Радует одно — до того, как они реально начнут внедрять подобное, меня уже не будет здесь.
https://meduza.io/news/2020/05/29/mvd-predlozhilo-sozdat-prilozhenie-migrant-ustanavlivat-kotoroe-obyazhut-vseh-priehavshih-na-rabotu-v-rossiyu

Крикнул
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