Victor Taelin hits back at HN accusation of "vibe coding" a formal proof language after 10 years in the field
IgorCarron · x · 2026-09-19
Engineer Victor Taelin says a front-page Hacker News post accused him of shipping a "vibe coded" formal proof language without researching the field. He pushed back, noting he has spent 10 years researching the field daily and posted a detailed rebuttal. Igor Carron amplified the reply. A notable AI-circle drama around the vibe coding debate.
More from coding & agent
- mitsuhiko: team gave web components an honest chance, went all in on React — mitsuhiko · 2026-09-19
- jev runs ~14.8x faster than DeepSeek+vision on real-device Android e2e testing — kevinkern · 2026-09-19
- Claude Code 2.1.277 adds AGENTS.md support, falling back when CLAUDE.md is missing — romainhuet · 2026-09-19
- -render + jev experiment shows instant Generative UI rendered in milliseconds — cramforce · 2026-09-19
- Stop Building AI Agents Like Coding Agents: A 6-Step Framework for Knowledge Work — MaryamMiradi · 2026-09-19
- Practical Jev uses: classifying prompts by tier and auto-detecting refusals — QuixiAI · 2026-09-19