верхний пост
Update 29 Dec 2025: https://thedeemon.dreamwidth.org/
Ссылки на избранные посты, чего тут было интересного.
Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html - можно начать тут
https://thedeemon.livejournal.com/tag/ats и дальше набор постов по тэгу. 2011
Про Clean и уникальные типы. 2011
Об информации. 2011
"... выведем некоторые важные факты теории информации и напишем на чистом функциональном языке компрессор, который будет сжимать лучше, чем zip, rar, bzip2 и 7z в их дефолтных режимах. Потом оглядимся вокруг, в том числе на физику, и в результате, надеюсь, что-то поймем об информации."
свобода, равенство, унивалентность! - про гомотопическую теорию типов. 2013
Я вижу квантовые операторы - 3D визуализация волновых функций и операторов с объяснениями и онлайн демкой. 2016
Общая теория относительности: время, черные дыры. 2015
https://thedeemon.livejournal.com/97291.html
https://thedeemon.livejournal.com/97778.html
В искривленном пространстве: визуализация неевклидовых пространств изнутри. 2018
https://thedeemon.livejournal.com/127151.html
https://thedeemon.livejournal.com/127473.html
https://thedeemon.livejournal.com/127697.html
Пишем неправильный компилятор. 2010
https://thedeemon.livejournal.com/9712.html - серия постов начинается тут.
https://thedeemon.livejournal.com/tag/leo - и другие посты про него же.
Категорические вычисления (язык CPL) 2012
и продолжение/дополнения раз два три.
Про Йонеду и про должения 2012
Колдунство реификации 2013
"Только сегодня в нашем бродячем цирке великий йог и аскет Лямбдагарбха продемонстрирует уникальный фокус материализации! Имея полиморфную функцию, оперирующую произвольными типами (полифорфными, не конкретными), функциями из них и туплами, только зная ее тип и умея ее вызывать, он материализует ее исходник, даже если она скомпилирована в другом городе..."
Про язык Dafny 2015
Про корейский язык 2021
Про китайский язык 2021
IDFPC: соревнование по программированию, что я организовал в 2012 году. Участникам понравилось. Если не подглядывать, задачки оттуда и сейчас может быть интересно порешать.
Про фрактальное сжатие изображений 2012
Ссылки на избранные посты, чего тут было интересного.
Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html - можно начать тут
https://thedeemon.livejournal.com/tag/ats и дальше набор постов по тэгу. 2011
Про Clean и уникальные типы. 2011
Об информации. 2011
"... выведем некоторые важные факты теории информации и напишем на чистом функциональном языке компрессор, который будет сжимать лучше, чем zip, rar, bzip2 и 7z в их дефолтных режимах. Потом оглядимся вокруг, в том числе на физику, и в результате, надеюсь, что-то поймем об информации."
свобода, равенство, унивалентность! - про гомотопическую теорию типов. 2013
Я вижу квантовые операторы - 3D визуализация волновых функций и операторов с объяснениями и онлайн демкой. 2016
Общая теория относительности: время, черные дыры. 2015
https://thedeemon.livejournal.com/97291.html
https://thedeemon.livejournal.com/97778.html
В искривленном пространстве: визуализация неевклидовых пространств изнутри. 2018
https://thedeemon.livejournal.com/127151.html
https://thedeemon.livejournal.com/127473.html
https://thedeemon.livejournal.com/127697.html
Пишем неправильный компилятор. 2010
https://thedeemon.livejournal.com/9712.html - серия постов начинается тут.
https://thedeemon.livejournal.com/tag/leo - и другие посты про него же.
Категорические вычисления (язык CPL) 2012
и продолжение/дополнения раз два три.
Про Йонеду и про должения 2012
Колдунство реификации 2013
"Только сегодня в нашем бродячем цирке великий йог и аскет Лямбдагарбха продемонстрирует уникальный фокус материализации! Имея полиморфную функцию, оперирующую произвольными типами (полифорфными, не конкретными), функциями из них и туплами, только зная ее тип и умея ее вызывать, он материализует ее исходник, даже если она скомпилирована в другом городе..."
Про язык Dafny 2015
Про корейский язык 2021
Про китайский язык 2021
IDFPC: соревнование по программированию, что я организовал в 2012 году. Участникам понравилось. Если не подглядывать, задачки оттуда и сейчас может быть интересно порешать.
Про фрактальное сжатие изображений 2012