Croco's mind flow

9:04pm: *CLOSED*
Уважаемые читатели!

В связи с тем, что действия СУПа мне представляются неприемлемыми, а поддерживать эту компанию, пусть даже всего лишь в форме продолжения своего присутствия в LJ, я не считаю возможным, данный журнал более не ведётся и считается замороженым.

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

По этой же причине возможность оставлять комментарии теперь есть только у френдов (ранее non-friends просто скрывались и я их открывал вручную, но теперь я этого делать не буду и смысла в "невидимых" комментариях более никакого нет).

Как со мной связаться -- кому надо, знают и так.

12:00am: local policies
( Что следует уяснить тем, кто тут впервые )
ВНИМАНИЕ! Если вы припёрлись в мой журнал и принялись его комментить, не удосужившись изучить действующие в нем правила (см. под катом), то это ваши проблемы.

UPD для особо интересующихся. Лично мне известно ( три способа получить бан )

8:19pm: The end
Всё, господа. Одно из основных жизненных правил, которым я всегда следовал -- это никому, никогда не позволять вытирать об меня ноги.

Данный журнал отныне перестаёт вестись. В случае появления в нём какой бы то ни было рекламной нагрузки он будет немедленно стёрт.

Также я отключаю отправку комментариев в почту и на комментарии больше не отвечаю.

LiveJournal has died today. RIP.

12:21am: Записки начинающего бармена
В порыве вдохновения смешал в равных долях джин и мартини. Прикольно.

6:12pm: Таки оказался я в чьём-то кадре с RMSом
Респект неизвестному автору (сам не понял, как на его альбом набрёл). ( Под катом пара фоток ~200+ Kb за обе )

8:10pm: Антирелигиозное
В Риме Папу Римского не пустили толкать речь в университет. Вот просто собрались профессора со студентами и сказали -- не дадим мракобесу осквернять наш университет своим мракобесием.

http://www.gazeta.ru/education/2008/01/16_a_2562328.shtml

Несбыточная, увы, мечта -- Ридигера a.k.a. Лёху-два так же вот не пустить в МГУ. А если полезет -- забросать тухлыми яйцами.

Пока это невозможно -- Россия останется безнадёжно варварской страной.

2:01pm: RMS
http://www.fsf.org/events/moscow20080303

Кратко говоря, кто не знает: сегодня Столлман выступает на ВМК. В 16:20 в П-13, кажется. Хотя я и болею, но по такому случаю как-нибудь доползу.

7:32pm: политическое
( против всех )

12:15am: ассоциации от dmarck
Продолжаем флешмоб

( ответы на ассоциации )

12:13am: Названы очередные лауреаты премии Тьюринга
http://www.acm.org/press-room/news-releases/turing-award-07

Вот, собственно.

Интересно, что же это за Model Checking. Очень хочется надеяться, что в ACM ещё не спятили, но "хочется многим, а могут не все". Первое впечатление -- что в этот раз в один ряд с Маккарти, Дейкстрой, Кнутом, Флойдом, Бекусом и прочими титанами поставили изобретателей очередного протеза головного мозга.

Тот случай, когда я буду очень рад ошибиться.

11:16pm: флешмоб с годом
Вспомнил тут, что некоторое время назад получил от heretic_michael год на пофлешмобить, да так и не собрался. И заела меня совесть (гыгы).

( 1992 )

11:09pm: зверрррское
Под катом -- ( две мурзи, ~120Kb за обе )

5:30pm: лыжный дыбр
Вчера таки выбрался на беговых лыжах, причём это впервые за два сезона.

( Read more... )

11:06pm: they must be mad
А между тем Луиджи Кани таки приземлил JVX-37. Напоминаю, что 37 -- это площадь парашюта в квадратных футах. Таким образом, он улучшил свой же предыдущий рекорд трёхлетней давности на два квадратных фута.

Правда, вингсьют сажать пока не решаются.

10:26pm: Шиза косила наши ряды
Полез в /usr/games, запустил первое, что на глаза попалось. Оказался KAtomic. День потерян :-)

Кратко говоря, дано игровое поле, на нём атомы с пририсованными к ним хвостиками валентных связей, надо собрать определённую молекулу. Атомы могут двигаться в четырёх направлениях, но прикол в том, что они всегда движутся, пока не упрутся либо в стенку, либо в другой атом.

Казалось бы, фигня фигнёй, но размять мозг получается замечательно.

10:59pm: пропробки
Московская транспортная система организована самым худшим способом. И тут нельзя кивать на Юрия Долгорукого. Дефекты московской сети – топологические, неисправимые никакими мозгами и никакими деньгами – были доведены до абсурда в последние 15 лет: создано третье транспортное кольцо и уже заложено четвертое.

http://polit.ru/lectures/2008/01/24/probki_print.html

ЕЩЁ:Московское начальство, московские архитекторы искренне считают, что искоренение светофоров – это добро. Самый лучший пример неадекватного лечения – проект большой Ленинградки, глобальная идея снятия светофоров на этой трассе. Большая Ленинградка – это дорога, которая одним концом упирается в Манежную площадь, другим – в город Химки. Когда один наш английский коллега спросил по приезде в Москву, знают ли московские специалисты задачи про бассейны и трубы, в аудитории раздался нервный смешок. Его последующие рассуждения были просты как пареная репа. Ребята, у вас есть два жутко мелководных бассейна в двух концах трубы. Зачем расширять трубу?

5:20pm: об изобретателях парадигм
Нет, я всё-таки напишу. Страна должна знать своих героев.

