Saturday, March 21, 2020

Code Equivalences from the Little Prover

Article URL: http://www.javiercasas.com/articles/code-equivalences/

Comments URL: https://news.ycombinator.com/item?id=22651244

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2xWxsSF
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Suck: A Landmark Magazine of the Early Web (2016)

Article URL: https://www.theatlantic.com/technology/archive/2016/03/suck-webzine/473853/ Comments URL: https://news.ycombinator.com/item?id...