最高第 3 名现在第 4 名

呼吁转向形式化验证

Doug Colkitt称软件从业者若不规划转向形式化验证是不负责任的，应成为当前优先事项。

首次上榜 10月23日 13:43 · 榜单是怎么排的 · 专题 LiteLLM与PHP供应链安全事件

名次变化

原推

Doug Colkitt @0xdoug 5.5万粉丝10月23日 07:38

At this point, if you’re in software and aren’t currently working on a plan for moving to formal verification, it’s irresponsible. The writing is on the wall. This needs to be your priority now.

1,500点赞 65转发 35回复 13.6万浏览

在 X 上查看收藏

X 上的热门回复

X 上的反应： 回复以质疑为主：有人指出形式化验证取决于软件类型，并非万能药；还有人表示 Lean 完全陌生，从大多数语言到 Lean 没有过渡路径，而且许多替代方案甚至无法让实现与验证使用同一种语言。另有一条回复只是说不懂 Lean。原推作者没有回应。

登录后查看 X 上的 4 条热门回复

来自 @0xfoobar, @lostbutlucky, @trivyn_kg 等，已过滤广告，附中英文翻译。

免费注册已有账号？登录

讨论 0

最热最新

还没有人讨论，来说第一句。