Connolley and science

I've noticed that Connolley, the Wikipedia Global Warming Fuhrer, in his arguments always uses the word "scientific".

I don't remember this word being actually used in actual science. But I remember it being used by Marxists, since everything they were saying was "scientific".

I believe this is a pretty telling sign of fake science.

Or is climatology another kind of science, closer to christian science, scientology, intelligent design, scientific communism, dialectic materialism, that kind of science? It should not be.

Fear and Trembling

Посмотрели офигенный охуенный бельгийский расистский антияпонский фильм, "Fear and Trembling".

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

Но блин, как всё поразительно знакомо! Я ж в таком предприятии три с половиной года оттрубил, и на прощанье разговаривал с менеджментом в точности в тех же выражениях (только что Амели по-японски, а я по-английски). Что меня больше всего и поразило. Может, тоже пойти книжку написать. Уж очень живописное место; спасибо бельгийцам, открыли глаза ещё шире. Ну вот ужо год пройдёт, и начну писать. Нонешнюю только закончу.

Agda in action

So we have a new guy at our categories seminar. He's planning to do this: use Agda (instead of Coq) to start proving categorical facts (lemmas etc) in that language. Omg, life goes on.