Verifying coding AIs for LLM powered software | Hacker News Reader