Verifying LLM-Generated Code | Dark Hacker News