Последние посты
Боря программирует
21 сент., 18:48
Боря дорешиваетИзначально этот канал начинался с того, что я писал про какие-то трюки из олимпиадного программирования. Но с тех прошло много времени, на канал подписалось много людей, и скорее всего читать подобный контент интересно маленькой части аудитории. Из-за этого в каком-то смысле случается самоцензура и я публикую здесь что-то довольно редко.В общем решил завести отдельный канал про олимпиадные задачи. Постараюсь писать туда возможно не самые интересные посты, но зато чаще :)Подписывайтесь кому такое интересно: https://t.me/bminaiev_upsolvingБоря программирует
13 сент., 13:03
Количество стресса в жизниВо время решения олимпиадных задач часто применяется техника стресс-тестирования. О ней я уже писал раньше. Когда вы написали сложное решение, а оно почему-то не проходит тесты, можно написать значительно более простое но медленное решение, а потом найти маленький тест, на котором ответы отличаются.У меня есть репозиторий, в котором я уже пять лет сохраняю все решенные олимпиадные задачи https://github.com/bminaiev/rust-contestsОказалось, что если построить график того, как часто приходилось писать стресс для решений в разные года, то получается очень понятная закономерность. Видимо, писать код без багов все сложнее и сложнее...
Боря программирует
22 июл., 07:30
Решение второй части задачи К: https://t.me/pushing_buttons/95Главное не испугаться линейной алгебры вначале поста и дочитать до красивых картинок.TelegramНажимаем кнопкиКак сделать фотографию на камеру с одним пикселем Продолжаем решать задачу K с Midnight Code Cup 2026. В этой задаче быстро становится понятно, что оценивающая функция выглядит совершенно по-другому. Полностью белая картинка набирает около 12 баллов. Полностью…Боря программирует
21 июл., 07:16
Поздравляю Дениса с тем, что он первый решил обе части задачи К!Про решение первой части он написал в своем канале https://t.me/pushing_buttons/94Подписывайтесь, чтобы прочитать и про вторую часть тоже!TelegramНажимаем кнопкиКак решить задачу с соревнования, не написав прочитав ни строчки кода Недавно Борис из OpenAI (@bminaiev_blog) объявил конкурс: кто первым решит задачу, которую он написал для Midnight Code Cup, тот получит годовую подписку на ChatGPT Pro – пост. Само соревнование…Боря программирует
17 июл., 11:00
Midnight Code Cup 2026 FinalsДавно ничего не писал — надо исправляться. Недавно в Белграде прошёл финал 24-часового соревнования Midnight Code Cup, в организации которого я участвовал. На соревновании мы разрешаем пользоваться AI, поэтому в этом году пришлось постараться, чтобы задачи не решались одним промптом. Условия можно почитать здесь: https://2026.midnightcodecup.org/problems/Для некоторых задач открыто дорешивание, так что, если у вас есть свободное время, предлагаю попробовать — должно быть интересно! К сожалению, мы боимся большой нагрузки, поэтому дорешивать задачи можно только при наличии рейтингового аккаунта на Codeforces.Больше всего мне нравятся следующие задачи: https://2026.midnightcodecup.org/problems/G/ — нужно за 10 минут придумать как можно более короткий промпт для LLM, чтобы она написала решение простой задачи. https://2026.midnightcodecup.org/problems/E/ —Боря программирует
12 апр., 11:28
Midnight Code Cup 2026 Qualification Round. Results.Прошел квалификационный раунд, интересные ощущения от него.Вот тут можно почитать задачи: https://codeforces.com/gym/106478 Вот тут посмотреть финальные результаты: https://ranker.codeforces.com/ranklist/106471Мы в этих контестах разрешаем пользоваться AI, и очень интересно наблюдать, насколько быстро все меняется. В финале прошлого года (который был летом) команды уже довольно часто использовали AI. Он давал возможность быстро написать хорошее решение и войти в топ, но при этом код становилось сложно поддерживать, участники не понимали, что в нем происходит, и ближе к концу контеста на топовых местах были команды, которые большинство кода писали руками. Сейчас же почти все команды в топе использовали AI, и в основном занимались тем, что говорили агентам, что нужно делать, а не решали задачи сами.При этом те команды, которые поБоря программирует
9 апр., 18:48
Midnight Code Cup 2026 Qualification RoundУже в эту субботу пройдет квалификационный раунд Midnight Code Cup! Сегодня последний шанс зарегистрироваться на раунд, так что если вы все еще это не сделали — самое время!Если вы вдруг не знаете, что такое Midnight Code Cup, то это контест с финалом в Белграде, который будет длиться 24 часа (а квалификация всего 4 часа). Мы стараемся придумывать интересные необычные задачи. Вот тут можно посмотреть прошлогодние — https://codeforces.com/blog/entry/143717За последний год мир довольно сильно изменился, поэтому очень рекомендую заранее поставить Codex, и вообще заранее попробовать порешать задачи вместе с агентами. Мне кажется это может очень сильно вас ускорить, но при этом это довольно необычный процесс, и чтобы делать его хорошо, нужно тоже тренироваться. Например, нужно научиться понимать, где агенты могут помочь, а где нет. Или какБоря программирует
24 мар., 20:06
Parameter GolfМы (OpenAI) недавно запустили контест, в котором нужно натренировать как можно более хорошую модель фиксированного размера (не больше 16МБ) на фиксированном датасете. Лидерборд (и код сабмитов) публичный, поэтому уже можно посмотреть какие типы оптимизаций помогают, и что примерно можно еще попробовать.Размеры всего достаточно маленькие, так что для экспериментов не нужно слишком много ресурсов, но при этом все еще нужны gpu. Поэтому, если вы хотите поучаствовать, можно получить от нас кредитов на эксперименты.По собственному опыту знаю, что очень сложно попасть на собес в OpenAI, даже если ты очень умный и замотивированный. Этот контест как раз сделан для того, чтобы выявить таких людей среди большого количества резюме, которые нам присылают. Так что если вы хотите попасть в OpenAI — рекомендую поучаствовать!Боря программирует
15 февр., 16:32
Чтение мыслейТестировал сегодня новую модель. В качестве теста ей нужно было угадать случайную последовательность из десяти букв пользуясь некоторыми подсказками. К сожалению, в генерации подсказок я немного набагал, и единственная подсказка, которую получила модель, была "вторая буква из десяти это y" (по-английски).Мои баги ее не сильно волновали, поэтому она немного подумала, и выдала правильный результат. Какие 10 символов были загаданы?Боря программирует
31 дек. 2025 г., 19:38
Вместо итогов 2025 года тут будет кот! С новым годом!
Боря программирует
22 дек. 2025 г., 11:38
Чем заняться первого января?Если у вас все еще нет планов на первое января, то очень рекомендую поучаствовать в контесте от Андрея — https://t.me/andgein_notes/192!Это не обычный контест типа CodeForces или ICPC, тут можно пользоваться LLM и задачи довольно нестандартные. Вот тут можно почитать задачи прошлого года с решениями: https://2025.andgein.ru/about-tasks. Я участвовал в прошлом году (даже выиграл 🥇), мне очень понравилось! Вот тут писал про одну из задач — https://t.me/bminaiev_blog/84.Вообще за последний год стало сильно сложнее делать контесты, в которых разрешено пользоваться LLM. На CodeForces их уже давно запретили. На AtCoder довольно долго они были запрещены на div2 раундах, но разрешены на AtCoder Grand Contest потому что "мы даем задачи где думать надо, тут LLM вам не помогут" (чтобы оценить сложность задач — на последнем таком раунде я решил 0 задач из 5). Но вБоря программирует
10 окт. 2025 г., 17:07
Красивые детальные статьиВыходные это отличное время, чтобы потратить пару часов на то, чтобы прочитать какую-нибудь очень детальную статью и подробно в чем-то разобраться. По этому поводу хочу поделиться несколькими качественными длинными постами.1. https://www.aleksagordic.com/blog/matmul — очень подробно про перемножение матриц на GPU. Что-то в стиле "What Every Programmer Should Know About Memory", только про GPU. У него в блоге еще есть про внутренности vLLM и всякие другие штуки.2. https://thinkingmachines.ai/blog/lora/. Thinking machines начали публиковать довольно интересные блоги. У них там еще есть про Modular Manifolds, но на мой вкус слишком много математики.3. https://pair.withgoogle.com/explorables/grokking/ прикольные визуализации про эффект grokking-а. В какой-то момент мне настолько понравилась статья, что я сделал задачу в контесте по ее мотивам.4. https://traБоря программирует
30 сент. 2025 г., 18:47
Дерево ФенвикаДерево Фенвика это структура данных, которая позволяет быстро обрабатывать две операции: - a[pos] += x - посчитать сумму a[i] для i <= r.Вместо массива a будем поддерживать некоторый массив f. Сами функции выглядят так: void add(int pos, int x) { for (int i = pos; i < n; i = up(i)) { f[i] += x; } }int sum(int pos) { int res = 0; for (int i = pos; i >= 0; i = down(i)) { res += f[i]; } return res; }Боря программирует
18 сент. 2025 г., 17:01
ICPC is solvedВчеры мы рассказали как AI от OpenAI поучаствовал в финале ICPC. Он смог решить все задачи — больше чем любая другая команда. Это очень крутой результат! Единственный раз в истории ICPC, когда команда решила все задачи во время финала, был 10 лет назад (и в этой команде был я).За последние несколько месяцев мы поучаствовали в разных соревнованиях и везде добились хороших результатов. Первое место на ICPC. Второе на Atcoder Heuristic World Finals. Золото на IOI и IMO.Не могу перестать удивляться скорости прогресса! Чуть больше года назад я ездил гостем на финал ICPC, и, встретив там Jakub Pachocki, мы обсуждали когда уже наступит тот момент, когда AI сможет выиграть ICPC. Тогда горизонт в пять лет мне казался реалистично-оптимичным. И вот мы тут. Очень интересно узнать что будет еще через год-два!Боря программирует
4 авг. 2025 г., 18:16
AtCoder World Tour Finals 2025 / Psyho's write-upКак я уже писал выше, на финале AtCoder мы заняли второе место, а Psyho выиграл. Недавно Psyho опубликовал свои мысли по поводу участия AI в этом контесте, очень рекомендую почитать!https://github.com/FakePsyho/cpcontests/blob/master/atcoder/awtf2025/humansvsai.mdИз интересного, он скачал все наши посылки и посчитал всякую статистику. Например, насколько сильно менялся код между соседними посылками. Еще, после конца контеста, мы попробовали улучшить решение Psyho с помощью нашей системы, и об этом тоже подробно написано.Боря программирует
19 июл. 2025 г., 10:02изменён
IMO 2025 Gold 🥇Как можно было увидеть из предыдущих постов, за последний год модели начали показывать очень хорошие результаты в областях, где легко проверить правильность ответа. Например, на большинстве математических бенчмарков, где нужно выбрать правильный ответ, или где ответ это одно число/короткая формула, топовые модели набирают 90%+.Дела обстоят хуже в областях, где сложно автоматически проверить ответ. Например, модели все еще плохо придумывают шутки. И они все еще плохо решают математические задачи, где нужно написать доказательство, а не только посчитать итоговый ответ. Одной из олимпиад, где нужно так делать, является IMO (International Math Olympiad).В прошлом году DeepMind показал, что если перевести задачи в "проверяемый" язык, и вместо человеко-читаемых доказательств просить доказательтва на Lean (где можно автоматически проверить, правильное оно или нет), тоБоря программирует
18 июл. 2025 г., 15:08
AtCoder World Tour Finals 2025 (Heuristic). 2nd place!Как-то все в итоге слишком хорошо прошло, даже не пришлось ничего в спешке чинить во время контеста... Контест начался, проверили, что все работает, а потом можно было с удовольствием смотреть трансляцию и следить за результатами.Большую часть контеста OpenAI был на первом месте с довольно большим отрывом, и только в самом конце Psyho вырвался вперед. Так что всех, кто проголосовал за вариант "2-3" в предыдущем опросе, поздравляю :)В твиттере увидел картинку с количеством баллов у OpenAI и у Psyho от времени (чем меньше скор — тем лучше). Мне кажется, она довольно хорошо показывает текущее состояние AI. Он может гораздо быстрее человека запрототипировать хорошее решение. Но при этом на дистанции в 10 часов человек уже может догнать и перегнать за счет каких-то более интересных идей. Интересно, как такой же график будет
Боря программирует
9 июл. 2025 г., 16:40
Боря программирует
9 июл. 2025 г., 16:40
OpenAI / AtCoder World Tour Finals 2025Сегодня ровно год как я работаю в OpenAI. Время летит супер быстро, но при этом прогресс движется еще быстрее! Буквально год назад Mark Chen показывал мне секретный прототип reasoning модели, который еле справлялся с простыми логическими задачами. А сейчас уже никого не удивишь моделью, которая лучше меня решает CodeForces.Расскажу о сайд-проекте, которым занимался последнее время с коллегами. Если вы читаете этот блог давно, то знаете, что я люблю эвристические контесты. На них дают задачи, у которых нет единственного правильного решения. Вместо этого есть какой-то скор, который нужно улучшить. Раньше самыми популярными такими контестами были TopCoder Marathon, а сейчас AtCoder Heuristic Conests.Через неделю в Японии пройдет AtCoder World Tour Finals 2025, в котором будут участвовать 12 лучших участников со всего мира. Например, там будетБоря программирует
15 июн. 2025 г., 10:47
Midnight Code Cup Finals 2025На прошлых выходных в Белграде прошел 24-часовой контест, который я помогал делать. Вот тут можно почитать про то, как все прошло, и что за задачи были. Результаты можно посмотреть тут, а сами задачи тут.Вообще я очень рад, что контест состоялся! Получилась отличная возможность приехать куда-то и снова увидеть кучу друзей в одном месте ❤️.Еще было очень сильно заметно как AI проник в мир контестов. Многие участники говорили, что "вайб кодили" решения, а не писали сами. Некоторые жаловались, что когда просишь LLM написать бота для игры в бомбермена, то сложно заставить его ставить бомбы, потому что LLM считает, что это негуманно :)Некоторые типы задач LLM-ки решают сильно быстрее и лучше человека, поэтому во время подготовки задач иногда приходилось специально что-то переделывать, чтобы задачи не решались одним запросом в ChatGPT. Как будет выглядеть
