2015-10-09

juan_gandhi: (VP)
2015-10-09 09:30 am

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

Мне кажется, их атеизм непосредственно следует из их антихристианских заявлений и поведения. Были бы верующими, бога бы побоялись.
juan_gandhi: (VP)
2015-10-09 03:55 pm
Entry tags:

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 [livejournal.com profile] thedeemon, see http://thedeemon.livejournal.com/104205.html
juan_gandhi: (VP)
2015-10-09 09:50 pm
Entry tags:

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

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

О блин...