Не так давно В 2002-м году Олег Хлебников (SmokerMan) по моей просьбе исполнил "Песню о программистской молодости" на слова Юрия Нестеренко.

Когда мало кто знал, что значит Ctrl-Alt-Del,
Когда не каждый ребенок калькулятор имел,
А под словом "Паскаль" понимался обычно философ,
Еще не все перфораторы пустили на слом,
Но мы пришли в этот мир, и мы пошли напролом,
И не знали покоя от новых идей и вопросов.
( ... )
Слушаем prog.mp3 и дружно рыдаем... или не рыдаем.

UPDATE: To же в другой аранжировке и 192kBps.

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

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

DHCP клиент на десктопе принципиально не мог получить от мудема IP - нет оффера, хоть тресни. Перекидиваю соединение назад на лапоть - DHCP клиент моментально получает конфигурацию от модема, втыкаю снова в десктоп - фигу. Стап сравнивать конфигурацию ядра на десктопе - может, перехимичил где. Практически прошелся по каждому пунктику, перепроверил все и вся - должно работать, а не работает. Думаю, может сетевуха так хитро сдохла, что делает вид что работает, а на деле нет. Подключил модем через USB - на лапте работает, на десктопе нет. В общем, втыкал модем и так и этак с неизменным результатом часа 2. Ну все, думаю, пора выкидывать свой диплом по CS на помойку, ибо в компах я нихрена не понимаю.

( И тут меня осенило! )

мапл все-таки ужасен своими багофичами:

> assume(x,complex);

> evalb( Re(x) = (x+conjugate(x))/2 );
false

> simplify( Re(x) - (x+conjugate(x))/2 );
Re(x)-1/2*x-1/2*conjugate(x)

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

В какой-то момент Кен показал на дверь кабинета со словами «А здесь сидит чудак, который думает, что на его языке будет программировать весь мир». Табличка на кабинете гласила, естественно, «Б. Страутсруп».
и т.п.

Статья в чем-то перекликается с его прошлогодним интервью и "Песней о программисткой молодости".

via

UPD. История "Каиссы" и биография Донского.

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

sum((-1)^t*binomial(s,t)*binomial(s-t,k)^2,t=0..s);

А на вид такая простенькая...

Свалилась такая рекламка - может, кому-то интересно:

В России официально открылась первая социальная сеть для ИТ-специалистов и разработчиков http://www.ITcommunity.ru. ITcommunity.ru является централизованным ресурсом для айтишников, где можно хранить не только личные данные и контакты друзей, но и объединяться в группы по интересам, заводить новые блоги или зеркалировать уже имеющиеся. и т.д. и т.п.

Официальные представители Microsoft со стыдом признали, что поправка, выпущенная на прошлой неделе для устранения уязвимости в Excel 2003, приводит к неправильным вычислениям в электронных таблицах.

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

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

Вести с численных фронтов:

351276975 ⋅ 2¹⁷¹⁹ + 1 делит F₁₇₁₀

Забавно: если на официальном сайте MathCAD запретить куки и попробовать поискать что-то (через верхнее меню и поле Search), то поиск вылетает с такой ошибкой:

VelocityViewServlet : Error processing the template
Invocation of method 'getHeader' in class com.ptc.fast.HtmlIncludes threw exception class java.lang.NullPointerException : null
java.lang.NullPointerException

Писаки, чувствуется, еще те сайт разрабатывали...

Очередная находка в проекте Seventeen or Bust - новое простое число

33661 ⋅ 2^7031232 + 1

Интересно, что это число было найдено в результате перепроверки, что доказывает важность этой процедуры. Число содержит 2116617 десятичных цифр и на данный момент завершает десятку самых больших известных простых чисел. Оно выкидывает 33661 из списка кандидатов на роль минимального числа Серпинского, оставляя лишь 6 кандидатов для дальнейшей проверки: 10223, 21181, 22699, 24737, 55459, 67607.

x-posted to ru_math

Так вот кто, оказывается, стоит за IE7:

По наводке tiphareth трилогия о ботнетах:
Is your computer a criminal?
Virus gang warfare spills onto the Net
Who's behind criminal bot networks?

Поучительная цитата:

“Particularly in more advanced applications of Mathematica, it may sometimes seem worthwhile to try to analyze internal algorithms in order to predict which way of doing a given computation will be the most efficient. And there are indeed occasionally major improvements that you will be able to make in specific computations as a result of such analyses.
But most often the analyses will not be worthwhile. For the internals of Mathematica are quite complicated, and even given a basic description of the algorithm used for a particular purpose, it is usually extremely difficult to reach a reliable conclusion about how the detailed implementation of this algorithm will actually behave in particular circumstances.”

(отсюда via malbblog)

Очередная веха в проекте Seventeen or Bust: найдено простое число

19249 ⋅ 2^13018589 + 1

