工程师反驳「Vibe Coding 不可靠论」:用模糊测试验证重写即可
zetalyrae · x · 2026-11-08
软件工程师 zacker150 提出:Vibe Coding 并非不审查代码,而是不逐行手读,改用经验测试、形式化验证和静态分析来保证正确性。像 Discord 重写这类项目特别适合这种做法——把旧代码跑大量随机输入(fuzzing),对比新旧输出一致即可判定重写完成。他直言「如今所有代码都是 vibe 出来的,工程师的工作是驱使 AI 写码」。zetalyrae 引用并调侃:真有人在对自己 vibe 出来的代码做形式化验证。
「编程与Agent」频道最新
- 每天仅 20 美元挖出 10 个漏洞,8 个是 CodeQL 没发现的全新漏洞 — _h4xr · 2026-11-08
- 终端 Markdown 预览器 leaf 走红:支持 Mermaid 图和 LaTeX 公式 — 4310sy · 2026-11-08
- Perplexity CEO:格子间工作本是卖软件的生意,AI 接手未必是坏事 — 2C_ornot2C · 2026-11-08
- 开源 blank:本地优先 agent 框架,隔离 worktree 解决并行子代理冲突 — Big_Veterinarian7479 · 2026-11-08
- 阿里 Co-Design Bench:最强模型也仅完整解决 26.4% 真实编码任务 — The Decoder · 2026-11-08
- ComfyUI Readable Node:用 Agent Skill 把乱糟糟工作流重写成可读版 — nomadoor · 2026-11-08