![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small}
Из-Под Глыб
Dec. 31st, 2009
Dec. 28th, 2009
07:58 pm - а вот вам и категория на марше
здесь вот (fprog/3/wave,erlang,tcl) выясняется, что вместо ручной композиции операций требуется таблица композиции. Ну ё, вот вам и категория уже, а! И вот пример, когда декларативно задаётся композиция, а не получается путём императивного применения операций.
04:41 pm - GPS and Starry Bush Roads
Couple stranded 3 days after GPS leads them astray (also check out the Silver lake link in the article)
Dec. 27th, 2009
06:44 pm - wii!
Мало того, что уже несколько дней играем в детский гольф на wii, сегодня поставили спортивный диск и чуть не весь день делаем всякую зарядку и играем во всякие игры; интернет тоже присоединили, но пока не поняли, где искать народ.
Зато ютьюб на wii смотрится как по телевизору, любо-дорого. На хрена и телевидение тогда. Вот ещё жж только ниасилил. Ну это временно.
03:38 pm - so, summing up
Two major visible perception problems with code:
- manual dispatch implementation: "if", "switch", based on, essentially, the type of input;
- procedural perception of result as a function of input: instead of saying what we need, we tell how to produce it (it might be extremist to hint that even using composition is procedural act, not declarative - how do we actually know that a specific transformation must be a composition of two others?
and so it goes... anything else?
11:50 am - основы научного креационизма
Допотопные люди знали, куда бежать во время потопа, а сине-зелёные водоросли не знали
Dec. 26th, 2009
04:17 pm - java critique, anybody
Again, seems like a pretty primitive and commonly useful stuff is just missing. Below is the class I wrote; please tell me where I'm wrong.
The class is supposed to replace InputStream, and do two additional things: readFully and read ints and longs. It is not a reader, it is a stream.
( Read more... )
03:54 pm - ужас юзера эклипса...
Когда, после трёх дней работы на дому (с редким доступом к svn via vpn) все новые файлы вдруг нечаянным движением курсора удаляешь... казалось бы, сходил в recycle bin - но их там нету!
Слава те господи, я не на маке - есть правая кнопка, тыкаешь в проект, и там есть "restore from local directory".
Так что не придётся всю эту фигню заново писать. А там порядочно.
Dec. 25th, 2009
04:01 pm - какая интересная наука
01:24 pm - Из Сегеда в Стамбул через Италию?
google maps
В чём тут глубокий смысл, что посылают так далеко в объезд? Казалось бы, Сербия, Болгария, и вы там.
Dec. 24th, 2009
01:23 pm - а что, никто не в курсе?
"Министерство связи и массовых коммуникаций подготовило и опубликовало проект приказа «О порядке ведения учета изготовленных экземпляров аудиовизуальных произведений, программ для электронных вычислительных машин, баз данных и фонограмм»."
"Журналы учета должны составляться не реже, чем один раз в 10 дней, в электронной форме с последующей распечаткой."
"В 2008 г. Госдума внесла дополнения в Закон «О лицензировании отдельных видом деятельности», обязав проходить лицензирование предприятия, занимающее производством програмного обеспечения и баз данных."
"После третьего чтения Госдума РФ приняла изменения в закон о лицензировании отдельных видов деятельности. После его вступления в силу компании, занимающиеся изготовлением ПО, баз данных, фильмов и музыки, должны будут получать специальные лицензии на свою деятельность."
Dec. 23rd, 2009
03:47 pm - пеший путь из Сан Хосе в Альфред, Нью Ёрк...
Лежит через Канаду, и частично идёт по Орегонской Тропе. 35 дней - и вы там.
02:26 pm - ну и занятие
Полндя искал софтвер, который бы работал с .iso файлами на виндах. Это, видимо, оттого, что лень пойти вниз и сделать всё на маке, который, по слухам, умён и сам смонтирует, если заметит... о, нашел! UltraISO!
(тьфу, пост выглядит как реклама... ну это потому что дома простуженный валяюсь, так что это.)
09:15 am - формы жизни
А что интересно, клетки уже больше никуда не прогрессируют? На более интенсивные методы окисления, что-нибудь в таком духе? Или многоклеточные как раз и обеспечивают эту более прогрессивную систему ("специализация обеспечивает эффективность, см. слайд 24).
Ну хорошо, а многоклеточные? Откуда эта идея, что человек - венец творенья? Да, в настоящий момент млекопитающие как бы царствуют. Но почему млекопитающие "лучше"? Почему человек "лучше"? Или потому, что человек всех конкурентов сожрёт только так? Дело в том, что расчитывать, что именно человек будет куда-то дальше мутировать (куда?) - нет особого резону, верно? Может быть, вот муравьи 300 миллионов лет жили - не тужили, а потом вдруг бабах, и за пару тысяч лет выйдут в космос и ломанутся луну осваивать. Ну или не муравьи, так тараканы, используя человека как средство доставки.
Dec. 22nd, 2009
12:01 pm - странное ощущение
Каждый раз, когда пишу какой-нибудь новый код, такое ощущение, что приходится чему-то учиться опять. Что без того, чтобы попробовать новые трюки, и писать нет смысла. Бывает ли такое состояние, что уже научился писать код, и можно просто гнать страницу за страницей, не особо задумываясь? Я знал одного такого человека, который не сомневался никогда, а писал себе как пишется.
(10x Dec. 21st, 2009
09:19 pm - 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.
09:14 pm - Fear and Trembling
Посмотрели офигенный охуенный бельгийский расистский антияпонский фильм, "Fear and Trembling".
Бельгийка в порядке мазохизма и японофилии приезжает в Японию (где провела детство, так что нихонгодэ джёдзу дэс, ё), и устраивается в Большую Корпорацию. Как её там пытаются с говном сожрать, как она сначала по-европейски пытается что-то сделать, но потом рассматривает свои занятия исключительно как лесбиянский мазохизм. Напоминает, да, Венеру в Мехах.
Но блин, как всё поразительно знакомо! Я ж в таком предприятии три с половиной года оттрубил, и на прощанье разговаривал с менеджментом в точности в тех же выражениях (только что Амели по-японски, а я по-английски). Что меня больше всего и поразило. Может, тоже пойти книжку написать. Уж очень живописное место; спасибо бельгийцам, открыли глаза ещё шире. Ну вот ужо год пройдёт, и начну писать. Нонешнюю только закончу.
11:11 am - 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.
Navigate: (Previous 20 Entries)