Репозиторий с туториалом по elaborator reflection в Idris 2:
https://github.com/stefan-hoeck/idris2-elab-util

Прекрасный коммент, найденный на реддите

Что было бы, если б Саймон Столенхаг был родом из России:
https://www.youtube.com/watch?v=8HZ4DnVfWYQ

Приходите 2 декабря на вебинар по парсерным комбинаторам на TypeScript, который я буду вести в качестве гостя коммьюнити Math.random(): https://mathrandom.com/webinar0212
Материал рассчитан на начинающую аудиторию, поэтому я начну с азов: быстренько пройдусь по крохотной части теории компиляции, разберу понятие функционального парсера и парсерных комбинаторов, и покажу, как мне изящно удалось решить задачу парсинга строки поискового запроса с булевыми операторами в ней в ~200 строк кода (а на самом деле даже меньше).

Шикарная статья от Даниеля Розенвассера про написание высокопроизводительного и быстро компилирующегося кода на TypeScript:
https://github.com/microsoft/TypeScript/wiki/Performance

Хороший небольшой обзор теории типов от Harley Eades. Подготовлен в 12-14 гг., область с тех пор ушла вперед, что, впрочем, не избавляет от необходимости знакомства с историей и состоянием области на (условный) вчерашний день.

https://metatheorem.org/includes/pubs/comp.pdf

Обзор был сделан в рамках подготовки к написанию диссертации, сама диссертация https://metatheorem.org/includes/pubs/thesis.pdf

В общем, поговорил в среду на камеру о парсерах и библиотеке parser-ts. Запись доступна тут: https://www.youtube.com/watch?v=gzI_Gty7uWY
(как всегда, дисклеймер о том, что автор нихуя не шарит, пишет на языке для рисования снежинок в браузере и вообще code monkey, так что про путаницу в LL/LR-парсерах можете не писать)

Внимание, это не учебная тревога: в Excel были добавлены лямбда-функции. Я поздравляю всё ФП-сообщество и Саймона Пейтона Джонса лично с этой победой.
https://techcommunity.microsoft.com/t5/excel-blog/announcing-lambda-turn-excel-formulas-into-custom-functions/ba-p/1925546

А также более серьезные новости: в Lean 4 была улучшена документация. Я поздравляю всё ФП-сообщество и лично… А, черт, не та новость.
https://leanprover.github.io/lean4/doc

https://www.youtube.com/watch?v=lmxH1L7uubQ #музыкальная_пауза
Админ давно уже ебанулся на отличненько и отплясывает под industrial/darkwave/aggrotech, потому что пошел нахуй, вот почему.

Свежий промо-ролик нового хуящика от Тайки Вайтити.
Во-первых, Мастер Чиф — кот.
Во-вторых, вам еще что-то нужно после такого во-первых?
https://www.youtube.com/watch?v=fyArCzlmiKM

Каждый раз, когда меня спрашивают, как «вайти в фэпэ»

Eto ya, eto мои кривые руки открытку рисовали, да <3

Когда тебя осыпают охуенными носками! Спасибо @randomstuffilike <3

https://twitter.com/SynedraAcus/status/1336613836208615424 г-споди, как же прекрасен 2020-ый

Всё так.
(via)

https://pointerpointer.com
Спасибо @design_death_and_cats :3

Открыточка @dimapomogaet, в т.ч. благодаря которому я смог вывезти начало конца этого года:
https://www.instagram.com/p/CInxLG5nok4
(и нет, это не реклама, Дима реально очень крут)