На фоне разговоров о способности искусственного интеллекта использовать TLA+ для поиска ошибок в коде важно понимать, на что эта система реально способна и какие ограничения у неё есть. Некоторые свойства программ вообще невозможно выразить на языке TLA+, даже если они являются критически важными для системы.
Вышедшая macOS 27 Golden Gate обещала исправить проблемы предыдущей версии и улучшить отзывчивость системы. На деле новинка полна ошибок выравнивания, незакрытых багов и забытых деталей, которые легко обнаружить в повседневной работе.
Fakecloud — инструмент для локального эмулирования AWS окружения без необходимости в аккаунте и токене авторизации. Поддерживает 105 сервисов AWS с истинной 100% конформностью API, предоставляет SDKs для TypeScript, Python, Go, PHP, Java и Rust.
Исследование показало, что направление AI-агентов на использование конкретных техник тестирования и формальных методов практически не улучшает качество кода. Агенты в большинстве случаев применяют эти инструменты поверхностно, либо вообще игнорируют инструкции и полагаются на стандартные unit-тесты.