eduardito.dev blog https://eduardito.dev/blog/ Articles and opinion on data, software engineering, and AI systems. Specs over vibes — formal verification and static analysis in the AI coding era https://eduardito.dev/blog/specs-over-vibes/ https://eduardito.dev/blog/specs-over-vibes/ Mon, 13 Apr 2026 00:00:00 GMT LLMs are getting remarkably good at writing formally verified code. Adding natural-language prompts isn't what moves the needle — writing precise specs is.