New top story on Hacker News: A Self-Verifying Theorem Prover (2009) [pdf] Get link Facebook X Pinterest Email Other Apps July 30, 2021 A Self-Verifying Theorem Prover (2009) [pdf] 3 by luu | 0 comments on Hacker News. Get link Facebook X Pinterest Email Other Apps Comments
New top story on Hacker News: 20Y study finds little evidence religiosity leads to greater life satisfaction October 23, 2021 20Y study finds little evidence religiosity leads to greater life satisfaction 8 by giuliomagnifico | 0 comments on Hacker News. Read more
New top story on Hacker News: Why didn’t auto-braking stop these crashes? October 07, 2021 Why didn’t auto-braking stop these crashes? 24 by heavyset_go | 6 comments on Hacker News. Read more
New top story on Hacker News: Condo boards everywhere are unprepared for serious repairs July 02, 2021 Condo boards everywhere are unprepared for serious repairs 11 by prostoalex | 6 comments on Hacker News. Read more
Comments
Post a Comment