Hacker News new | ask | show | jobs
by bobbiechen 2 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-...