Croco's mind flow

The end

Thu, 13 Mar 2008 17:24:02 GMT

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

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

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

LiveJournal has died today. RIP.

Записки начинающего бармена

Wed, 12 Mar 2008 21:23:20 GMT

В порыве вдохновения смешал в равных долях джин и мартини. Прикольно.

Таки оказался я в чьём-то кадре с RMSом

Sat, 08 Mar 2008 15:52:46 GMT

Респект неизвестному автору (сам не понял, как на его альбом набрёл).

На второй фотке запечатлён исторический момент: RMS подписывает мне стикер. На стикере он написал "Happy hacking" :) А вот, собственно, и сам стикер:

UPD: автор первых двух фоток нашелся, это rismafia

Антирелигиозное

Tue, 04 Mar 2008 17:14:03 GMT

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

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

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

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

RMS

Mon, 03 Mar 2008 11:04:56 GMT

http://www.fsf.org/events/moscow20080303

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

политическое

Wed, 20 Feb 2008 16:32:49 GMT

Я — против всех!
Голосовать

ассоциации от dmarck

Sat, 16 Feb 2008 22:03:36 GMT

Продолжаем флешмоб

(не-юношеский) максимализм

Спасибо хоть за оговорку.

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

Ну и ещё один момент. Я вообще-то перфекционист, это как раз вполне известно. Ну а в известном смысле перфекционизм -- это тоже максимализм. Частный случай.

парашюты и все связанное с ними

О, тут всё просто. Известно, что жизнь сугубо бессмысленна, и что это вообще-то не должно быть проблемой. Но если бессмысленность жизни, вопреки здравому смыслу, вдруг начинает угнетать -- то надо просто поехать на аэродром.

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

Даёшь свободу волеизъявления!

либертарианство

Это слово впервые я услышал в 1993 году в relcom.talk от религиозного фанатика. Он, сцуко, расшифровывать слово (которое сам он считал ругательным) отказался. А следующее свидание с этим словом состоялось уже в 1997 году, когда я работал на DataForce.

Что сказать по этому поводу? Кое-что я уже сказал: http://croco.livejournal.com/109121.html

spamers must die!

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

Если подумать, именно проблема спама сподвигла меня в 1997-1998 гг. на анализ ситуации со свободой слова и заставила сформулировать (сначала для себя, потом и для публики) понятия свободы информационного обмена и (комплементарно к нему) информационного насилия.

Надо бы как-нибудь диссертацию сбацать на эту тему. По философии.

наука важнее бизнеса

Ни фига она не "важнее", кстати. Просто бизнес -- штука довольно-таки однобокая, в бизнесе мир одномерный, и единственная координатная ось проградуирована в денежных единицах.

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

В этом плане академическая среда полностью противоположна среде бизнеса. И только она способна как-то уравновесить маркетоидское мракобесие, во всяком случае если речь идёт о технических секторах человеческой деятельности (включая и IT).

С другой стороны, я глубоко убеждён, что мелкий бизнес (частные предприниматели и фирмочки на десяток человек) -- это самая важная часть экономики. Удовлетворить непосредственные потребности населения могут только они.

Названы очередные лауреаты премии Тьюринга

Fri, 15 Feb 2008 21:17:13 GMT

http://www.acm.org/press-room/news-releases/turing-award-07

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

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

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

флешмоб с годом

Wed, 06 Feb 2008 20:56:39 GMT

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

Итак, 1992й. Гм, Майкл знал, что выдать.

Что тут, собственно, сказать? Начну с начала. Было мне тогда 17 лет, и я думал, что ужас какой уже взрослый. Работал в ДНТТМ лаборантом при компутерном классе. Кружок по Паскалю вёл. И, между прочим, именно в начале того года "утвердил" себе прозвище "Крокодил". То есть обозвали меня так несколько раньше, в конце 1991го, а в 1992м где-то весной я всем, кто не врубился, заявил, что таки да, именно так меня и можно называть. Официально принял, что называется, сей статус :-)

Ещё к началу 1992 года относится неразделённая любоффф (ой, хнык, хнык). То есть она началась тоже в 1991м, а в 1992м уже прочно получила статус неразделённой, по каковому поводу я тогда страдал и сох, как положено :)

Из весны того года примечательна весенняя поездка в Симеиз с ДНТТМовской группой, из которой особенно запомнилась пешая вылазка в составе группы из четырёх человек, включая руководителя, по айпетринским склонам. Шли, помнится, по колено утопая в снег и голые по пояс, ибо жарко было. Водопад Ченсу видели. Да-с.

