Hacker News new | ask | show | jobs
Verifying coding AIs for LLM powered software (aunhumano.com)
2 points by mfalcon 137 days ago