(no subject)

Нашёл напольные весы и тут же измерил свой вес. Во мне 90 кг при росте 182-183 см. Это хорошо, я в меру упитанный.

Вышла вот такая книжка, написанная 40 человеками (по второй ссылке фотография со всей компанией, по центру Воеводский)

http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/