хабра пугает голой жопой

У меня c хаброй всегда были проблемы залогиниться или восстановить пасворд (я его знаю вообще-то). Теперь вот. Как дальше жить.

гей, россияне!

Вы тоже вроде, теоретически, за мир были?

"let me finish"

I know some people who hate it when they are being interrupted. They have a ready reaction: "let me finish". I was kind of confused every time I hear this, and I just shut up. On the other hand, to me, a dialog is a live process, and anything can happen; if I'm talking, and someone interrupts me, I eagerly get interrupted, to come faster to a truth or to a common opinion, or even to abandon my opinion totally because it turns out to be wrong.

But there's a culture here, you should let the speaker finish. Okay okay, go ahead, finish. Then someone else starts talking right away. So we never discuss the dubious or important issue; actually, the first speaker never even had an opportunity to elaborate and to be more convincing. We let him finish, he finishes, that's it. Nobody seems to care.

I remember, the first 2 years at Google I could not figure out how to participate in meetings. The Stanford people are trained in grabbing the opportunity to start bragging the millisecond the previous one stopped. The fact that they are repeating the same thing does not bother them. If something is important, they use the opportunity to stress that that something is very important. Very, very important. Discussion? We don't have time.

I remember I had learned this trick with those people. By the very end of the meeting, when everybody seems to be tired, and there's about a 10-second silence, I asked: guys, are you ever interested hearing in my opinion? Then I had a chance. I was not even being interrupted, because everybody already had his speech spoken, so there; but I found it sad and stupid; what I wanted was a discussion, weighing pros and cons, looking into details etc.

Discussion, not a series of unrelated or identical speeches.

полезное чтение

"а, вам хорошо в вашем Киеве!"

just a view

from my bathroom

дыбр

Как-то утро не очень получилось, в смысле, зарядку не делал, даже сурьянамаскару. Зато сходили погуляли по холмам; в связи с нерабочим днем там полно народу на тропе. Ну и олешки тоже шныряют.

Делать сегодня как бы нечего; лепота; так что я сидел разбирался с 12-й главой; писать ее в каких-нибудь доксах нет смысла, в ворде тоже; стал писать прямо в эчтиэмэле со вставками latex и диаграмм. Диаграммы у меня скриптом все рендерятся и вставляются; ну и еще нарисовал заодно что-то вроде макроса для markdown, чтобы всю мою хренопень писать компактно и читабельно в сорсах, а в эчтиэмль и в последующий пидиэф там уже софт преобразует. Блин, вот. На скале все, конечно.

Ну а шевелиться-то надо. И вот выдвинули холодильник, и я вскрыл стенку, и убедился, что дверь здесь поставить можно. Будем перестраивать кухню следующим. Как книжку закончу, и как слайды к кодекампу да к урокам да, запасные, к стрейнджлупу (вдруг там в анконференс прорвусь) заготовлю. Т.е. к зиме.

На улице жарища, 101 градус по фаренгейту; в доме же постоянные 73, так что кондиционер нам нафиг не нужен.

Поработал над главой (и над скриптом), потом подсыпал песка на патио, щели забить песком, а то муравьи все повытаскивали за весну. Вот им, на зиму укупорка.

Как солнце зашло за дом, вышел на дек, валяюсь тут на диване да работаю - да еще посматриваю видео про Эрланг; Максим Лапшин славно гонит.

Все на сегодня. К сожалению, нарисовал только полглавы; надо подумать, как программистам подать сопряженные функторы, чтобы не падали в обморок и не возмущались в духе "нас и так хорошо кормят".

Here's the related code I was writing a while ago:

    private boolean factorsOnRight(final Cone factored) {
      return new Predicate<YArrows>() {
        public boolean eval(final YArrows h) {
          return new Predicate<XObjects>() {
            public boolean eval(XObjects x) {
              return codomain().m(h, arrowTo(x)).equals(factored.arrowTo(x));
            }
          }.forall(domain().objects());
        }
      }.exists(codomain().arrows(factored.apex(), apex()));
    }