The Limits of Correctness [pdf]student.cs.uwaterloo.ca2 points·jjuhl··0 commentsOpen articleSaveView on HN