Редактировал я тут недавно статью статью "Парадигма программирования" на Википедии. Ну, отредактировал и ладно. А через некоторое время решил по ссылочкам прогуляться. В том числе -- по ссылочке "Автоматное программирование".

И увидел я там шикарную фразу, которая меня вогнала в некоторый ступор. Фраза звучала так:

Автоматное программирование предложено А.А.Шалыто в 1991 году

Что характерно, в англоязычной части Википедии тоже обнаружилась статья про автоматное программирование. И там оказалось написано то же самое.

Особенно меня удивило то, что я уже лет пять студентам рассказываю, как использовать в событийно-ориентированных приложениях технику автоматного программирования, а сам эту технику использую примерно с года эдак 1992го (раньше я вообще программировать не умел, увы мне), но ни о каком Шалыто никогда почему-то не слышал.
( об изобретателях новых парадигм (очень длинно, извините) )

Короче говоря, я покамест готовлю статью для Википедии взамен той лабуды, которая там сейчас есть. Черновик можно посмотреть тут: http://ru.wikipedia.org/wiki/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:DrCroco/automata_programming Русский вариант практически готов, только добавить ссылок; нужен, подозреваю, ещё и английский, чтобы всё сделать одновременно. Смущает меня только одно: толпа шалытовских студентов хотя и не блещет аргументами, но всё-таки довольно многочисленна, и бодаться с ними в одиночку я уже подустал. Может, поможет кто? Приветствуется любое содействие -- как в виде прямого участия в том флейме, так и в виде ссылок на источники, и в виде привлечения внимания общественности к проблеме.

В конце концов, ну так же нельзя™

UPD: Статья была в итоге заменена на мой текст (как русская, так и английская). Шалыто меня напоследок кем-то там обозвал и, кажется, успокоился. Кто-то из его сторонников в итоге сделал статью с названием "Автоматное программирование (технология программирования)", что лично у меня возражений не вызывает. Правда, там так и осталось непонятно, чем это отличается от "просто автоматного программирования", но это уже к авторам статьи, не ко мне.

Очень надеюсь, что тему можно сдавать в архив.

1:26am: немного пиара
http://freemusic.livejournal.com/277541.html -- про РАО и то, как оно отстаивает интересы авторов

via alexkuklin

4:28pm: Требуется помощь клуба
Возникло у меня странное желание смотаться в Египет вот прямо щас (точнее, чтобы 19го улететь и 26, либо 27 утром вернуться). Поскольку я вообще опыта путешествий не имею, вопрос к более опытным товарищам: куда бежать, кому отдаться и во что это примерно встанет, если на двоих.

7:26pm: киберпанковское
Покупал себе намедни три пары аккумуляторов формата ААА. Купил.

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

Первая особенность зарядного устройства оказалась в том, что оно вообще-то на один аккумулятор. Несмотря на то, что прилагалось к паре.

Вторая особенность в том, что оно USB-шное.

Итого. Шесть аккумуляторов. Надо зарядить. Зарядников только три. Каждый зарядник требует USB-порта. Где я вам столько портов найду? Э.... нашел, всё в порядке. Комп пришлось оставить включённым на ночь, он, собака, зачем-то при выключении питания снял питание с ни в чём не повинных USBшек -- видимо, это всё от того, что я использовал не набортные порты, а карточку расширения. Ибо набортные заняты более важными делами, чем батарейки заряжать.

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

И ещё мне почему-то представляется, что сама по себе шина Universal Serial Bus, предназначенная вообще-то для обмена данными -- проживёт гораздо меньше. Лет через десять все забудут, зачем USB служил изначально и никто кроме geek'ов не вспомнит, накой хрен там проводов больше двух.

Примерно так, как сейчас дело обстоит с прикуривателями в автомобилях. Кое-кто уже и не помнит, почему эта хреновина называется "прикуриватель", ибо прикуривают все от зажигалок, оно удобнее. А кто-то и не курит вовсе. Зато формат штекера для чего только не применяется.

Здравый смысл курил в сторонке. Нервно. Потом скончался от безвременного рака лёгких. Или от нервов. Хрен его теперь разберёт.

8:00pm: Интеллект без собственности
В кои-то веки внятная статья про интеллектуальную собственность, причём написана не мной и даже не Столлманом :)

http://offline.computerra.ru/2007/708/339174/

1:24pm: Итоги года
Знаете, вы как хотите, а у меня прошедший год оставил какое-то удивительно позитивное ощущение. Год назад мне уже казалось, что я безнадёжно устарел, как динозавр, и ничем новым меня жизнь больше не порадует. И тут...

Сначала коньки.
Потом за руль посадили.
Далее летом встал на ролики.
Потом была пятёрочная река.
Наконец, уже совсем недавно -- горные лыжи.

Это вот ощущение первого раза -- оно какое-то правильное, что-ли. Не даёт закиснуть. Так что ещё подёргаемся, правда-правда.

Всех с наступающим!

10:52am: Очередной тест
( На какие статьи Википедии похож мой блог )

10:00am: тридцать три
Распнут или не распнут -- that's the question Пора что-то делать, жизнь-то уже прошла, оказывается, а я и не заметил.

2:49am: Википедия
Как же, оказывается, геморройно редактировать статьи в Википедии. Особенно если с нуля. И если надо дать толпу источников.

Тем не менее, статью "Парадигма программирования" я за вечер таки превратил из неуклюжего стаба в более-менее осмысленный текст.