- 2nd
- 13:41
(no subject)
- 26 comments
- 3rd
- 12:17
Арфа-графия
- 1 comment
12:34Зачем нужны OTT (Observational Type Theory) и HoTT (Homotopic Type Theory)
- 21 comments
- 4th
- 00:22
(no subject)
- 3 comments
10:31(no subject)
- 4 comments
11:03(no subject)
- 6 comments
11:34(no subject)
- 3 comments
- 12th
- 22:48
(no subject)
- 10 comments
- 17th
- 21:41
(no subject)
21:41(no subject)
22:00(no subject)
- 1 comment
- 19th
- 07:29
(no subject)
- 6 comments
- 20th
- 03:05
Scala distilled
- 28 comments
Entry tags:
04:04(no subject)
- 13 comments
21:16Vision of Scala 3
- 83 comments
Entry tags:
- 22nd
- 09:36
(no subject)
- 23rd
- 15:37
(no subject)
- 20 comments
17:08(no subject)
17:11(no subject)
- 4 comments
- 25th
- 03:37
(no subject)
- 5 comments
04:51(no subject)
- 11 comments
- 30th
- 04:03
10 лет
- 1 comment
04:05(no subject)
- 1 comment
- 31st
- 01:05
(no subject)
- 1 comment
05:05(no subject)
- 1 comment
06:25Типотеоретическое
- 2 comments