которое:
1) выкидывает 19249 из списка кандидатов на роль минимального числа Серпинского, оставляя лишь 7 кандидатов для дальнейшей проверки: 10223, 21181, 22699, 24737, 33661, 55459, 67607.
2) имеет длину 3918991 десятичных цифр и, таким образом, попадает в десятку самых больших известных простых чисел - аккурат на 7-е место, сразу за 39-м простым числом Мерсенна.

X-posted to ru_math

Посмотрел "Хоттабыча" и узрел там до боли знакомый код ассемблера z80:

Начал копать что и откуда - и обнаружил, что меня опередили. Порадовало, что показали код реального бота (хотя и древнего).

По поводу самого фильма: по началу смотрится неплохо, есть несколько оригинальных и прикольных находок, но к середине фильма создатели выдохлись, а концовка так вообще бредом выглядит. В общем, один раз посмотреть можно (на torrents.ru).

Сообщение feuerbach, а затем и avva, о проекте ProjectEuler сподвигло меня описать развлекательные ресурсы для тех, кто дружит с математикой и/или программированием. Сразу хочу сказать, что я отнюдь не разделяю особых восторгов по поводу ProjectEuler - проект как проект, в чем-то повторяющий уже существующие (см. ниже), впрочем ничего против него я тоже не имею (кроме разве что относительной бесполезности).
UPD. Еще один похожий проект Puzzleup (thx yuv_k)

Начну со знаменитых программистких сайтов, где идут непрерывные соревнования. С алгоритмическим уклоном - это, во-первых, конечно же, старожитель Online judge System в университете Valladolid в Испании, задавший тон многим другим подобным сайтам; далее наши отечественные Timus Online Judge в Уральском университете и Online Contester в Саратовском университете. На этих сервисах очень много интересных алгоритмических задач, а в последнее время они так же предоставляют желающим площадку для проведения своих собственных тематических соревнований (например, было несколько соревнований с теоретико-числовым уклоном).
UPD: Еще два подобных сайта с интересными задачами: польский Sphere Online Judge (SPOJ) и отечественный El Judge в МФТИ (thx jerom).

Соревнования с большим уклоном на качество программирования и отладку - это знаменитый TopCoder (с денежными призами) и отечественный аналог Test-The-Best. Соревнования на этих сайтах состоят из двух фаз: написание своего решения и попытки "завалить" чужие решения (исходный код чужих решений становится виден на этой фазе), за то и другое начисляются очки.

На стыке математики и программирования находятся многие задачи на сайтах Can You Find? и PrimePuzzles, сложность варьируется вплоть до гипотез и открытых проблем.

"Крутые" оптимизационные задачи комбинаторного характера решают в рамках Al Zimmermann's Programming Contests (с денежными призами), каждое соревнование здесь длится несколько месяцев и дает шансы вволю на наоптимизировать свою программу и/или привлечь существенные вычислительные ресурсы.

Безусловную пользу принесет пополнение On-Line Encyclopedia of Integer Sequences (OEIS), которую многие ученые успешно используют в своих исследованиях. Там есть много последовательностей с флагом "more", нуждающихся в пополнении новыми членами. Сложность варьируется от простых последовательностей, допускающих решения в 1-2 строчки и секунды времени, до state-of-art последовательностей, где вычисление нового члена вполне потянет на статью в журнале (известный пример: число латинских квадратов порядка n). Для обзора последовательностей удобно пользоваться web-камерой, где нужно указать "Sequences Needing More Terms", и камера будет показывать такие последовательности одну за другой. Надо лишь выбрать понравившуюся последовательность, вычислить новые члены и отослать их через специальную форму.
Вот выборка некоторых задачек из OEIS, которые мне показались нетривиальными и приподъемными одновременно.

Любителям порешать математические олимпиадные задачи (в том числе и задачи уровня международных олимпиад, исследовательские и открытые проблемы) рекомендуется форум MathLinks. Еще один похожий форум, но с большим теоретико-числовым уклоном - Problems in Elementary Number Theory (теперь уже стал подфорумом MathLinks). Из русских сайтов хорошие олимпиадные задачи обсуждают на научном форуме dxdy.ru. Еще один источник интересных задач разной сложности - Problem Of The Day канала #math в IRC-сети EFNet.

См. также: статьи в Компьютерре Математические развлечения в Сети (авторства knop) и Занимательная математика в эпоху хайтека.

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

Стартовали новый проект по факторизации. На этот раз факторизуем число (2⁵⁵⁷-3)/311 алгоритмом SNFS.
Если кто-то захочет помочь машинным временем - буду только рад. Процесс почти полностью оптимизированный.

UPD: 2⁵⁵⁷ - 3 = 311 * 1382972877684884284017852193920677515781 * 1873756573036794605530493226302479106157539654182725341588309 * 585356389768491688773201608466126717718795190502554914926834654451