Боря программирует

AtCoder World Tour Finals 2025 (Heuristic). 2nd place! Как-то все в итоге слишком хорошо прошло, даже не пришлось ничего в спешке чинить во время контеста... Контест начался, проверили, что все работает, а потом можно было с удовольствием смотреть трансляцию и следить за результатами. Большую часть контеста OpenAI был на первом месте с довольно большим отрывом, и только в самом конце Psyho вырвался вперед. Так что всех, кто проголосовал за вариант "2-3" в предыдущем опросе, поздравляю :) В твитт...

Training superhuman coding models at Cursor Случайно наткнулся на видео, где ребята из Cursor обсуждают всякое разное про LLM. Обычно в подобных подкастах все высказывания очень поверхносные, чтобы случайно не выдать каких-нибудь секретов. А тут на удивление упомянули довольно много технических деталей. Краткий список затронутых тем: - Как делать RL, когда нет одного правильного ответа? - Что делать, если вероятность получить "правильный" ответ очень маленькая? - Как сделать, чтобы модель могла ...

IMO 2025 Gold 🥇 Как можно было увидеть из предыдущих постов, за последний год модели начали показывать очень хорошие результаты в областях, где легко проверить правильность ответа. Например, на большинстве математических бенчмарков, где нужно выбрать правильный ответ, или где ответ это одно число/короткая формула, топовые модели набирают 90%+. Дела обстоят хуже в областях, где сложно автоматически проверить ответ. Например, модели все еще плохо придумывают шутки. И они все еще плохо решают мате...

OpenAI / AtCoder World Tour Finals 2025 Сегодня ровно год как я работаю в OpenAI. Время летит супер быстро, но при этом прогресс движется еще быстрее! Буквально год назад Mark Chen показывал мне секретный прототип reasoning модели, который еле справлялся с простыми логическими задачами. А сейчас уже никого не удивишь моделью, которая лучше меня решает CodeForces. Расскажу о сайд-проекте, которым занимался последнее время с коллегами. Если вы читаете этот блог давно, то знаете, что я люблю эврист...

ICPC is solved Вчеры мы рассказали как AI от OpenAI поучаствовал в финале ICPC. Он смог решить все задачи — больше чем любая другая команда. Это очень крутой результат! Единственный раз в истории ICPC, когда команда решила все задачи во время финала, был 10 лет назад (и в этой команде был я). За последние несколько месяцев мы поучаствовали в разных соревнованиях и везде добились хороших результатов. Первое место на ICPC. Второе на Atcoder Heuristic World Finals. Золото на IOI и IMO. Не могу пере...

Midnight Code Cup Примерно лет десять назад проводились очень классные соревнования — Deadline24, Marathon24, Challange24. У них был немного разный формат, но, как можно догадаться по названиям, финал этих соревнований длился 24 часа. Во время финала участники должны были решать задачи в течении всех 24 часов (возможно, с перерывом на сон на пару часов). Если хотите проникнуться духом этих контестов, или, если участвовали в них, и хотите повспоминать, предлагаю перейти по ссылкам и посмотреть фо...

London Underground. Мой контест, о котором я писал в этом посте, теперь доступен на CodeForces! Расскажу про мою любимую задачу из контеста. К сожалению, она довольно сложная (ее решило 5 команд), но зато у нее прикольное решение. Вам дан (прямо файлом, можно скачать) граф реального Лондонского метро. В нем 426 станций и 505 перегонов между ними. Нужно посчитать (по модулю 998244353) количество назависимых подмножеств в этом графе. Т. е. посчитать сколько всего существует способов выбрать какие-...

0-1 matrix Решал на выходных UniversalCup, расскажу про одну из задач. Если судить по количеству команд, которые ее решили, то она 10-я из 13 по сложности. Хотя на самом деле очень простая. После несложных манипуляций она сводится к следующей. Есть матрица 1000*1000 из нулей и единиц. К ней применяют операции "инвертировать строку i" или "инвертировать столбец j". Под "инвертировать" имеется в виду, что каждый 0 заменяется на 1, а каждая 1 на 0. После каждой операции надо за О(1) определять, пра...

Красивые детальные статьи Выходные это отличное время, чтобы потратить пару часов на то, чтобы прочитать какую-нибудь очень детальную статью и подробно в чем-то разобраться. По этому поводу хочу поделиться несколькими качественными длинными постами. 1. https://www.aleksagordic.com/blog/matmul — очень подробно про перемножение матриц на GPU. Что-то в стиле "What Every Programmer Should Know About Memory", только про GPU. У него в блоге еще есть про внутренности vLLM и всякие другие штуки. 2. http...

AtCoder World Tour Finals 2025 / Psyho's write-up Как я уже писал выше, на финале AtCoder мы заняли второе место, а Psyho выиграл. Недавно Psyho опубликовал свои мысли по поводу участия AI в этом контесте, очень рекомендую почитать! https://github.com/FakePsyho/cpcontests/blob/master/atcoder/awtf2025/humansvsai.md Из интересного, он скачал все наши посылки и посчитал всякую статистику. Например, насколько сильно менялся код между соседними посылками. Еще, после конца контеста, мы попробовали улу...