Подробный разбор · Около 6 мин чтения
Что три Java Champion рассказывают о проверке программирования с ИИ
Интервью GitHub показывают, как контекст, воспроизведение на нужной платформе и явные проверки делают результаты Copilot проверяемыми.
- Опубликовано здесь
- Дата источника
- Источник проверен
20 октября GitHub опубликовал интервью с Владом Михалчеей, Патриком Баумгартнером и Франком Дельпорте. Примеры охватывают функции продукта, учебные материалы и аппаратный ввод, отказавший без сообщения об ошибке. Общее здесь — проверка: разработчики задают проблему, изучают доказательства и сохраняют ответственность. Это рассказы практиков, опубликованные поставщиком инструмента, а не контролируемое исследование производительности.
Слушать новости
Прослушайте эту статью или включите новости подряд.
Подготовка чтения…
Голос устройства
Речь обрабатывает браузер или устройство. AISubHub не отправляет текст в аудио-API. Доступные голоса и работа при заблокированном экране зависят от устройства.
При продолжении короткая фраза может повториться.
Кратко
- Баумгартнер сообщает о переносе примерно 900 слайдов из 15 презентаций за восемь–десять часов с проверкой снимков экрана, анимаций и PDF.
- Дельпорте описывает сбой Pi4J V4: в указанной конфигурации Raspberry Pi нативный опрос занимал четыре потока-носителя, поэтому пятый обработчик ввода не запускался.
Сначала передайте существующие правила проекта
Михалчея использует Copilot в IntelliJ IDEA для исследований, отладки и прототипов. По его словам, веб-приложение истории событий Optimizer, которое он откладывал из-за предполагаемых недель работы, было реализовано за два дня для будущей версии Hypersistence Optimizer. Это сравнение с оценкой трудозатрат, а не с другим измеренным исполнением. Он продолжает проверять планы и изменения и вмешивается, если ответ не подходит.
Его собственные навыки используют 65 опубликованных статей и 12 лет блога для стиля документации и поддержания выразительного, тестируемого, простого кода в принятых традициях. Для сложных задач он описывает Opus с контекстом в миллион токенов и режимами рассуждения Extra High или Max, а для отчетов и проверки документов — более легкие модели. Это его процесс, а не доказательство доступности настроек в любой подписке Copilot. По нашей интерпретации, нормы проекта и размер задачи важны наряду с моделью.
При переносе нужно доказать сохранение смысла
Перенос Баумгартнера с Reveal.js на Marp охватывал около 900 слайдов в 15 презентациях, включая код, анимации и изменяемые прямо на занятии примеры JavaScript. До выполнения они разобрали материал, определили цель, ограничения, образцы и сохраняемое содержание, затем двигались от структуры к деталям. Он сообщает о восьми–десяти часах; неделя и более вручную — его предварительная оценка.
Приемка выходила за рамки преобразованных файлов: снимки сравнивали визуально и алгоритмически, обе версии запускали рядом для ручной проверки анимаций, сопоставляли итоговые PDF. Опечатки можно было исправлять автоматически, но изменения смысла, содержания, версий или дат требовали обсуждения. Для AISubHub это показывает: если нужно сохранить учебную последовательность, полноты файлов и успешной конвертации недостаточно.
Воспроизведите платформу пользователя до объявления исправления
Терминальное приложение на Tamboui работало в Linux под WSL, но пользователь обнаружил, что некоторые формы игнорируют Enter в нативных Windows CMD или PowerShell. Баумгартнер превратил сообщение в UI-тесты, используя tmux в Linux и познакомившись с psmux для похожих сценариев PowerShell. Они воспроизвели поведение, сделали локальное исправление, проследили причину до Tamboui и отправили изменение, которое приняли в исходный проект.
Когда описания тестов перестали помещаться в контекст, повторяющиеся таблицы заменили компактной записью шагов, сохранив существенные сведения. Это не означает, что можно убрать проверки. Наш анализ: представление должно сохранять действия, ввод и ожидаемое поведение; успех на Linux не закрывает проблему Windows. В интервью нет универсальной матрицы совместимости и точных версий среды выполнения.
Уточните требования до ускорения исполнения
Учебное приложение сменило направление после обсуждения методик обучения и реальных школьных программ: вместо немедленного охвата всех стран Баумгартнер выбрал Швейцарию и арифметику первого–четвертого классов. Есть немецкий, французский, итальянский и английский языки, объяснения и повторная практика после ошибок, режимы для двоих. Он отказался от серверной части, оставив детские данные на устройстве и разместив приложение на GitHub Pages. Это описанное проектное решение, а не аудит безопасности.
Во время примерно четырехчасовой поездки он также руководил с телефона созданием Maven-плагина для автоконфигурации Spring Boot, проверяя CI, тесты производительности примерного приложения и отчеты. Первоначальное требование поддержать Spring Boot 3.5 и 4.x привело к двум архитектурным путям; удаление ставшего ненужным пути 3.5 оказалось трудоемким. Примеры поддерживают небольшие решения и раннее уточнение, но не обещают создать и проверить любой плагин за четыре часа.
Почему пятая кнопка могла молчать
Пример Дельпорте связан с Pi4J V4, выпущенным в феврале 2026 года с плагином Foreign Function & Memory API. Четыре кнопки ввода работали, пятая не давала ни события, ни исключения, ни предупреждения. Старый плагин gpiod работал на том же оборудовании с тем же приложением. Он указал два исходных пути, класс провайдера и FFMDigitalInput, и, по его словам, примерно через полчаса получил предложенный pull request.
Согласно описанному диагнозу, каждый обработчик блокировался в нативном poll(), ожидая изменения GPIO. Виртуальный поток, заблокированный в этом вызове, оставался привязанным к потоку-носителю. Четыре обработчика заняли четыре носителя четырехъядерного Raspberry Pi 4, и пятый не планировался. Это причинное объяснение полезнее слов о нестабильных событиях. Но оно остается диагнозом из интервью, а не правилом для всех версий Java и операций виртуальных потоков. Сопровождающие проверили и одобрили изменения до слияния.
Превращайте опыт в проверки
Баумгартнер поддерживает повторно используемые навыки вроде maintainer-audit и упоминает unlazy как пример явных критериев завершения. Его средства качества объединяют Checkstyle, PMD и архитектурные проверки Spring Modulith: изменить, проверить, прочитать результат и повторить. Для визуальной обратной связи он выбирает VS Code, для крупных задач — терминал или coding agent, а MCP использует при пользе; хорошая CLI иногда предпочтительнее. AISubHub эти навыки не испытывал.
Дельпорте добавляет диагностический критерий: регрессионный тест должен падать на старом коде и проходить после исправления. Он также требует понятного объяснения и проверяет дублирование и удобство сопровождения. Мы рекомендуем заранее определить доказательства приемки, независимо их проверить и оставить окончательное решение человеку. Одни статические проверки не подтверждают анимации, нативное поведение платформы или образовательную пригодность; в исходных рассказах люди по-прежнему запускают и оценивают программу.
Почему это важно
Анализ AISubHub: переносить стоит весь цикл обратной связи, включая ошибочные предположения и проверки. Команда может испытать одну характерную задачу, записать окружение и выяснить, выявят ли предложенные доказательства неверный ответ, прежде чем расширять делегирование.
Ограничения и доступность
Время и результаты приведены со слов участников. Мы не запускали код, не воспроизводили аппаратную ошибку, не проверяли связанные pull request и не аудировали навыки. Статья не дает контролируемой базы сравнения, общего коэффициента ускорения или одинаковых прав на модели во всех подписках; версии среды и платформы нужно проверять для каждого проекта.
Источники и подтверждения
Дата источника: · Источник проверен:
Материалы подготовлены с помощью ИИ и сверены с указанными первоисточниками. Заявления поставщиков атрибутированы; публикация не означает рекомендацию.