July 2nd, 2007

knot

Программистское

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

Последовательно выяснилось следующее:

  1. Исправление бага требует полного переписывания этак процентов 60 кода. Помните, дети, что сказал Кнут: "Premature optimization is the root of all evil". То есть я слишком глубоко вовнутрь заложил раннюю и, как оказалось, вредную оптимизацию.
  2. После исправления бага часть новых тестов обрабатывается нормально. А часть нет. Расследование показало, что в алгоритме использовано не всегда верное предположение.
  3. Более глубокое расследование привело к контрпримеру: набору данных, для которого доказуемо, что никакой алгоритм не может привести к требуемому результату.

Решил поступить, как классический профессор математики у Пойа. Помните: "Если у вас не получается решить задачу, придумайте себе другую". Описал результат, который мой алгоритм даёт всегда, и именно его объявил требуемым.

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

А в остальном, прекрасная маркиза...

knot

Ещё из rec.humor.funny

Этот анекдот появился в rhf в первом квартале 1996 и был сегодня перепечатан в rec.humor.funny.reruns. Перевод мой. Оригинал, как утверждается, был услышан на воскресной проповеди и восходит к Чарльзу Суиндоллу (Charles Swindoll).

Жили-были два злых брата. Они были богаты и потому им удавалось грешить втайне. Они регулярно ходили в церковь и казались добрыми христианами.

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

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

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

Никогда не думал, что скажу это, но Collapse )