вопрос местным

А кто ещё вчера был у Оксаны на дне рождения но не развиртуализовался?

чудесная дискуссия

о необходимости подчинения вашему избраннику

the game of death, 2nd round

CNN is doing its usual French-bashing. They now have, they say, that tv game when one has to "punish" those that don't have right answers; the audience demands higher voltage, etc. Everybody's happy except, of course, those that get it.

как бы дыбр;

Сегодня какой-то удачный, хотя и сонный день. Погода тёплая, но немножко облачная, и, особенно после вчерашних танцулек до часу ночи и разговоров с русскими и американскими о языках программирования, искусстве, кошках и корпоративной культуре, больше всего хотелось спать.

А кстати, на той же парти встретил коллегу, Илью с нашей конторы. И выпускника кафедры алгебры, матмеха, защищался у Матиясевича, сейчас работает в Яху, занимается поиском в метрических пространствах. Любопытное дело, правда? Главное, по-моему - размерность прикинуть; если размерность не зверская, то можно какой-нибудь индекс завести, или там триангуляцию; если же размерность зверская, то по определению хрен что найдёшь. Ещё раз, речь не об эвклидовых пространствах, а о метрических вообще. Но размерность всё равно можно прикинуть.

Но к 11 надо было на день рождения к двум двухлетним девочкам, так что пришлось выползти. Пара довольно зажиточных геев, живущих, типа из жадности, в небольшом домишке около большака, но при этом нанимающих няньку своим дочуркам (у каждого своя, генетически как-то там модифицированная) и прислугу убирать... да что я наезжаю, нормальные люди, керамикой даже балуются, так вот, устроили день рожденья своим куколкам; навалила толпа народу, в том числе и комплиментарная пара лесбиянок, тоже с двумя дочками; только разговаривать там что-то не нашел с кем; ну сидят люди и нудно долбят: я инженер, и я инженер - да ну нахрен; короче, потусовались и свалили.

Сходили обедать в тайский ресторан в Лос Гатосе; никого не было, кроме ещё пары тёток, одна из них, мордастая китайка, что-то ругалась на всё матом и ржала; потом вдруг говорит, ну как так можно, столько денег он спустил (внимание, угадайте, сколько?) - я прижал ушки и жду, ну сколько же много? 6 миллиардов долларов. Ейный спустил 6 миллиардов долларов. Дальше она подтверждает - ну сколько, говорит, капитализация Хьюлет-Паккарда? Миллиарда два? Потом она, правда, стала манипулировать аббревиатурами, а потом, в духе Дильберта, объяснила, что если печатать все документы на двух сторонах бумаги, то выйдет большая экономия...

Кстати, ресторан страсть какой хороший; я взял форель, объеденье. Думаете, дорого? Нет, обычный тайский ресторан.

Дома завалились спать, но я не выдержал, стал приводить в порядок комбинацию скала 2.8, скалатест 1.0, скалачек для скалы 2.8. Тесты побежали к 10 вечера. Месяца два портировал со скалы 2.7.6, боже мой.

Ну это ладно, надо было ещё спринклеры на улице поправить, т.к. уже жара, трава будет сохнуть. Головок спринклеров нету; съездил в Ош, купил головок для спринклеров; надо было ещё фуксий купить, подвесить у входа (воду я провёл), да фуксий не было, купил три кактуса, под магнолию посадить. У меня там кактусовый садик, под магнолией.

Потом опять съездил в Ош, потому что головки для спринклеров оказались не те. Эх. Но починил все спринклеры, теперь всё ровненько поливает, ничего наружу, и всё равномерно. К лету готовы!

Перед сном смотрели ещё Аттенборо, про птичек. Как им, бедолагам, нелегко орехи щёлкать да запасики на зиму делать; каково живётся колибри в тундре; зачем клесту кривой клюв.

Ну и ещё радость, наконец-то аккаунт в fprog зачирикал; да и статейку отформатировал наконец-то. Тормозил очень долго.

И вообще, что б я делал без ЖЖ. Вон и линк на хаскельную имплементацию наивных множеств послали. Имплементация простая:

x = Tree x

Примерно такую формулу я месяца два искал; другая версия этого уравнения - x=2^x

Там с аксиомой фундирования проблемы, но это отдельный разговор.