Hacker News new | ask | show | jobs
Tests and types – on business correctness vs. program correctness (stitcher.io)
1 points by sebdedeyne 2557 days ago