- 2nd
- 00:44
HoTT milestone
- 11 comments
03:29Образовательное
- 23 comments
- 3rd
- 02:53
Фундированные (∞,1)-категории
- 4th
- 16:23
Untyped model of HoTT
- 7th
- 03:32
QUIC
- 36 comments
- 9th
- 18:12
(no subject)
- 6 comments
- 13th
- 01:17
Семинарчик?
- 14th
- 05:09
(no subject)
- 31 comments
- 15th
- 08:11
(no subject)
- 1 comment
- 16th
- 03:49
Имперские амбиции
- 5 comments
07:52О Бостоне
- 25 comments
- 17th
- 06:51
Гостиничное
- 14 comments
07:41Политическое
- 40 comments
08:07Кухонное
- 16 comments
20:33Так сойдёт на букинг?
- 10 comments
- 18th
- 10:05
О системах контроля версий
- 10 comments
- 19th
- 04:18
Еда в Бостоне
- 8 comments
04:36О местном социализьме
- 12 comments
06:20Утепление зданий
- 65 comments
- 21st
- 04:07
Автоводительское
- 11 comments
04:34Загадка разрешилась
- 5 comments
04:44Legal Sea Foods
- 10 comments
04:49Странные привычки
- 14 comments
05:50Сова
06:00Туалетное
- 21 comments
07:44(no subject)
- 13 comments
08:22(no subject)
- 30 comments
10:46Меня переубедили (про такси без водителя)
- 22 comments
11:54Ёмкость аккумуляторов vs скорость зарядки
- 14 comments
- 23rd
- 06:50
Ещё о Бостонском метро
- 13 comments
07:09Для хипстеров
- 1 comment
07:15Джентрификация
- 2 comments
07:26Университеты
- 12 comments
07:37Ах да!
- 3 comments
- 24th
- 11:04
Тлгрм
12:14FraPort
- 10 comments
- 27th
- 06:38
Self driving twizy
- 59 comments
12:20Инкапсюляция
- 28th
- 05:15
Медикофутурологическое
- 39 comments
10:58Большие машинки
- 13 comments
11:28HoTT
- 1 comment
- 30th
- 07:38
Медицинское ещё
- 10 comments