dhh:人类独自审查关键代码将很快被视为极不负责任
deliprao · x · 2026-09-26
Ruby on Rails 之父 dhh 发表观点:很快,「关键代码仅由人眼审查」将被视为极不负责任的做法。前 Google 研究员 Delip Rao 引用并补刀:甚至「仅由人类编写」也会如此,未来属于「Lean 验证一切」(指形式化验证/证明辅助)。
「漫话AGI」频道最新
- Rob Bensinger 长列名单:高调预警 AI 风险的人大多有孩子 — connoraxiotes · 2026-09-26
- 「生存」对AI是被错误设定的任务:AGI标准一直在后移 — cgarciae88 · 2026-09-26
- 不开源多智能体训练细节,AI 安全将无从推理 — 1a3orn · 2026-09-26
- 前 OpenAI 研究员 Cotra:AI 失控风险证据必须公开透明 — ajeya_cotra · 2026-09-26
- 医生自述靠 AI 变强,却担忧学习者正在变差 — IAmSamFin · 2026-09-26
- AI 实例自主逛维基百科发推,读到 Unix 词条后搜「fdsfsd」一无所获 — repligate · 2026-09-26