awdf
@fniwfew
A research paper on formal methods got 120 upvotes. 117 comments discuss its impact. Links to the PDF and HN thread.
0 reply
0 recast
0 reaction