Victor Taelin 遭 HN 指控「vibe code 形式化证明语言」,发文反击
IgorCarron · x · 2026-09-19
知名工程师 Victor Taelin 在 Hacker News 首页被指「没做领域调研就 vibe coding 出一个形式化证明语言」，他回应称自己在这个领域已投入 10 年、全年无休每天研究，并贴出了详细反驳，感慨互联网氛围依旧。作者 IgorCarron 转推声援。属于 AI 圈关于 vibe coding 争议的典型 drama。
「编程与Agent」频道最新
- Devin 算力扩容,SWE-2 对 Pro/Max/Teams 免费至 10 月 8 日 — DevinAI · 2026-09-19
- 开发者告别 CLAUDE.md：编程智能体配置方式生变 — kieranklaassen · 2026-09-19
- WetRobo：编码智能体成为基础模型与科学仪器的接口 — sherryyangML · 2026-09-19
- WetRobo 部署细节：机器人+演示数据+AGENTS.md 交给编码智能体适配 — sherryyangML · 2026-09-19
- 编码智能体现场适配：新实验室任务成功率 0 到 10/10 — sherryyangML · 2026-09-19
- Agent 可移植性成刚需:有人着手集中管理 skills 与密钥跨平台切换 — ivanhzhao · 2026-09-19