некоторые сомнения

1. I got a feeling that the so-called "CAP theorem" is not a theorem, but rather a marketing statement; theorems are in math, and only in math. How can you prove something if you cannot check the origins of assumptions? Etc. More, I somehow suspect that things like pi-calculus are as good as any other religion; you throw in a bunch of quantifiers, and then what? Then you demonstrate that your theory models some features of real world as we see it today. So what. Can you seriously prove something?

2. Вот эта картина, либералы в глазах нелибералов, это чо? Когда люди, номинально ратующие за свободу (мариванны, браков, абортов) вдруг сообщают, что вам, товарищи, лучше жить не в отдельных домах и не ездить на собственных машинах, а вам будет полезнее жить в квартирах в многоэтажках и ездить в трамваях - это полезней для природы; на предложение пройти в пешее эротическое путешествие обвиняют в некорректности. Сегодня на каком-то радио одна чуча звонила и сказала, что держать большие магазины или вообще много патронов - это чревато; скажем, если в доме есть запасы картофельных чипсов и сладких напитков, то очень вероятно, что жители будут толстыми; так и с патронами, вероятность смертоубийства повышается. Хотя номинально я согласен насчёт вероятности, но я тут не понял, это чё, теперь партия и правительство будут решать, кому жрать чипсы, а кому уже хватит? А партия и правительство в курсе, что если незамужняя женщина занимается сексом, то от этого могут быть внебрачные дети? Не пора ли уже запретить? (Ой, извините, это, кажется, уже программа республиканской партии.)

Потом будет ещё, всё не запамятовал. Или наоборот, запамятовал, не запомнил.

краткие сведения

Ну, во-первых, уже два дня чиню (заменяю) кран в ванной. Сколько нужно вывинтить лампочек, чтобы заменить кран? Ответ - 14. Чтобы вставить новый кран, пришлось снять зеркало; чтобы повесить зеркало, пришлось вывинтить лампочки и плафоны; первый раз повесил слишком низко, пришлось перевешивать, опять вывинчивая. Две лампочки в результате деятельности перестали работать.

Зато кран течёт. Шланги текут. Завтра поеду новые покупать, блин.

Зато на велике прошвырнулся. 4.5 месяца не катался - медстраховки не было. Думал э, форму восстанавливать. Пропилил свои 19.5 миль за час 27 минут, как ни в чём не бывало.

Потом пришел vital_sol и смотрели фильм Сауры "Кармен". Я этот фильм видел ещё в СССР, но был тогда глуп, наивен, любил и ценил балет, но о постмодернизме ничего не слышал; зато сейчас мы оттянулись, ух. Загадочно, как Хосе, король цирка, вдруг теряет весь свой ореол, а с ним и ареал, и остаётся один на один с довольно глупой проблемой. Правильно ему приятель Пако говорит - да ты чё, у тебя тут тёлок завались; не одна так другая, пошел завалил, забыл о Кармен, не в буквальном смысле, а в смысле сверхценности.

Да.

приходили еноты

Я вчера добавил воды в пруд, а то было мало совсем. Утром выхожу - блин, опять мало.

Приходили еноты. Отсоединили трубу насоса; насос стал качать воду наружу, и качал, пока уровень не понизился ниже уровня насоса. Хорошо, что насос не на дне пруда, а то бы они всё откачала и рыбу просто руками бы забрали.

Но боже мой... хорошо ещё, не с инструментами приходят, и не со снастями.