Потом -- лето. Поступление в МГУ. Между делом, это была третья попытка. Надёжная добротная четвёрка по "математике-письменно" и выцарапанная когтями и зубами пятёрка по "математике-устно", что означало в те времена досрочное поступление. Как я тогда эти устные задачки щёлкал -- что-то с чем-то, сейчас так не умею.

Потом был август и поездка в Лисью бухту. С мамой :-) А там, в Лисьей бухте, я познакомился (меня познакомили, так точнее будет) с девушкой, про которую через без малого 15 лет напишу вот такую ностальгическую телегу. Старая неразделённая любофф испарилась, чтобы уступить место новой, ага.

Затем -- сентябрь, начало занятий в МГУ. Знакомство с группой. Как сейчас помню, сразу заприметил среди своих "новых товарищей" одну девицу, но заприметил так, как бы, просто отметил. Потом она стала моей третьей неразделённой любовью, самой из них из всех травматичной, но было это уже в 1993м. А пока -- матан, линал, паскаль на страшных-престрашных роботронах (Паскаль-то я знал давно, но нового всё равно много узнал :), впервые попробованное пиво. Скачкообразное расширение среды общения (ё-моё, да тут все такие). Первое, оно же чуть ли не на год последнее свидание :-) Вечеринки с танцами (группа дружная попалась).

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

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

зверрррское

Wed, 06 Feb 2008 20:11:43 GMT

Под катом --

лыжный дыбр

Wed, 06 Feb 2008 14:52:18 GMT

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

Интересно, что у меня вообще-то есть всего два маршрута для лыжных прогулок, Аникеевка--Малино и Снегири--Радищево. Оба мне матушка показала лет пятнадцать назад. Ещё интереснее то, что на маршруте Снегири--Радищево я не был лет этак по меньшей мере семь, если не больше: каждый раз, когда меня хватало на то, чтобы взять лыжи и ломануться, всегда оказывалось, что времени на "дальний" и "длинный" маршрут нету и я всё время ограничивался "ближне-коротким".

Но в этот раз я как-то так вспомнил, что когда я крайний раз (два года назад) прошелся от Аникеевки до Малино, мне там не понравилось: слишком много появилось всяких дачных посёлков там, где раньше ничего не было, заборы какие-то встали поперёк дороги и всё такое. Короче, поехал я до Снегирей.

Поскольку на вечер были запланированы некие дела и требовалось не позже 18:00 быть дома, я заложил с некоторым запасом по три часа на добирание в каждую сторону и пять часов на собственно маршрут (ибо совершенно не помнил, какое там расстояние и как оно проходится, помнил только какие-то слова про 25 км.) Так что встать пришлось в шесть утра, в семь стартовать.

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

Маршрут я, по правде, прошел несколько быстрее, чем планировал, да он и оказался короче, чем я думал. По GPS между его крайними точками примерно 17 км, причём первые 10 км от Снегирей -- это практически идеальная прямая, до пересечения с оживлённой автотрассой. Вот после означенного пересечения начинается изрядное виляние, но и с учетом такового вряд ли общая длина маршрута сильно превышает двадцатку.

С погодой повезло, светило солнце, даже рожа обгорела. Лыжня так себе, раздолбанная, а во многих местах перепаханная снегоходом (отстреливать уродов нахрен).

Теперь собственно главный попадос :) На пл. Радищево я вышел без чего-то два. И тут меня подстерегало осознание, что есть вообще-то электричка в 14:24, но она только по выходным, а так ближайшая будет аж в 15:53.

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

Глядя на оный костерок, я с удивлением сообразил, что впервые в жизни развожу костёр в зимнем лесу. То есть в летнем лесу -- сколько угодно; более того, и зимой греться у костра неоднократно приходилось, но всякий раз разводил его кто-то другой. Каких только не бывает дел :-)

Связки болят, что не удивительно. Левый ботинок лопнул (и то сказать, больше десяти лет прослужила снаряга). Доволен.

И, кстати, ни фига этот маршрут не длиннее, чем от Аникеевки до Малино. Во всяком случае, субъективно.

they must be mad

Sat, 02 Feb 2008 20:24:36 GMT

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

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

Шиза косила наши ряды

Sat, 02 Feb 2008 19:30:06 GMT

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

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

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

пропробки

Wed, 30 Jan 2008 20:00:19 GMT

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

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

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

об изобретателях парадигм

Tue, 22 Jan 2008 15:58:49 GMT

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

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

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

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

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

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

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

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

Уважаемый Анатолий Абрамович!

