this phrase had made my day (or night?)

[wizzard]

>> I've been pondering a type that's so mind-bogglingly weird that I can no longer think about it without frying my neurons. So instead I'll just dump the contents of my brain here so you can fry your neurons too.

отсюда: http://blog.sigfpe.com/2008/01/type-that-should-not-be.html // я не всё там понимаю, но мне нравится %)

вообще, весь блог A Neighborhood of Infinity однозначно достоин прочтения.

UPD: Как выглядит мир с точки зрения постоянно ускоряющегося наблюдателя: http://blog.sigfpe.com/2009/04/faster-than-speeding-photon.html

Comments

[ivan-ghandhi.livejournal.com]

Мне нравится antifoundation axiom. Правильная идейка, можно довольно лихо обобщить. На самом деле обобщить до примерно Karoubian closures - но штука в том, что нам как-то не удалось кое-что доказать в этой области, точнее, в одну сторону я доказал, а в другую нет, и у Джонстона тоже не вышло.