Hacker News new | ask | show | jobs
by bobbiechen 49 days ago
Nice share. Increasingly I am thinking about ways to improve verification ("interestingness tests"), ever since reading https://www.jasonwei.net/blog/asymmetry-of-verification-and-...