Эмили Рил выложила видео своей лекции «∞-category theory for undergraduates»: http://www.math.jhu.edu/~eriehl/berkeley-logic.mp4
Заметки к лекции: http://math.jhu.edu/~eriehl/berkeley-logic.pdf

В мире есть люди, неиронично назвавшие свой проект pi-hole.
ШТОШ

Интервью с Олегом Нижниковым о Scala, Haskell и многих других ФП-языках: https://www.youtube.com/watch?v=nII0ralSlRo

В эту субботу в 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) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.