Отладка ядра Linux с ИИ: Линус Торвальдс об упорстве человека и рутине моделиВерификация вместо вычитывания: как эффективно контролировать кодинг-агентов