New top story on Hacker News: A Special Issue on Formal Proof (2008)
New top story on Hacker News: A Special Issue on Formal Proof (2008) https://ift.tt/tD8jZuW
How to Stay Sane in Brutalizing Times
By David Brooks via NYT Opinion https://ift.tt/JNKQ4Be
Comments
Post a Comment