Раменское, однако..

[anhinga_anhinga]

people say it really looks like this:
http://boooms.livejournal.com/30095.html

a large collection of these photos (traffic):
http://sturman.livejournal.com/271320.html?thread=1433560#t1433560

В середине 2000-х годов в Раменском был реализован проект по художественному оформлению группы типовых жилых домов, весьма необычный для России. В центре города было установлено много разнообразных скульптур, некоторые из них созданы по мотивам советских мультфильмов.

Comments

[anhinga-anhinga.livejournal.com]

> 2) It is not clear whether one can covert a magic instant solver of the halting problem (a "Turing oracle") into a practical solver for the actual outcome of the type inference (since the termination can be of two types: "validated" and "error found").

Actually, this is doable -- one just considers a modified program: which loops, if the original one gave the "error found" answer, or, alternatively, which loops, if the original one gave the "validated" answer, and apply the oracle to those.. Cool!