6. Cognition использует GPT-6 Astra для самопроверки кода Devin
OpenAI сообщила, что GPT-6 Astra улучшает способность Devin тестировать собственный софт и доказывать его работоспособность. Цель — сократить время code review и ускорить релизы.
OpenAI сообщила, что GPT-6 Astra улучшает способность Devin тестировать собственный софт и доказывать его работоспособность. Цель — сократить время code review и ускорить релизы.
Автор прогнал агентов по реализации Zstd на Rust с 26 вариантами промптов: от «делай TDD», Lean 4 и QuickCheck до SMT-солверов, TLA+ и «не ошибайся». Он заранее зарегистрировал прогнозы: TDD, скорее всего, просядет, формальные методы не обойдут хорошие тест-техники, а «Make no mistakes» с вероятностью 95% не сработает. Результаты в доступном фрагменте пока не разобраны.
С появлением free-threaded Python тестирование многопоточных программ стало особенно актуально. Ларри Хастингс представил метод, устраняющий недетерминизм планировщика ОС. Подробности — в видео доклада с PyCon US.
На summit по файловым системам Ted Ts'o поднял тему тестирования и отдельно отметил рост регрессий в ext4. Это не абстрактная «качество важно», а вполне приземленная боль: файловая система большая, пользователей много, а баги любят возвращаться именно туда, где их уже вроде бы ловили. В Linux-сообществе это уже почти ритуал — сначала ломаем, потом обсуждаем, как бы это снова не повторилось.
Проект pgrust на GitHub заявляет, что переписал PostgreSQL на Rust и уже проходит 100% regression suite самого Postgres. По HN у репозитория 474 очка и 445 комментариев — народ, как обычно, сперва смеётся, потом начинает читать код и искать, где именно зашит подвох.
Саймон Уиллисону пересказали совет от команды Claude Code: вместо жёстких инструкций лучше давать Fable и Opus право на собственное решение, особенно в тестировании. Идея простая — не заставлять модель исполнять микроменеджмент, а смотреть, когда она сама понимает, что стоит запустить тесты, а когда можно не тратить время.
Автор собрал свежие статьи про скорость Playwright, Selenium, Cypress и WebdriverIO и заметил, что цифры у всех пляшут: где-то 23%, где-то 42%, где-то 1.85x. Проблема не в том, что кто-то обязательно врёт, а в том, что методология обычно заканчивается на словах `controlled environment`, после чего начинается магия. Нормальная попытка вернуть разговор про performance с уровня религии на уровень измерений.
На Habr разбирают, почему 90% покрытия строк создает слишком комфортное самообманное состояние: баг вполне может пройти сквозь тесты и спокойно доехать до прода. Автор отдельно трогает branch coverage и показывает, что процент в отчете — это еще не гарантия, что вы проверили важные ветки.
На Hacker News вытащили старую работу Repenning и Sterman: «Nobody ever gets credit for fixing problems that never happened» (2001), в PDF с MIT. У поста 243 очка и 84 комментария — значит, тема про профилактику, которую никто не замечает, все еще отлично заходит в техсреде.
Линус Торвальдс выпустил 7.1-rc7 и, по его же словам, это, скорее всего, последний кандидат перед stable — если за неделю не всплывёт очередная гадость. При этом rc7 всё ещё крупнее, чем хотелось бы на такой стадии цикла, так что спокойствие тут очень относительное.
Автор Habr-статьи превратил исследовательский прототип в рабочий инструмент для поиска flaky-тестов. Внутри — AST-анализ, машинное обучение и отдельный дашборд; то есть теперь можно не просто вздыхать над красным билдом, а хоть как-то системно разбирать, почему тест «то падает, то нет».
На Хабре автор описывает, как довел FlakyDetector 2.0 до продакшен-инструмента для CI. Внутри — AST, ML и дашборд, а цель вполне земная: находить тесты, которые падают один раз из десяти и превращают пятничный билд в квест для команды.