Комментарии 13
у луны нет тёмной стороны. там, так же как и на земле, есть день и ночь.
Судя по размеру приведённых отчётов, в коде было вручную обнаружено в NASA несколько сотен ошибок. Из них Claude нашёл одну, и ту ни на что особенно не влияющую. Результат особо не вдохновляет, тем более что верификатор справился бы с поиском критических путей лучше.
На самом деле, так можно найти только самые простые ошибки, а сложные принципиально нельзя, в силу проблемы останова.
... двигаясь мимо переключателя останова, защищённого крышкой. Он задевает локтем крышку и нажимает переключатель
Интересно, тогдашние тестировщики рассматривали такую вероятность (для других переключателяей например)?! Или всё таки защитная крышка там не просто так, да и в кабине всё таки обученный пилот. 🤔
Какой кривой перевод статьи, прям читаешь и понимаешь, что было в оригинале и как буквально во многих моментах переведены термины.
Да, забавно что после всех этих приключений астронавты умудрились вернутся на Землю. Хоть конечно терзают смутные сомнения :) а были ли ?

Баг на тёмной стороне Луны