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