第 2026-11-05 期 · 社区音量

Guillermo Rauch @rauchg

在接下来的数周和数月里,我们都会逐渐认识到,大多数人类编写的软件: ▫️ 其实非常慢 ▫️ 存在许多安全漏洞 ▫️ 规格说明不足且不正确 AI将把它们全部重写。而且是很多次。它会让软件变得快速、经济高效且安全。它会思考我们无法理解的失败模式。 它会进行证明、形式化验证、负载测试、加固。它会把内存不安全的底层基础转变为健壮、优化的基础。如果你要求,它会详尽地为其编写文档,教你了解它,制作图表、动画和幻灯片。 在许多方面,我们正在见证软件工程的真正诞生。

X7 小时前
查看原文 ↗