bird news

A couple of minutes ago, when I was cleaning the camera lens, one of the chicks just took off! It just flew away, and I could not trace it where.

Update. I got him back.

птички, блин

Итак, сегодня поправил камеру и протёр линзу; старший птенец взял да и ломанулся. Улетел так лихо, по горизонтали, хрен знает куда.

Я уже подумал, что он всё, крутой. Но пошел искать по двору. И ни хрена не нашел.

Подруга меня стала обзывать bird killer.

Позавтракав, опять пошел искать птичку. Нашел этого придурка сидящего на килне (на печи, то есть), вцепившегося коготками в чехол.

Взял его и отнёс в гнездо. Мелкий, конечно, чуть больше пол-ладони в длину; и хвост короткий очень.

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

Пока его не было, прилетала мамашка; покормила меньшого и всё вертела головой на тему старшего.

А теперь вот прилетала, но кормить его не стала, блин. От него моими руками пахнет.

Ну, будем надеяться.

американский флаг в американской школе

Вчерась в Морган Хилле (это тут в 12 милях от нас) несколько школьников надели на себя футболки с американском флагом и в таком виде пришли в школу. Т.к. вчера было 5 мая, то, чтобы не уподобляться аризонским расистам, школьное руководство сочло американские флаги оскорбительными для школьников, у которых родной язык испанский, и не разрешило детям в таком виде посещать занятия.

Мне кажется, прокуратура могла бы возбудить уголовное дело против этого школьного руководства, а местный школьный округ, соответственно, мог бы освободить мексиканских националистов из Морган Хилла от занимаемых ими должностей. Без права в дальнейшем работать в школах. Пусть в поле идут, землянику собирать, раз они такие мексы.

Eclipse: "declaration" tab

Imagine, just discovered: you can have "declaration" tab somewhere in another, hmm, window, so that while you move your mouse around your code, declarations of the things you point at will be displayed in that tab. Amazing, eh.

кто о чём, а я о птицах

Ветер дует, дерево качается; прилетела мамашка, кормит их с воздуха, как самолёт-заправщик. Улетела.
Старшой крыльями машет, вот-вот опять улетит; меньшой тоже машет; да что ж это делается! куда родители смотрят!

Де ещё такие шприцы в качестве клювов; глаза друг другу выколют ненароком.

надо детей назвать

Давайте птенчикам имена придумаем, пока не улетели.

Ориентировочно крупный - мальчик, мелкая - девочка.

Хуан и Флорибунда? Ваня и Маша? Робин и Бобин?

Фриц Нётер, брат Эммы Нётер

wiki

Эмма Нётер в 28/29-м работала в Москве, с Александровым, Понтрягиным и т.п. Потом уехала в Германию, где имела из-за этого проблемы; хотела поехать опять в Москву, да что-то не вышло. А младший брат её, Фриц, тоже математик; его когда выгнали с работы как еврея, уехал (в 34-м) в Россию, работал в Томске... арестован в 37-м как немецкий шпион, расстрелян в 41-м за антисоветскую пропаганду.

Тем, кто не знает, кто такая Нётер: имхо, это самый главный математик 20-го века; да если ещё добавить её вклад в физику... теорема Нётер - это вообще всё. Вроде Ньютона.

axiom of choice and Martin-Löf Intuitionistic Set Theory

So, I took a look at this clarification from Stanford texts.

And so, it seems like yes, the axiom of choice as formulated in his so-called intuitionistic set theory is actually the corollary of what one could call axiomatics of the intuitionistic set theory if there were one. What there is is a set of vague intuitive assumptions.

Intuitive is not intuitionistic, you know.

And AC implies Boolean logic, in case you did not know.

So, I think now that it is all wrong.

Basically, there's no such thing as Intuitionistic Set Theory.

But a funny, although hardly provable, corollary of all this is that dependent types imply booleanness. In the form it is now popularized.

Personally, I don't believe it. I believe we still can have dependent types (objects of the form ΠA_{x) without having to have Boolean logic.}

кратко об Антоне Москале

Он подонок.