Verifying coding AIs for LLM powered software | Dark Hacker News