❗️В понедельник, 11 мая, в 11:00 по Москве я проведу воркшоп на тему «Building eDSLs in functional TypeScript». Рассмотрим два подхода — Free монады и Tagless Final. Воркшоп будет проводиться на русском языке.
Трансляция будет здесь: https://www.youtube.com/watch?v=TckVngRxu6M, а не на моем канале, так что советую подписаться на Raini.
Если вы хотите участвовать не просто как зритель, а быть участником голосового созвона — заполните, пожалуйста, форму: https://forms.gle/Yvm5Kcac3JbHUc596.
Для участия в воркшопе необходимо склонировать к себе репозиторий https://github.com/YBogomolov/workshop-edsl-in-typescript. Будет нелишним почитать ссылки, которые указаны в README.

Оказалось, что создали запланированную трансляцию не того типа. Приношу свои извинения.
Вот новая ссылка на трансляцию — на этот раз всё правильно: https://www.youtube.com/watch?v=8VFhePZZGdc

Эмили Рил выложила видео своей лекции «∞-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

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