Comment Comment by hombre_fatal Trivially debunked with the prompt "find technical debt to fix".https://github.com/danneu/danterm/blob/749942ffa1198f520c8b7...Here's the result of a prompt that specifically looks for correctness and simplifications to make "by construction" before I added "Design bar: ensure correctness by construction rather than by convention" to AGENTS.md:https://github.com/danneu/danterm/blob/749942ffa1198f520c8b7... parent hombre_fatal 2 months ago
https://github.com/danneu/danterm/blob/749942ffa1198f520c8b7...
Here's the result of a prompt that specifically looks for correctness and simplifications to make "by construction" before I added "Design bar: ensure correctness by construction rather than by convention" to AGENTS.md:
https://github.com/danneu/danterm/blob/749942ffa1198f520c8b7...