AG
пасиб, прикольная штука
это типа черновое продолжение их недавней статьи https://fpl.cs.depaul.edu/jriely/papers/2020-oopsla.pdf Jagadeesan, Jeffrey, Riely, "Pomsets with Preconditions: A Simple Model of Relaxed Memory"
Size: a a a
2021 March 16
AG
как я понимаю "набор помсетов" это по сути альтернативная формулировка тех же структур событий
AG
вообще с этими тру-конкурентными моделям тоже тот еще зоопарк
M
Может, кто знает, что ещё есть хорошего для конвертирования форматов, кроме запуска subprocess с ffmpeg?
AG
там есть помсеты, 100 разновидностей структур событий, ригидные семейства, 100 разновидностей сетей петри и как вишенка на торте - кубические множества ака многомерные автоматы
M
Мне не нравится это решение вообще
AG
с которыми нужно работать методами направленных гомотопий
AG
а, еще пространства чу и диалектика-категории но это уже конечно экзотика
AG
диалектику впрочем сейчас категорщики активно натягивают на обобщение линз и игр
K
нет, Я ТАМ НЕ СИЖУ
AG
скоро в общем окажется что для работы с конкаренси нужны гомотопические пруверы с десятью модальностями :)
KS
скоро в общем окажется что джава реализует фичи скалы 10-летней давности
M
Сообщения @clayrat всегда как небольшая лекция
AT
скоро в общем окажется что для работы с конкаренси нужны гомотопические пруверы с десятью модальностями :)
блин, только не это)
БВ
Kirill Shelopugin
скоро в общем окажется что джава реализует фичи скалы 10-летней давности
Это уже оказалось (но я не уверен на счёт 10 лет)
KS
Тоже верно, уже прогресс
AT
Kirill Shelopugin
скоро в общем окажется что джава реализует фичи скалы 10-летней давности
лет через 15ть?
w
лет через 15ть?
Эх, сча бы 15ть
AT
мобильная тузомойка?