Tuesday, March 3, 2026

New best story on Hacker News: MacBook Pro with new M5 Pro and M5 Max

MacBook Pro with new M5 Pro and M5 Max
547 by scrlk | 536 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...