- 2nd
- 14:47
ATS madness: smoothsort с доказательством
14:50ATS и smoothsort: продолжение
- 3rd
- 00:47
нынг куоп леу
Entry tags:
- 9th
- 17:44
Один аппликативный функтор как вычислительный базис
- 22 comments
- 22nd
- 19:09
Категорические вычисления
- 30 comments
- 25th
- 01:06
(no subject)
- 4 comments
- 28th
- 10:26
поправка про экспоненциал
- 9 comments
Entry tags: