Livejournal
Log in
Post
Friends
My journal
thedeemon
верхний пост
Mar 10, 2025 01:01
Ссылки на избранные посты, чего тут было интересного.
Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html
- можно начать тут
https://thedeemon.livejournal.com/tag/ats
и дальше набор постов по тэгу. 2011
Про
(
Read more...
)
Leave a comment
Back to all threads
thedeemon
June 13 2020, 18:12:19 UTC
А, спасибо. Если идея bubble universes относится к мультиверсу (вроде да), то там есть идеи, что разные пузыри могут сталкиваться, и результат таких столкновений будет весьма заметен. См. например
https://www.youtube.com/watch?v=lrS0rxX-UhA
Reply
egovoru
June 13 2020, 23:33:13 UTC
Очень интересно, спасибо!
Reply
Back to all threads
Leave a comment
Up
Reply
Reply
Leave a comment