История изменений
Исправление alysnix, (текущая версия) :
речь идет об обнаружении потенциальных уязвимостей с помощью ИИ, а не о доказательстве общих теорем на неком коде.
то есть даже связка - си + некий ИИ ментор, будет побивать любой самый защищенный язык по совокупности преимуществ.
то есть вся эта возня с защитой памяти на уровне языков(русты и все такое) - это попытка впрыгнуть в ушедший поезд.
Исходная версия alysnix, :
речь идет об обнаружении потенциальных уязвимостей с помощью ИИ, а не о доказательстве общих теорем на неком коде.
то есть связка - си + некий ИИ ментор, будет побивать любой самый защищенный язык по совокупности преимуществ.
то есть вся эта возня с защитой памяти на уровне языков(русты и все такое) - это попытка впрыгнуть в ушедший поезд.