Ask HN: How are you preventing sloppy verification with AI-assisted coding? | Dark Hacker News