Удобный способ использовать отличную модель мышления — это расширить ваш компилятор, чтобы он обнаруживал проблемы, которые он еще недостаточно умен™, чтобы находить. То есть, новые сообщения об ошибках, которые обнаруживают новые классы ошибок. Например, я недавно написал довольно большой (15k токенов) файл на чистом C. Этот файл реализует некоторые сложные функции в HVM, который является линейным языком, где переменные не могут использоваться более одного раза, под угрозой повреждения памяти. Это очень тонкая ошибка. Визуальная проверка всего файла заняла бы много времени. Отладка очень сложна. Я потратил часы / дни на это в прошлом. На этот раз я просто написал запрос, прося ИИ обнаружить нелинейные использования — то, что GCC не способен сделать. Он не обнаружил все ошибки сразу, поэтому мне пришлось несколько раз перезапустить запрос. Тем не менее, он быстро указал на места в коде, которые были неправильными, что позволило мне быстро исправить. Я продолжал перезапускать запрос, пока он не начал «галлюцинировать», что в основном означает, что большинство ошибок исчезли.