Bootstrapping Mechanical Correctnessartagnon.com2 points·artagnon··0 commentsOpen articleSaveView on HN