Thursday, October 3, 2024

New best story on Hacker News: Is the world really running out of sand?

Is the world really running out of sand?
497 by chmaynard | 207 comments on Hacker News.


New best story on Hacker News: Formalizing Fermat's Last Theorem

Formalizing Fermat's Last Theorem 426 by jlebar | 275 comments on Hacker News. https://ift.tt/6bWPz07...