верхний пост

[thedeemon]

Ссылки на избранные посты, чего тут было интересного.

Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html - можно начать тут
https://thedeemon.livejournal.com/tag/ats и дальше набор постов по тэгу. 2011

Про

Comments

[thedeemon]

А, спасибо. Если идея bubble universes относится к мультиверсу (вроде да), то там есть идеи, что разные пузыри могут сталкиваться, и результат таких столкновений будет весьма заметен. См. например https://www.youtube.com/watch?v=lrS0rxX-UhA

[egovoru]

Очень интересно, спасибо!