Обсуждение

Беспилотные программисты.

Беспилотные IDE )))

А работает ли кто-нибудь в области умного рефакторинга, который смог бы из legacy-говнокода сделать конфетку? Было бы неплохо для начала, и вроде попроще чем просто по словестному описанию программу нагенерить.

компиляторы вроде должны уметь %) ну, или хотя бы статические анализаторы ...

Статические анализаторы да, но они ошибки ищут в основном, а нужен именно рефакторинг, с полным сохранением функциональности, логики работы. Попутно конечно можно и на потенциальные ошибки указать, исправлять конечно не надо без контроля кого-нибудь, обладающего General Intelligence.

хорошее описание ошибки по идее должно подразумевать её решение. Во-вторых, им можно проверять рефакторинг - совпадает в итоге логика или нет %)

Боюсь, тюринг не позволит создать такой алгоритм. Чтобы проверить результат алгоритма, нужно его запустить....

чтобы проверить результат - да, причем, несколько раз - чтобы проверить результат при разных начальных данных. А вот чтобы проверить соответствие его модификации описанию - не нужно. Если написано "ошибка в умножении на коэффициент", а там "С = А + В", то тьюринг не запрещает обнаружить, что "что-то пошло не так".