Category:

верхний пост

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