- 6th
- 00:16
Модули и комодули
- 8th
- 01:29
Линейная зависимая теория типов
- 25 comments
16:58Notational sketch (Linear Dependent Type Theory)
- 17th
- 19:30
Электромобильное
- 42 comments
- 21st
- 12:05
(no subject)
- 4 comments
- 22nd
- 03:52
Будущее
- 49 comments
19:32Ещё про будущее
- 37 comments
- 26th
- 05:28
Великость
- 7 comments
06:00Аналитические топосы
- 5 comments
06:19Тривиализация присущая малым размерностям
- 10 comments
- 27th
- 02:21
VCS for cloud editor: названия
- 2 comments
06:45Комодальности
- 1 comment
16:38Нарочно не придумаешь
- 9 comments