Интересные статьи и видео не про Rust (мегатред; добавляйте свои)

Статьи, пейперы, видео…

Niko Matsakis on Lambda Prolog.

Это в ссылки, не оффтопик

Сделал в оффтопике, чтобы были ссылки, которые

не связаны с Rust или сообществом напрямую

Это типа мегатред? А то я подумал сначала, ты просто доклад хотел выложить.

Иногда в чате встречается что-то интересное. Но так его снесёт потоком сообщений, а форум же менее сиюминутен.

Точно не стоит хотя бы как-то очертить направленность ссылок? Но ладно, закину и я ссылку:

Главный хаскелист рассказывает как делать качественные научные/технические доклады. Ссылка подсмотрена в https://sdcast.ksdaemon.ru/2018/05/sdcast-78/

Очертил на основе того что @suhr написал в первом посте

Hardware backdoors in x86 CPUs

Интересное видео про реверс недокументированных опкодов процессоров

A Typed, Algebraic Approach to Parsing.

Контексто-свободные грамматики как регулярки с оператором неподвижной точки + типы. Не знаю как насчёт типов, а вот репрезентация грамматик примечательна, наверняка на основе её можно много чего интересного сделать.