Super HN

   Formal Methods Only Solve Half My Problems (brooker.co.za) 6 points by signa11 4 days ago