Discreet · and · discrete.

• Про лямбда исчисление
• Серебряная пуля есть
• Вред смешения парадигм
• Ссылки на обзор применения формальных методов в индустрии ПО

• Про REPL
• Стиль кодирования на Хаскеле
• Binary Decision Diagram на Хаскеле
• Построение комбинаторов синтаксического разбора
• Моделирование аппаратуры на Хаскеле

• Исходники модели машины динамического потока данных с сортировкой токенов
• Презентация про опыт моделирования аппаратуры

• Большой пост - большой комментарий.
• Небольшой пост - большой комментарий.
• Осмысленные комментарии предпочитаются шуточным. Я обсалютно серъезен.
• Я сразу же забаню человека, если я посчитаю, что он удалил комментарий для того, чтобы я не смог ответить. Исключение составляют ошибки разметки или информации.
• Пока больше правил нет.

Причины, по которым появились эти правила

Необходимость развернутых комментариев

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

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

Запрет на удаление комментариев

Надо проявлять себя во всем разнообразии.

И про Великую Отечественную: Есть достаточно оснований предположить, что причина поражений лета 1941 г. весьма проста: Красная Армия столкнулась с противником, на голову превосходившим любую другую армию мира в стратегическом и тактическом отношении, действовавшим в принципиально иной парадигме военного мышления. Вопрос «Почему план «Барбаросса» успешно осуществлялся в июне-июле 1941 г.?» оказывается аисторичен. Логичным вопросом в общем контексте событий было бы «Почему план «Барбаросса» перестал осуществляться с августа 1941?».

John Buckman from Magnatune clues us that the trailer for Iron Sky is available. We've been following the production for some time, as these are the same guys who brought us Star Wreck, the most successful feature-length Internet-distributed film of all time. That film was made by 3,000 people, has been downloaded 8 million times, is under a Creative Commons by-nd-nc license, and made good money both through DVD sales and through an eventual deal with Universal. Iron Sky is being made using Wreck-a-Movie — a collaborative film-making web site (also Creative Commons based) that grew out of the Star Wreck experience."

http://tech.slashdot.org/tech/08/05/06/2056208.shtml

По ссылке на слешдот - небольшое обсуждение на слешдоте. ;)

Сила искусства

В 1593 году театр лорда Стрэнджа давал "Доктора Фауста" в Экзетере. Спектакль шел замечательно, но посреди пьесы актеры и зрители обнаружили, что на сцене одним дьяволом больше, чем положено по штату. Представление прекратили, двери заперли, однако лишний черт так и не обнаружился.
Городские власти, рассмотрев дело, заявили, что причиной явления, вероятно, является высокое качество стихов и прекрасная актерская игра, приведшие к "непреднамеренной материализации одного из персонажей" - и порекомендовали актерскому составу освящать сцену перед представлением во избежание public confusion.

Эрл-чародей об алхимии

Сэр Генри Перси говорил, что алхимия (как и астрология) - не наука, а искусство, потому что результат зависит не от того, что и как делается, а от того, кто делает. Поэтому он изучал алхимические книги и тщательно осуществлял описанные в них процедуры. "Таланта к этому у меня нет, - говорил Перси, - так что если что-то получится у меня, оно будет доступно всякому". И действительно добился очень интересных результатов в области гидравлики.

!!!

"Морской ястреб" Хэмфри Гилберт, когда был при деньгах, всегда подавал нищим, не разбирая, шарлатан перед ним или настоящий бедняк. Когда случившийся рядом Кэрью указал ему на то, что он, скорее всего, подает жуликам, Гилберт ответил:
- Кто я такой, чтобы судить чужую беду?
Кэрью, удивляясь такому странному поведению, сказал:
- Наверное, ты хочешь, чтобы Господь обошелся с тобой так же...
Гилберт улыбнулся.
- Я живу, как мне нравится. Если Богу это нравится тоже, я могу только радоваться. Если нет - я никак не сумею переменить Его мнение. В любом случае, решать будет Он. Так о чем мне беспокоиться?
И бросил нищему еще монетку.

Сэр Хэмфри вообще был известен способностью формулировать. Когда его "Белку" затерло во льдах где-то за Ньюфаундлендом, и команда, поняв, что дело - табак, ударилась в панику, он спустился на палубу - прямо в толпу - застрелил в упор кого-то из особо громких паникеров и в образовавшейся тишине поинтересовался:
- Отчего крик? Что, по воде до Бога дальше, чем по суше?
Эвакуацию они наладили быстро, протянув тросы с других кораблей эскадры. Уйти не успело человек десять. Гилберт, когда его последний раз видели, сидел в кресле на мостике и читал книжку.