• [<<<]
  • [>>>]
6th
00:16

Модули и комодули



8th
01:29

Линейная зависимая теория типов

- 25 comments

16:58

Notational 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