Wednesday, 26 January 2022

New top story on Hacker News: The Piano Test for Program Verification (2011)


Posted by at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)