metaclass: (Default)
[personal profile] metaclass
На соседнем мониторе ребенок смотрит киевнаучнфильмовскую "Алису в стране чудес" и "Алису в зазеркалье", а я, выпив литр пива, перечитываю комментарии в постах у ребе [livejournal.com profile] belnetmon. Еще немного и мне начнут мерещится летающие монады в воздухе и жабы с червями и линуксоидами, спасибо "тебе-бееее".

PS: Мама не разрешает мне смотреть интернет. Она говорит, что там разврат, мат и плохо. Единственный сайт который я могу открыть это about:blank. Сначала было скучно, но потом я втянулся. Теперь у меня там живет два воображаемых друга и я слышу голоса из розетки..

Разгадка этого коана в том, что у about:blank есть двоеточие с двумя точками, и у розетки, если присмотреться - тоже есть две точки.

Date: 2009-11-19 05:30 pm (UTC)
From: [identity profile] feorex.livejournal.com
ебанулись на отличненько! :)

Date: 2009-11-19 07:01 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Не лишним будет упомянуть,
что в Agda, Epigram и Coq
типизация задаётся розеткой.
Ну а в хаскеле двумя розетками.

Date: 2009-11-19 07:07 pm (UTC)
From: [identity profile] metaclass.livejournal.com
Разработчикам хаскеля было мало двух голосов, потребовалось четыре:)

Date: 2009-11-20 03:10 am (UTC)
From: [identity profile] nivanych.livejournal.com
Не-не! Протестую!
Одна розетка -- один голос!

Date: 2009-11-19 10:43 pm (UTC)
From: [identity profile] kashnikov.livejournal.com
Благодаря, Вашему исключительному стилю письма (который я уже давно приметил), данное предложение выглядит как отличное хокку. :-)
Надо попить чаю с чуваками из Coq.

О вреде быстрого чтения

Date: 2009-11-19 08:38 pm (UTC)
From: [identity profile] vadim-i-z.livejournal.com
На соседнем мониторе ребенок, выпив литр пива, смотрит киевнаучнфильмовскую "Алису в стране чудес" и "Алису в зазеркалье"...

Date: 2009-11-19 09:22 pm (UTC)
From: [identity profile] clayrat.livejournal.com
вот уже вас заклинило на этих эндофункторах =)

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2025 09:13 pm
Powered by Dreamwidth Studios