- 1st
- 06:28
Ещё раз о теоремах Гёделя
- 5 comments
- 2nd
- 08:10
Вычислимость, сличимость, различимость
- 30 comments
20:59Оу уеан1
- 12 comments
- 5th
- 02:05
Весна-с
- 3 comments
- 8th
- 06:21
О теоркате, говорите, рассказать?
- 40 comments
09:00Бааари Аракиил
- 3 comments
10:28Я кажется понял, что такое наследственно-приобретённые привычки неправильного питания
- 15 comments
- 9th
- 10:33
Declarative Scala
- 43 comments
Entry tags:
- 11th
- 10:55
Scala Improvement Proposal: Digressions
- 17 comments
Entry tags:
14:44Scala Improvement Proposal: Quotations and Implicit Unboxing
- 15 comments
Entry tags:
14:50(no subject)
- 12th
- 13:36
Культурный код
- 19 comments
- 13th
- 16:26
Охренеть
- 17 comments
18:32Логика высказываний, минимальная аксиоматизация
- 8 comments
- 14th
- 21:59
Язык диофантовых предикатов
- 2 comments
22:43Хочу машину с DCT-трансмиссией на базе Zeroshift-сцепления!
- 9 comments
- 15th
- 03:11
Мечта о финитизме I: Гедонизм
- 2 comments
04:05Мечта о финитизме II: Аскетизм
05:02Каталог постов по основаниям математики
- 3 comments
05:14Каталог постов про образование за последнее время
- 2 comments
15:33(no subject)
- 1 comment
- 16th
- 16:20
Understanding codata and encapsulation
- 3 comments
16:47Харрашо!
- 4 comments
- 22nd
- 15:50
О названиях
- 2 comments
15:57О названиях
- 7 comments
- 26th
- 12:20
Приснится же...
- 1 comment
22:36Back to the Future
- 3 comments
23:45Банковское
- 5 comments
- 27th
- 00:32
Транспортное
- 11 comments
03:02О записи и произнесении чисел
- 27 comments
04:45Из комментов
- 31 comments
05:11Кстати, раз уж зашла об этом речь
- 14 comments
06:25Вопрос математикам и информатикам
- 10 comments
06:53Опять транспортное
- 12 comments
- 29th
- 18:38
Не прошло и...
- 26 comments
- 30th
- 06:56
(no subject)
- 10 comments