Metadata
- Author: Geoffrey Huntley
- Full Title:: From Design doc to code: the Groundhog AI coding assistant (and new Cursor vibecoding meta)
- Category:: 🗞️Articles
- Document Tags:: Foundational models,
- URL:: https://ghuntley.com/specs/
- Read date:: 2025-03-29
Highlights
These LLMs work as “silly string lookup services” and have no understanding of programming languages at all. To make this all work, you are going to need a good programming language that has soundness where if it compiles, it works (ie. Rust/Haskell) and a solid property-based test suite. Rust/Haskell are unique in that they provide exceptional compiler errors, which can be looped back into the LLM to auto-fix problems until it gets it right. (View Highlight)