«Бегущий город» в опасности.

http://tvrain.ru/articles/veloprotest-393230/:
“Правительственная комиссия по законопроектной деятельности одобрила инициативу МВД, причисляющую групповые пробеги на любых транспортных средствах и установку палаток в общественных местах к публичным мероприятиям.”

Насколько я понимаю, теперь «Бегущий город» по категориям велосипеды, ролики, скейтборты/самокаты, и вообще любые велопробеги теперь надо заявлять и согласовывать как демонстрации несогласных.

via vit_r

Computational model of univalence

Народ, я всё проспал, да?

Вроде как Кокванд сотоварищи (используя глубокий инсайт Эндрю Свана) таки сделали выч.модель HoTT с унивалентностью и высшими индуктивными типами данных, см. http://www.cse.chalmers.se/~coquand/rules7.pdf