English(EN) Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumane

在人工智能驱动的开发周期中，经过验证的编程成为关键必需品

作者 PulseAugur 编辑部 · [1 个来源] · 2026-07-27 21:56

编程的性质已从数学学科转变为快速的开发周期，几乎没有留下数学推理或创造力的空间。然而，在软件故障可能导致严重后果的关键应用中，经过验证的编程正成为一种紧迫的必需品。这包括从开发初期到代码转换的严格的数学证明和验证，尽管一些从业者声称对此不感兴趣或无法采用这些方法。 AI

影响在关键系统中对软件日益增长的依赖性凸显了对强大验证方法的需求，这可能会影响人工智能驱动的自动化面前的未来开发实践。

排序理由该项目讨论了编程的哲学转变以及对经过验证的编程的需求，这属于对软件行业状况的评论。

在 Mastodon — fosstodon.org 阅读 →

Mastodon

其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] · 2026-07-27 21:56

Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumane

Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD …

报道来源 [1]

Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumane

相关实体

相关话题