![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 4th
- 12:11 am
Цитата для памяти
- 5th
- 02:51 am
Дошли руки до лямбда-куба
- 4 comments
Tags:
- 7th
- 12:27 am
Просто типизированное лямбда-исчисление
- 19 comments
Tags:
- 8th
- 02:50 am
От теории множеств к теории типов
- 29 comments
Tags:
08:58 amНавстречу выборам
Tags:
- 12th
- 12:32 am
Поганый ЖЖ
- 15 comments
Tags:
- 16th
- 01:56 am
38% из нас будут уволены, дорогие коллеги
- 55 comments
Tags:
- 26th
- 08:11 pm
Система F
- 11 comments
Tags:
Reload page in style: light