рисунки на асфальте

Очень хорошие.



Здесь ещё несколько.

Update: Ещё в том же духе.

пасхальное яйцо майкрософта

Да, правда:

( неприличное русское двустишие внутри файла из Microsoft Office 2002 )

Файл называется cdrimp32.flt, это фильтр импорта файлов Corel Draw для Powerpint.

Забавно.

бесплатный хостинг

Жители Америки и Канады:

http://www.1and1.com

Большая веб-хостинговая фирма устраивает promotion. Три года бесплатного хостинга: 500Mb места, 5Gb/месяц траффика, всё остальное вроде бы на уровне, подробности на сайте. Никакой рекламы/обязательств на будущее/ничего такого, "no strings attached", как говорят американцы, не нужно даже им номер кредитки давать, если не платите за домен или дополнительный траффик. Спешите — предложение в силе до 21-го января!

А мы тут без вас погрустим — нам такое никто не предлагает.

ещё раз о hypercomputation

Пару дней назад я попросил Мартина Дэвиса прислать мне копию его статьи о гипервычислениях (ещё не опубликованной; она появится в томе Turing Festschrift). Он прислал, и вот я прочитал сегодня. Хорошо и правильно всё написано (Дэвис — убеждённый противник всей этой области, он считает, что за этими статьями и книгами кроются только недоразумения и ошибки авторов, и я в этом с ним совершенно согласен), но недостаточно, на мой взгляд. Дэвис в основном пишет о наивности предположений о том, что можно использовать в качестве физических параметров вычислительной системы величины, заданные точными действительными числами (дело тут в том, что с помощью точных действительных чисел можно тривиальным образом закодировать любую функцию, как Тюринг-вычислимую, так и нет, и поэтому то, что с помощью такого гипотетического механизма "вычисляют" невычислимые функции — малоинтересная тавтология, хоть авторы соответствующих статей и не понимают этого, по-видимому). Он лишь мельком упоминает гораздо более глубокую, на мой взгляд, проблему природы понятия вычисления (и вычислимости) вообще; именно для прояснения этих вопросов, по моему убеждению, полезно исследовать такие вот попытки "гипервычислений". Они тривиальны и малоинтересны в смысле недостижения заявленной цели, но интересны тем, что помогают "от противного" понять и сформулировать важные принципы и ограничения в философии вычислимости.

Я писал об этом несколько раз в прошлом —
http://www.livejournal.com/users/avva/53278.html (два с половиной года назад, ох, как давно, оказывается)
http://www.livejournal.com/users/avva/516930.html (год назад примерно)
http://www.livejournal.com/users/avva/533830.html (тоже год назад, тут всего несколько ссылок)

Там, (правда, совсем вкратце) есть несколько слов о том, что я думаю по этому поводу. Если бы я не был таким ужасным лентяем, попробовал бы написать статью на эту тему (в голове намного больше засело, чем я тогда написал, и вспомнится, наверное) и послать куда-то. Не знаю... у меня есть свои сомнения по поводу ценности этого материала, но, может быть, стоило бы попробовать его вылить в ясную и приличную форму. Где только взять время и дисциплину для этого? Боюсь, ничего из этого не выйдет, и через год-полтора, зацепившись взглядом за очередной материал в этой области, я напишу ещё одну запись на эту тему, и дам ссылку сюда...