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


#1

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

Niko Matsakis on Lambda Prolog.


#2

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


#3

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

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


#4

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


#5

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


#6

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

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


#7

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


#8

Hardware backdoors in x86 CPUs


#9

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


#10

A Typed, Algebraic Approach to Parsing.

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