о гебешных патриархах

Мне кажется, их атеизм непосредственно следует из их антихристианских заявлений и поведения. Были бы верующими, бога бы побоялись.

стихи о басманном (оно там теперь везде)

Над пустым пространством зала
суд решенье объявляет.
Иск текстильщицы из Пскова
в адрес текста «Буревестник»

(via bytebuster463)

Friday banner

intensional equality explained in plain c

https://www.cs.princeton.edu/~appel/papers/conteq.pdf

(That's what I was talking about when I was talking about the difference between AB, the 'type of all functions', where equality, if given, is extensional, and Hom(A,B), where equality is intensional, they are just arrows in a certain category, and, for practical purposes, are identifiable library functions (or their combinations in expressions).

Big thanks to thedeemon, see http://thedeemon.livejournal.com/104205.html

хочется чего-нибудь замутить

Но надо доделывать слайды, сделать еще один круг французского, и поработать немножко.

О блин...