Я работаю на факультете ВМиК МГУ, занимаюсь практическими
методами сочетания разнородных стилей программирования.

Редактируя статью "Парадигмы программирования" для Википедии, я
наткнулся на статьи, посвященные парадигме автоматного
программирования и лично Вам:

http://ru.wikipedia.org/wiki/%D0%A8%D0%B0%D0%BB%D1%8B%D1%82%D0%BE
http://ru.wikipedia.org/wiki/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5
http://en.wikipedia.org/wiki/Automata-Based_Programming
http://en.wikipedia.org/wiki/Anatoly_Shalyto

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

Заранее признателен за ответ.

С уважением,
--
Андрей Викт. Столяров
ВМиК МГУ

Через несколько дней я получил ответ, от которого моя челюсть отпала ещё сильнее:

    Андрей Викторович!

    Указанные статьи написаны с моим участием - поэтому с ними
    согласен.
[...skip...]

Ещё продолжая надеяться на лучшее, я сочинил второе письмо. Привожу его
текст целиком:

Уважаемый Анатолий Абрамович!

Ваше письмо привело меня в состояние крайнего удивления.

Дело в том, что программирование в стиле конечных автоматов
(statemachine-based programming) известно по меньшей мере с
середины 1960х годов. Во всяком случае, в известной книге Ахо и
Ульмана "Теория синтаксического анализа, перевода и компиляции"
оно уже активно используется, а английский оригинал этой книги
вышел в 1973 году -- причем книга представляет собой не
оригинальное исследование, а скорее обзор имеющихся результатов.
В русском переводе (М.:МИР, 1978) на стр. 295 в первом томе можно
найти, например, следующее примечание:

<<<<<<<<<<<<<<<<<<<
первой большой системой, в которой при построении лексических
анализаторов использовалась техника конечных автоматов, была
система AED RWORD. Обзор этой системы дан Джонсоном и др. [1968].
Томпсон [1968] приводит алгоритм, который по регулярному
выражению строит программу в машинном языке, моделирующую
соответствующий недетерминированный конечный автомат...
>>>>>>>>>>>>>>>>>>>

В библиографии при этом имеются следующие ссылки:

Томпсон [1968] (Thompson K.) Regular expression search algorithm,
Comm. ACM, 11:6, 419-422

Джонсон и др. [1968] (Johnson W. L., Porter J. H., Ackley S. I.,
Ross D. T.) Automatic generation of efficient lexical processors
using finite state techniques, Comm ACM, 11:12, 805-813

Я не проводил специальных исследований на эту тему, но
практически уверен, что и эти люди не были первыми, кто применял
"технику конечных автоматов" или, если угодно, парадигму конечных
автоматов в программировании.

Должен отметить также, что мышление в терминах конечных автоматов
(или в терминах машин состояний, что практически то же самое)
характерно далеко не только для теории трансляции.  Машины
состояний (и разбиение кода программы на обработчики отдельных
состояний) -- это основная техника, применяемая в
событийно-ориентированном программировании (которое, опять таки,
восходит к середине 1970х, к Smalltalk'у, и сейчас применяется
при реализации серверных программ как альтернатива обслуживающим
процессам и тредам); насколько мне известно, в криптографии
работа в терминах явных состояний тоже достаточно популярна.

Я готов допустить, что возглавляемая Вами исследовательская
группа под "автоматным программированием" понимает нечто отличное
от "программирования в терминах конечных автоматов", чем и
обусловлено утверждение о том, что "автоматное программирование
предложено А.Шалыто в 1991 году". Следует отметить, однако, что
подобные особые случаи применения терминологии должны быть
оговорены в явном виде, особенно если учесть энциклопедические
традиции Википедии и действующие там (заметим, явно
сформулированные и опубликованные) правила.

В список парадигм автоматное программирование включил не я,
статья "Парадигма программирования" исходно существовала в виде
stub'а, и там эта ссылка уже была. Я предполагал, что по ссылке
описывается именно то, что обычно подразумевается под парадигмой
автоматного программирования, и был крайне озадачен, обнаружив
там то, что там сейчас есть.

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

