полезный гаджет

о блин, пробило

"Definition. A Lawvere theory or finite-product theory is (equivalently encoded by its syntactic category which is) a category T with finite products in which every object is isomorphic to a finite cartesian power xn=x×x×⋯×x of a distinguished object x (called the generic object for the theory T)."

Дык. Очевидно, если вдуматься.

И где-то тут прячется монада коплотности, кстати, а также тайпклассы.

Щас разберёмся.

political incorrectness

"A beginning programmer writes his programs like an ant builds her hill, one piece at a time"

thank you ygam, I've learned something new today

Sonomaa-5 (viisi) (2)

Итак, мы въезжаем в Rustridge. Это странная винарня. Здесь и bed-and-breakfast, здесь и конюшни, где выращивают лошадей на скачки, здесь тебе и вино. Вообще-то по записи, но никого нет.

Заходим в помещение, сидит тётенька. Медленно так нас спрашивает - вы это, вино пробовать, что ли? Ага.

Ну ладно, пошевелилась. Спрашивает, что будете? Э, хм, а что у вас есть? Советское шампанское, солнцедар, вудфорд резерв, горилка, курвуазье, либфраумильх, пиво бадвайзер, текиля хосе куэрво, абсент, водка архангельского ЛВЗ?

Короче, пошли по стандартному кругу, совиньон блан, мерло, сира, пти сира, каб. Но только почему-то нам приходилось её развлекать. Подруга постепенно перешла на вопросы биохимии, видя, что в их проспектах расписаны аж два показателя кислотности, пэаш и ещё какой-то; так постепенно дошли до глобального потепления, до древнеримских виноградников в Британии. Эта интеллигентка хоть немножко расшевелилась. Но пить с нами не стала; отведает - и выплюнет, как положено. Чтобы не напиться, говорит.

Короче, не знали, когда уже можно валить.

Следующая остановка Rutherford ranch, прямо у дороги.

Там нам посочувствовали; весёлая Джил нам подливала и подливала; и, надо сказать, на Rutherford ranch все вина, как бы это сказать, sophisticated. По-моему, уже их поминали тут. Короче, советую вступать в клуб, и заказывать. Очень качественно делают. Только не путайте с другими резерфордами; тут долина Резерфорда, и ещё две винарни тоже в честь Резерфорда названы.
( Read more... )

И вот это вот всё такое. Тьфу.