June 24th, 2001

moose, transparent

ударим бездорожьем по попапам

qub предложил произношение: попапЫ. Тогда "по попапАм" достигает и даже превосходит анекдотное "ну и как Ока?".

В Израиле существует разновидность эмигрантского юмора с такими фразами, основанная на ивритских фразах с похожими свойствами. Навскидку вспонимаются две: "тарамта дам?" ("кровь сдавал?") с ответом непонимающего "русского" - "турумтудум".
Вторая: "тэтатэ этата" ("подмети камеру", напр. тюремную).

В английском ничего подобного не вспоминается.

Едут в гости к нам попы,
Чтоб пиарить попапы.
Мы разбойникам-попам
Надаём по попапам.
moose, transparent

ещё одна краткая версия

Наверное, это болезнь.

Сбирается Олег
Отмстить хазарам.
Их сёла за набег -
Спалить пожаром.
С дружиной и в броне
Он едет на коне.

Глядь - из леса к нему
Идёт кудесник.
Перуну одному
покорен вестник,
В мольбах провёл весь век.
К нему спешит Олег.

"Скажи мне, друг богов,
Всё в корне зрящий,
Когда на смех врагов
Сыграю в ящик?
Откроешь правду мне -
Уедешь на коне."

"Волхвам владыки - пшик,
И конь не нужен.
Правдивый мой язык
С богами дружен.
Я зрю твою судьбу:
Написана на лбу".

Всё, тут надоело. Желающие могут продолжить :) Такие упражнения, кстати, очень хорошо помогают прочувствовать разницу между двусложными и трёхсложными размерами.
moose, transparent

советская попса

В голове застряла песня "Кучкудук - три колодца". Застряла - это сильно сказано, ибо кроме припева не помню решительно ничего.

Решил найти слова. Искал. Гуглем и Яндексом.

Не нашёл.

Пойду спать от горя.
moose, transparent

памела-шамела

Ба! Александра Веселова отрецензировала "Памелу" Ричардсона! Вот тебе, lbyf, родственная душа.

Хотя это, может, тебе не понравится: "Так как с 18-го века Ричардсона никто, кроме Татьяны, не читал, придётся коротко пересказать суть."
  • Current Mood
    giggly giggly
moose, transparent

как мы ненавидим писать

Посвящается r_l.
Итак, как мы ненавидим писать?

  • Я ненавижу писать автобиографии.
  • Я ненавижу! Писать дневник! Но подчинилась...
  • Ненавижу писать всякие умные (или чаще всего тупые :)) тексты...
  • Ненавижу писать о себе, но, как говориться, "Надо Федя, надо" :)
  • Ненавижу писать на доску, но так уже тут со всех сторон обо мне говорят, что просто нельзя промолчать.
  • Пожалуйста, друзья-родители, вспомните материал, изложенный в предыдущих главах, потому что я перехожу к той части дисциплины, о которой, положа руки на сердце, я ненавижу писать.
  • Ненавижу писать инструкции.
  • А вообще, "терпеть ненавижу" писать о себе...
    Collapse )
moose, transparent

поэт в России - больше, чем поэт

moose, transparent

линус

Вообще-то Линус (который Торвальдс) - забавный человек. Вот случайно наткнулся на его объяснение того, почему он не любит отладчики в ядре. Это не объяснение, а прямо-таки психотерапевтический кейс, причём по Юнгу, а не по Фрейду. Или по Дерриде: те, кто доверяют дебаггерам - они Чужие. Они - другой этнос. Им доверять нельзя. Дружить с ними тоже нельзя, и помогать им никак нельзя. Поэтому отладчика в официальном ядре Линукса нет и не будет.

Ещё где-то он подробно объяснял (не находится так сразу), почему не любит source control и не станет пользоваться cvs'ом. Там ещё более махровые и сермяжные аргументы были. В результате сейчас, как я понял, ситуация такая: в кольце приближенных, через которых и так фильтруются почти все патчи,
махнули рукой и они держат свое собственное дерево cvs, куда всё подробно заносят. Но Линусу для официального ядра всё равно всё передаётся простыми диффами, а после каждого рилиза все исходники, полученные от Линуса, заносятся обратно в это дерево. Так и живут.
  • Current Mood
    amused amused
moose, transparent

не линкуй!

Хотите поставить линк на сайт австралийской компании Ансетт? (ой!). Если хотите, то придётся сначала заполнить это прошение (ай!), в котором вас просят указать: имя, адрес, телефон, адрес вашего сайта, каким бизнесом вы занимаетесь и как именно линк на Ансетт (ай-яй-яй!) будет инкорпорирован на вашем сайте.

Если вашу просьбу удовлетворят, тогда только можете ставить линк на их главную страницу (упс!), однако не просто так, а придерживаясь специальной лицензии (караул!), в которой, например, оговорено, что:


Subject to acceptance by Ansett of your Application, Ansett grants you a non-transferable, non-exclusive and revocable licence on these terms and conditions to establish and maintain a hypertext link from your web site to the Ansett Web Site home page only.

4 The format of the hypertext link to the Ansett Web Site home page is limited to the name of the Ansett Web Site in plain text (i.e., www.ansett.com.au). You must not use an Ansett trademark as a hypertext link.

5 You must advise Ansett of changes to your web site
You must advise Ansett within a reasonable time of any material change to your web site, including, but not limited to any material change to the nature of business conducted on or promoted by your web site.
moose, transparent

тюринговедение

Так, значит, выходит: утром лирические мысли, а вечером - физические. Такой сегодня день.

Некто talash напомнил/а о теме: способы "обойти" ограничения машин Тюринга, в частности, решить the Halting Problem (Шишков, прости...), используя разного рода "физические" трюки.

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

Imagine that I let you work with a black box,
with one input string and one output string, which purports to solve the
halting problem. You know that the black box entails an algorithm in the usual sense of a Turing machine, but you don't know what the algorithm is. You cannot then prove experimentally, by working with the black box, that it doesn't solve the halting problem (to be able in general to do that, you would have to be able to recursively enumerate nonhalting machines to find the one it misidentifies as halting - i.e. to be able yourself to solve the halting problem).

А недавно вот была другая статья, лектора с факультета философии здешнего Иерусалимского университета, о возможном решении halting problem с помощью общей теории относительности. Но и там по сути дела те же проблемы - он не понимает принципиальной важности верификации (точнее, возможности верификации), без которой просто нет причин доверять никакому физическому аппарату, который претендует на то, что он вычисляет нерекурсивную функцию.

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

Проблема опять-таки в полной невозможности математической формализации этого аппарата, в отсутствие которой нет причины верить в то, например, что неполучение сигнала вызвано именно тем, что алгоритм не остановился, а не тем, что сигнал потерялся по дороге. Т.е. и в обычных компьютерах сигналы могут теряться, но там мы знаем, что виновато "железо", а не математическая модель, которой мы доверяем; и возможность независимой верификации позволяет нам уменьшать риск ошибки, вызванный физическими причинами. А в этом аппарате "физические" причины и невозможность верификации - принципиальны: there's inevitable spillage of the mathematical into the physical.

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