Один из вариантов -- сделать страницу "Автоматное
программирование" страницей disambiguation, то есть указать, что
термин "автоматное программирование" имеет различные значения.
Вопрос здесь в том, как назвать предложенную Вами методологию
(так, чтобы название отличалось от "Автоматное
программирование"). Это может быть что-то вроде "Автоматное
программирование (switch-технология)" либо "Автоматное
программирование (методология Шалыто)", либо что-то ещё. Хотелось
бы узнать Ваши пожелания на эту тему.

С наилучшими пожеланиями,
А. Столяров

Ответа на сей раз пришлось ждать чуть дольше, но он всё-таки воспоследовал.

Сильно Вас благодарю, что Вы "не машите шашкой", а
интерсуетесь моим мнением.

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

Пока четыре замечания.
1. Непейвода Н.Н. в своих первых книгах этот стиль называл
программирование от состояний, а теперь называет автоматное
программирование и считает, что "Термин "автоматное программирование"
принадлежит, насколько нам известно, А.А. Шалыто. Во всяком случае, ему
принадлежит заслуга его развития вопреки моде и мнению
большинства".(http://www.intuit.ru/department/se/progstyles/9/1.html)

Так, что если мне принадлежит не парадигма, так, по крайней
мере, ее название.
2. Где вы найдете так сформулированную парадигму:" Парадигма автоматного
программирования состоит в представлении программ как систем
автоматизированных объектов". http://ru.wikipedia.org/wiki/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BD%D0
%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%
B2%D0%B0%D0%BD%D0%B8%D0%B5
Это построение программ в целом, а не только применение
автоматов для описания поведения программ.

Под термином "автоматное программирование" понимается не построение и
реализация конечных автоматов, а проектирование и исполнение программ в
целом, поведение которых описывается автоматами.
http://is.ifmo.ru/reflections/automats/

3. Важно не кто первый что-то где-то предложил, а кто певым
предложил это сделать методологией. Например, в книге "100
выдающихся людей" приведен пример с мытьем рук перед операцией.
Кто первым это предложил неизвестно, а кто стал это читать в
медицинских институтах и ввел в обязательную практику хорошо
известен (посмотрю, сейчас не помню).
4. Аналогичные доводы я уже слышу много лет (частичный ответ
здесь http://ru.wikipedia.org/wiki/Switch-технология раздел
1.7).

Потом напишу еще доводы.

Если это Вас убеждает или нет,в любом случае очень хотел бы прочесть Ваше
мнение.

С уважением, Шалыто

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

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

На странице обсуждения вот тут: http://ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 разгорелся нешуточный флейм. Интересно, кстати, что я практически сразу заметил одну интересную особенность: вся, казалось бы, изрядная толпа моих оппонентов состоит исключительно из шалытовских студентов. Ну, и сам он там пару раз отметился.

Доводы их сводятся в итоге к одному: якобы под автоматным программированием следует понимать (они вообще заявляют "понимается") не программирование в терминах конечных автоматов, а именно вот эту вот методологию, предложенная Шалыто. То, что никто кроме самого Шалыто и его студентов этого не знает, их нимало не смущает. Ну и, естественно, это для них достаточный повод заявлять, что именно Шалыто и придумал автоматное программирование (не уточняя при этом, что конкретно имеется в виду). Разумеется, их не смущает и то впечатление, которое эта фраза вызывает у людей, с группой Шалыто до сей поры не сталкивавшихся.

А что она такое впечатление вызывает -- это к бабке не ходи. Вот сходу нашлось: http://www.cyberforum.ru/programming-theory/thread604.html

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

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

Каждая из этих моделей поведения представляется отдельной процедурой, а вызов процедур определяется "автоматом" примерно такого вида:

режим = ОТДЫХАТЬ;
switch(режим)
{
case ОТДЫХАТЬ: fun_REST(); break;
case ИСКАТЬ: fun_SEARCH(); break;
case АТАКОВАТЬ: fun_ATTACK(); break;

// а здесь идёт логика переключений
if(враг рядом) режим = АТАКОВАТЬ;
if(голодный) режим = ИСКАТЬ;
в противном случае режим = ОТДЫХАТЬ;
};

Эта, наверняка многим известная методика описана в куче книг и представляется почти что народной. Однако судя по статье (равно как и по куче других ссылок в инете) данный подход был изобретён лишь в 1991 году (!), к тому же в России.

Если честно, отказываюсь в это верить. Безусловно, перечисленные в статьи люди сделали очень много для развития этого подхода; им принадлежит творческое его развитие и авторская реализация разных систем программирования, но всё-таки... это же классика.

А теперь внимание, вопрос. Может ли кто-нибудь указать на (1) более раннее описание сходной техники; (2) определить название того, как это называется ("автоматное программирование"?) и когда этот термин появился (со ссылками, разумеется); (3) привести примеры использования данного подхода (не моделирования обычных конечных автоматов -- это любой движок регулярных выражений делает) в сравнительно старых проектах?

(хммм... по указанному адресу цитата уже исчезла, но вот копия в кеше гугла: жать сюда) Интересно, куда это в самый ненужный момент цитаты деваются?

Дальше -- больше. Обнаружились вполне академичные статьи некоего Б.Кузнецова, который тоже интересуется автоматным программированием, с Шалыто знаком, даже не просто знаком, а соавторствовал в нескольких статьях, но, судя по тексту статьи, изобретателем автоматного программирования Шалыто не считает, как и 1991 -- годом, когда его изобрели. Статья вот тут: http://www.softcraft.ru/design/ap/ap01.shtml Автору я сегодня послал письмо, но ответа пока нет.

Короче говоря, я покамест готовлю статью для Википедии взамен той лабуды, которая там сейчас есть. Черновик можно посмотреть тут: 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: Статья была в итоге заменена на мой текст (как русская, так и английская). Шалыто меня напоследок кем-то там обозвал и, кажется, успокоился. Кто-то из его сторонников в итоге сделал статью с названием "Автоматное программирование (технология программирования)", что лично у меня возражений не вызывает. Правда, там так и осталось непонятно, чем это отличается от "просто автоматного программирования", но это уже к авторам статьи, не ко мне.

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

немного пиара

Fri, 18 Jan 2008 22:28:09 GMT

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

via alexkuklin

Требуется помощь клуба

Thu, 10 Jan 2008 13:31:24 GMT

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

киберпанковское

Sat, 05 Jan 2008 16:41:04 GMT

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

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

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

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

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

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

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

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

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

Интеллект без собственности

Wed, 02 Jan 2008 17:03:26 GMT

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

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

Итоги года

Mon, 31 Dec 2007 10:35:15 GMT

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

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

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

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

Очередной тест

Tue, 25 Dec 2007 07:54:15 GMT

Статьи русской википедии, наиболее похожие по частоте слов на блог croco v. 0.4

Абсентеизм, Салазар, Антониу де, Рынок, Кацап, Переменная (программирование), Литературные жанры, Эмпедокл Акрагантский, Том Бомбадил, Хакер, Тест Тьюринга, Язык, Эпос о Гильгамеше, Интерфейс, Атом, С глаз — долой, из чарта — вон! (фильм), Культура, Пиндар, Алхимия, Вики, Интернационализм (политика)

(c) stanislav_mikov
А какие статьи похожи на ваш блог???

тридцать три

Tue, 25 Dec 2007 07:02:47 GMT

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

Википедия

Fri, 21 Dec 2007 23:52:34 GMT

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

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

InteLib 0.6.10

Mon, 17 Dec 2007 23:50:17 GMT

Наконец-то собрался и снабдил Doxygenовыми комментами все классы InteLib'а и большинство его методов. Ну и по мелочи там пара фиксов, тут ещё пара, более-менее набралось изрядно. Окончательно определился с именами "умных указателей", так что пришлось в итоге три класса переименовать (SStream, LContext и SchContext теперь называются SStreamRef, LContextRef и SchContextRef).

Инджой.

Опять первый раз

Mon, 17 Dec 2007 19:22:59 GMT

Между тем, меня вчера поставили (прямо-таки инсталлировали) на горные лыжи. Взяли, можно сказать, за жабры, отвезли в Сорочаны, подобрали лыжи в аренду, объяснили, что тормозят плугом, другом и дубом, но лучше всё-таки плугом -- и спустили ~~с лестницы~~ с горы.

Первый и второй спуск у меня состояли из сплошных остановок -- то есть "чуть вниз, теперь вираж -- и стоять, стоять, пока не поздно". На третьем дошло, что, похоже, ситуация-то уже под контролем, как это ни странно -- и началооооось :)

Итого -- три часа, примерно 15 спусков, два падения, море кайфа, болят мышцы и душит жаба (блин, 1500+ р. за одну только аренду снаряги). Подъемники тоже, конечно, дорогие, 70р за подъем -- не фунт изюма, но это, по большому счету, можно пережить. То есть переживем, не денемся никуда. А вот снаряга должна быть своя.

Вообще интересный у меня год получился. В феврале меня поставили на коньки, в июле -- на ролики, в августе взяли на пятёрочную реку и чуть не утопили, теперь вот ещё и горные лыжи. Да, кстати, ещё меня в марте за руль посадили. Осталось ещё к дайвингу приобщиться. И B.A.S.E. прыгнуть. Ну и права получить, блин :)

Никто б/у горнолыжное снаряжение не продаёт?