Хочется напомнить всем, кому интересно развитие интернет-образования, что сегодня, 20 января, начинаются курсы проекта «Универсариум»: Поиск и выбор бизнес-идеи, Химия – полезная и бесполезная, Графы и комбинаторика: от жемчужин теории к современным приложениям.

На хабре уже обсуждали этот проект. «Универсариум», наряду с проектом Hexlet, — одна из первых российских MOOC-платформ. Вот что говорят о себе авторы:

Перевод статьи Андрея Бауера — The HoTT book

Книга по HoTT закончена!

Начиная с весны, и даже раньше, я участвовал в командном проекте по написанию книги по гомотопической теории типов (Homotopy Type Theory). Она наконец написана и готова к употреблению. Вы можете скачать книгу бесплатно: homotopytypetheory.org/book. Майк Шульман рассказал о содержании книги, так что я не буду повторять то же самое. Вместо этого я бы хотел прокомментировать некоторые социо-технологические аспекты создания книги и, в частности, рассказать о том, чему нас научило сообщество Open source.