Здравствуйте, Буравчик, Вы писали:

Б>Здравствуйте, Doom100500, Вы писали:

D>>А имеем то, что компьютер выдаёт совсем не абсолютно правильную программу, а какое-то приближение, правильность которого надо ещё доказать.

Б>Под "правильной" скорее понималось "полную", законченную в некоторым смысле.

Б>Доказывать правильность не обязательно (да и невозможно в общем случае, насколько помню) — достаточно тестов.

Я не имел в виду академически доказать — это действительно невозможно. Нужно доказать себе, что высер корректен. И сделать это надо ещё до того, как начал писать тесты. На этапе промптинга. Постоянный код ревйью как после джуна. По-моему это вымотает ешо сильнее, чем самому написать.

Ничего не появилось. Нет ни одного реального применения. Есть только специально подобранные демки для вау эффекта. Хипстеры только вот ведутся, а потом засоряют форумы.