New top story on Hacker News: The Thinker and the Prover: Complete Threads One-Six (2020)

New top story on Hacker News: The Thinker and the Prover: Complete Threads One-Six (2020) https://ift.tt/3p9ENFm