Психоделия
На соседнем мониторе ребенок смотрит киевнаучнфильмовскую "Алису в стране чудес" и "Алису в зазеркалье", а я, выпив литр пива, перечитываю комментарии в постах у ребе
belnetmon. Еще немного и мне начнут мерещится летающие монады в воздухе и жабы с червями и линуксоидами, спасибо "тебе-бееее".
PS: Мама не разрешает мне смотреть интернет. Она говорит, что там разврат, мат и плохо. Единственный сайт который я могу открыть это about:blank. Сначала было скучно, но потом я втянулся. Теперь у меня там живет два воображаемых друга и я слышу голоса из розетки..
Разгадка этого коана в том, что у about:blank есть двоеточие с двумя точками, и у розетки, если присмотреться - тоже есть две точки.
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
PS: Мама не разрешает мне смотреть интернет. Она говорит, что там разврат, мат и плохо. Единственный сайт который я могу открыть это about:blank. Сначала было скучно, но потом я втянулся. Теперь у меня там живет два воображаемых друга и я слышу голоса из розетки..
Разгадка этого коана в том, что у about:blank есть двоеточие с двумя точками, и у розетки, если присмотреться - тоже есть две точки.
no subject
no subject
что в Agda, Epigram и Coq
типизация задаётся розеткой.
Ну а в хаскеле двумя розетками.
no subject
no subject
Одна розетка -- один голос!
no subject
Надо попить чаю с чуваками из Coq.
О вреде быстрого чтения
no subject