- 1st
- 06:28 am
Ещё раз о теоремах Гёделя
- 5 comments
- 2nd
- 08:10 am
Вычислимость, сличимость, различимость
- 30 comments
08:59 pmОу уеан1
- 12 comments
- 5th
- 02:05 am
Весна-с
- 3 comments
- 8th
- 06:21 am
О теоркате, говорите, рассказать?
- 40 comments
09:00 amБааари Аракиил
- 3 comments
10:28 amЯ кажется понял, что такое наследственно-приобретённые привычки неправильного питания
- 15 comments
- 9th
- 10:33 am
Declarative Scala
- 43 comments
Tags:
- 11th
- 10:55 am
Scala Improvement Proposal: Digressions
- 17 comments
Tags:
02:44 pmScala Improvement Proposal: Quotations and Implicit Unboxing
- 15 comments
Tags:
02:50 pm(no subject)
- 12th
- 01:36 pm
Культурный код
- 19 comments
- 13th
- 04:26 pm
Охренеть
- 17 comments
06:32 pmЛогика высказываний, минимальная аксиоматизация
- 8 comments
- 14th
- 09:59 pm
Язык диофантовых предикатов
- 2 comments
10:43 pmХочу машину с DCT-трансмиссией на базе Zeroshift-сцепления!
- 9 comments
- 15th
- 03:11 am
Мечта о финитизме I: Гедонизм
- 2 comments
04:05 amМечта о финитизме II: Аскетизм
05:02 amКаталог постов по основаниям математики
- 3 comments
05:14 amКаталог постов про образование за последнее время
- 2 comments
03:33 pm(no subject)
- 1 comment
- 16th
- 04:20 pm
Understanding codata and encapsulation
- 3 comments
04:47 pmХаррашо!
- 4 comments
- 22nd
- 03:50 pm
О названиях
- 2 comments
03:57 pmО названиях
- 7 comments
- 26th
- 12:20 pm
Приснится же...
- 1 comment
10:36 pmBack to the Future
- 3 comments
11:45 pmБанковское
- 5 comments
- 27th
- 12:32 am
Транспортное
- 11 comments
03:02 amО записи и произнесении чисел
- 27 comments
04:45 amИз комментов
- 31 comments
05:11 amКстати, раз уж зашла об этом речь
- 14 comments
06:25 amВопрос математикам и информатикам
- 10 comments
06:53 amОпять транспортное
- 12 comments
- 29th
- 06:38 pm
Не прошло и...
- 26 comments
- 30th
- 06:56 am
(no subject)
- 10 comments
Style Credit
- Style: Neutral Good for Practicality by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags