> becoming debugging the hardest things to debug This is my current role, and one of the biggest reasons AI doesn't really help me day to day agent or otherwis

> becoming debugging the hardest things to debug This is my current role, and one of the biggest reasons AI doesn't really help me day to day agent or otherwise. In my ideal world, AI become so proficient at writing code that they eventually develop their own formally verifiable programming language, purpose built to be verifiable. So that there wouldn't be room for unknown unknowns.