回顾：Software Should Work 2026

# 回顾：软件应当良好运作 2026 来源：https://bencornia.com/blog/recap-software-should-work-2026 发布于 2026年7月18日 我参加了我的第一次软件大会！这场在密苏里州哥伦比亚市举办的大会名为“软件应当良好运作¹”(https://bencornia.com/blog/recap-software-should-work-2026#fn:1)。我非常喜欢每位演讲者分享的内容。我从大会中提炼出几个主题，希望在此能清晰地表达出来。 软件对现代社会至关重要。它运行在我们的手机、家庭、汽车、企业以及医疗设备中。除非选择极度简朴的生活方式，否则它几乎触及我们日常生活的方方面面。软件应当服务于用户的需求。在我看来，软件应当运行得如此良好，以至于用户甚至不应察觉到软件本身的存在。 例如，用户不应担心使用某个应用时，它会存储其元数据并出售给第三方。或者他们的车库门开启器存在付费墙功能。又或者当他们坐进汽车时，存在软件缺陷并导致事故。软件对其终端用户而言应当是无形且无摩擦的。 我认为确实有许多系统运作良好。TCP/IP 和 Linux 的发明是现代计算的基础。大多数人甚至不知道这些技术是什么，这恰恰是件好事。这意味着它们正在按预期工作。这些技术所解决的问题已经充分地从终端用户那里抽象出来了。 那么，是什么在催生这种“粗制滥造”？是人工智能吗？是市场压力吗？是那些漫不经心、贪婪的人吗？答案是三者兼有。我从“软件应当良好运作”大会中得到的感受是，软件的未来一如既往地掌握在我们自己手中。企业可能不会以我们的最佳利益为念，但我相信，就整体而言，人们关心自己的同胞。这就是为什么自由和开源软件仍然是我们维护软件社会契约的最佳赌注。 ## 人工智能正在施加巨大压力§ (https://bencornia.com/blog/recap-software-should-work-2026#ai-is-applying-immense-pressure) 人工智能正在破坏人们对软件产品的信任。人工智能也**正在破坏我们自己对软件进行推理的能力的信任**。人工智能正成为软件工程师之间奇怪的中介。对我们产出的期望提高了。雇主们在追踪 token 使用量。同一家公司内部的团队都在试图超越彼此以创新，以免被解雇。人工智能同时在发现漏洞；制造漏洞；并自身成为漏洞。它给维护者带来负担，并降低信任度。作为一个行业，我们正在慢慢形成一个“蚂蚁磨坊”² (https://bencornia.com/blog/recap-software-should-work-2026#fn:2)。 其他人类将永远是我们最好的资源。这并不是说人工智能本质上是坏的，但它会向均值回归。这是一个自我强化的反馈循环。我想要体验人际关系的起伏。我想要完整的人类体验。所有这些都说明，与那些我兴趣相同但价值观未必一致的人共处一室，让我充满活力。 它让我想起成为一名软件工程师是多么有趣。我们可以为计算机的细枝末节而兴奋，可以在屏幕上绘制东西。它给了我希望，让我知道那里有聪明人将人工智能视为达成目标的手段，而非目的本身。 我最后也是最喜欢的部分是了解到人们为解决实际问题而引入的各种奇妙工具。这些包括：形式化方法和系统思维、类型系统、内存安全的编程语言、依赖管理、可重现的环境、测试与模糊测试、更简单的 Web 框架、理解系统限制，当然，也包括人工智能。 我对形式化方法特别感兴趣，因为它是一个出色的思维工具。它重新激发了我对 P3³ (https://bencornia.com/blog/recap-software-should-work-2026#fn:3) 进行深入研究的愿望。这次大会之后，我意识到我并没有分配足够的时间来思考我面临的问题。编写代码在某种意义上只是我们构建问题空间心智模型的副产品。最有价值的活动是解决问题本身。我们将继续面临新颖的问题。这些工具帮助我们围绕问题构建框架，以便我们能够掌控它们。 我对于未来如何使用人工智能的视角发生了转变。人工智能可以比我更快地编写大量代码。它现在可能为我节省一些时间。但真正的价值在于我的领域专业知识；那些通过与客户和队友交流积累的所有隐性知识。过度使用人工智能会削弱我对领域的把握，因此必须取得平衡。人工智能非常适合构建我不关心的一次性代码。这对于绘制图表和构建系统运作方式的可视化来说是完美的用例。 关于这个主题的另一个收获是，我们不必接受现状。一些最好的软件违背了其时代的潮流。仅仅因为某些东西对 Google 或 Meta 效果良好，并不意味着它就是正确的。外面有很多像这样思考的人。他们正在为自己的问题寻找更简单、更高效的解决方案。 ## 结论§ (https://bencornia.com/blog/recap-software-should-work-2026#conclusion) “软件应当良好运作”大会令人振奋！我完全乐在其中。密苏里州被称为“索证之州”⁴ (https://bencornia.com/blog/recap-software-should-work-2026#fn:4)。从一个访客的角度来看，这次大会践行了这一理念。每位演讲者和参会者都对他们对工业和学术界的贡献充满热情。这种热情正是我需要被提醒的。非常感谢大会的组织者。你们真的超越了自己！ 返回顶部 ↩︎ (https://bencornia.com/blog/recap-software-should-work-2026#top)