[Музей программирования ]
Главная » 2015 » Сентябрь » 10 » Петя Митричев компилирует исходники только для того, чтобы обнаружить баги в компиляторе
07:49
Петя Митричев компилирует исходники только для того, чтобы обнаружить баги в компиляторе
Сходил сегодня на финал международного Чемпионата по спортивному программированию Russian Code Cup 2013, организованного Mail.ru. Ничего себе mail.ru себе новый офис отгрохал, 23+этажа. Из них половина пока пустая, и готовы принять еще полторы тыщи программистов. Если бы я не непереносил бы категорически любую офисную клаустрофобию, пошёл бы к ним наниматься хоть в рядовые кодировщики, так понравилось.Дмитрий Гришин, основатель mail.ru, зачётный товарищ -- в свитерке :) , и весьма скромный такой, совсем без понтов.Единственная девушка выступила очень достойно.3d-принтингПока шёл финал, выступали разные айтишные "гуру". В промежутках же народ развлекали фокусник Саймон Пьеро (классическая микроманипуляция, но с использованием айпадов; типа, на экране пиво выливается в реальную кружку) и "диджитал-маг" Марко Темпест (тоже манипулятор + аугментированная реальность). Кому интересно, можете посмотреть их выступления, уже всё выложено вот тут: http://russiancodecup.ru/Меня звали в "наградительный комитет mail.ru", вручить в номинации "приз от СМИ" награду за "краткость -- сестра т.". Хорошо, что я туда не собрался: там оказались неайтишные какие-то левые издания, и к реальной оценке краткости отношения не имели (все уже решено до нас). Да и сам приз странный: в итоге дали награду не за самый компактный код, а за самое короткое время решения (4,5 минуты!). При том, что олимпиадные задачки -- это ойейей... Победил же в очередной раз, конечно же, москвич Пётр Митричев (получив чек на 10 тыс долл).40+ фактов о Петре МитричевеПетя никогда не использует эпсилоны в геометрических задачах, потому что в его программах вычисления с плавающей точкой никогда не дают погрешности...Петя давным-давно разработал программу, которая способна составить любой алгоритм по сколь угодно нечеткому заданию. Алгоритм имеет в наихудшем случае сложность O(lnlnlnN)...Когда Пете хочется проапгрейдить ноутбук, он ездит на финал чемпионата мира по программированию и выигрывает там новый...Любое Петино экспоненциальное решение быстрее логарифмического решения ACRush на любых тестах...Петя не всемогущ: он не может написать программу, которую сам не сможет понять...В принципе, я пошел прежде всего на Эдварда Йордона, на заманчивый "Прогноз развития программирования". Увы-увы, Йордон был невероятно уныл и баянист, чего я никак не ожидал. Кто не верит, может позырить его выступление. Обычно гуру его уровня со временем жутко прогрессируют и генерируют мега-концепции, а вот Эд выдавал сентенции на уровне унылого айтишного бложика. Закон Мура, Интернет вещей, и прочая копипаста. Да еще и баяны типа "когда-то БГ сказал, что любую программу можно уместить в 640 кб", а в заключение, ужос-ужос, предложил любому желающему поставить автограф на свою древнейшую книгу "Путь камикадзе".Организация же самого мероприятия-шоу на пять с плюсом. Сколько хожу на такие тусовки, в 99% уныло-формальная тусня, всем всё пофигу, поскорей бы откатать заявленную программу, и всё. Никогда бы не подумал, что мэйл.ру реально сегодня столь крута и продвинута в самом хорошем смысле -- не только технологически, но и главное организационно.Петя лидировал в отрыве с самого началафиниш!Единственный минус Russian Code Cup -- нету конкурса программирования на функциональных языках. Клож, хаскель, скала (F# :))), генерация DSL -- это именно то, чем сегодня прирастает реальная инновационность в программной инженерии, где заложены основные прорывы в технологиях создания программ в тысячи раз быстрее. И тот факт, что стабильно выигрывает Петя, показывает лишь, что текущая модель, ориентированная на императивное мышление + хорошую, но классическую математическую-алгоритмическую подготовку, себя начинает исчерпывать. Задачек на мета-(мета-(мета-))мышление, увы, пока явно не хватает.
Просмотров: 1320 | Добавил: admin | Рейтинг: 0.0/0
Всего комментариев: 0
avatar