Если кто-то отправил PR на миллион строк, который невозможно отревьюить, очевидно, он и сам его не смотрел. Это ещё может работать с Rust, у которого строгий компилятор и понятные ошибки, но на каком-нибудь C легко нагенерировать код, который будет проходить по всем внешним критериям - статик-чекерам, тестам и т. д., - но упадёт с segfault через две минуты после запуска. Знаем, было.
Несмотря на предварительное использование plan mode и попытки самоаудита агентами собственного кода, Claude с завидной регулярностью правит то, что его не просили, и не видит проблем, пока ты ему явно на них не укажешь. Не говоря уже о том, что он постоянно переписывает свой же код, потому что в основном подгоняет его так, чтобы он работал здесь и сейчас, а при изменении связанных модулей часто может перекроить весь модуль заново.
Советую прочитать вторую часть серии) У меня изначально вообще не было базы по теории групп. Сначала разбирался с конечными полями, а теорию групп добрал уже по ходу, на примерах, когда переставал понимать, что происходит.
b - это просто вспомогательная переменная для хранения результата вычисления (). Она используется только для того, чтобы в алгоритме явно разделить этап вычисления и этап проверки условия. В реализации на Python (Sage) отдельная переменная b не обязательна - результат можно сразу использовать в условии.
Если кто-то отправил PR на миллион строк, который невозможно отревьюить, очевидно, он и сам его не смотрел. Это ещё может работать с Rust, у которого строгий компилятор и понятные ошибки, но на каком-нибудь C легко нагенерировать код, который будет проходить по всем внешним критериям - статик-чекерам, тестам и т. д., - но упадёт с segfault через две минуты после запуска. Знаем, было.
Несмотря на предварительное использование plan mode и попытки самоаудита агентами собственного кода, Claude с завидной регулярностью правит то, что его не просили, и не видит проблем, пока ты ему явно на них не укажешь. Не говоря уже о том, что он постоянно переписывает свой же код, потому что в основном подгоняет его так, чтобы он работал здесь и сейчас, а при изменении связанных модулей часто может перекроить весь модуль заново.
Советую прочитать вторую часть серии) У меня изначально вообще не было базы по теории групп. Сначала разбирался с конечными полями, а теорию групп добрал уже по ходу, на примерах, когда переставал понимать, что происходит.
b- это просто вспомогательная переменная для хранения результата вычисления (bне обязательна - результат можно сразу использовать в условии.