Hackernews posts about Fermi

1. Is There a Simple Solution to the Fermi Paradox? [video] (www.youtube.com)
   2 points by simonebrunozzi 21 days ago | 1 comments
2. The Fermi Paradox Just Got Worse [video] (www.youtube.com)
   2 points by Bender 30 days ago | discuss
3. Fermi Explorer (www.fermiexplorer.org)
   1 points by ColinWright 6 days ago | discuss
4. Formalizing Fermat's Last Theorem (www.anthropic.com)
   770 points by jlebar 4 days ago | 509 comments
5. Fermat's Last Theorem in Lean 4 (github.com)
   146 points by aaraujo002 4 days ago | 33 comments
6. Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
   41 points by ravenical 4 days ago | 2 comments
7. A historic El Nino is forming. Here's why scientists are worried [video] (www.youtube.com)
   21 points by ksec 16 days ago | 1 comments
8. Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days (www.nature.com)
   6 points by sbulaev about 17 hours ago | 1 comments
9. Show HN: Interactive 10M particles in WebGL forming a planets, in the browser (gaploid.github.io)
   4 points by gaploid 15 days ago | 1 comments
10. Feminism didn't kill the male breadwinner model, the economy did (www.ft.com)
    4 points by go4rayyan 17 days ago | discuss
11. The Depth of Wiles's Proof of Fermat's Last Theorem (arxiv.org)
    4 points by root-parent 19 days ago | discuss
12. Could Shellfish Farming Fix Florida's Algal Bloom Problem? (reasonstobecheerful.world)
    3 points by speckx 14 days ago | 1 comments
13. The Download: rethinking child safety and fossil-fueled farming (www.technologyreview.com)
    3 points by joozio 4 days ago | discuss
14. Will factory farming fix itself? (www.worksinprogress.news)
    3 points by devitoria 25 days ago | discuss
15. The global fertility freefall: trends, drivers and uncertainties (www.sciencedirect.com)
    2 points by barry-cotter 27 days ago | 2 comments
16. Claude formalized Fermat's Last Theorem in 11 days (www.anthropic.com)
    2 points by fourfire 1 day ago | 1 comments
17. The cost of forming an LLC in every US state (2026) (www.incorpassist.com)
    2 points by incorpassist 17 days ago | discuss
18. Women's health app focused on cycle symptom relief as opposed to just fertility (dotdayshealth.com)
    2 points by mdmoses 27 days ago | discuss
19. AI's Inference Era of Ferment – By Ben Bajarin (www.thediligencestack.com)
    1 points by rbanffy 12 days ago | discuss
20. Snap-On Toolbox from 'Ferris Bueller's Day Off' Is Up for Auction (www.jalopnik.com)
    1 points by mooreds 28 days ago | discuss
21. Ask HN: Fable hacked my piano, can I release the results?
    292 points by jmpman 3 days ago | 160 comments
22. Ask HN: How do you build organic traction as an indie dev?
    7 points by charm137 3 days ago | 5 comments
23. Show HN: BAIhAIs – an autonomous art school for AI agents (baihais.com)
    5 points by demonstrandom 12 days ago | 2 comments
24. Show HN: A hash-chained ledger for AI reasoning you can verify yourself (www.sdi-protocol.org)
    3 points by dj_johnsonMid 14 days ago | 1 comments
25. I killed every houseplant I owned, so I built an app to stop doing that
    2 points by gongshaojie12 about 16 hours ago | 2 comments
26. I'd love to feature your business in my newsletter
    2 points by xnslx 23 days ago | discuss
27. Show HN: The Rotten Tomatoes for AI films, ranked by the tools that made them (popcorn.movie)
    1 points by deIeted 28 days ago | discuss
28. Computers Are Just a Tool
    1 points by DesaiAshu 30 days ago | discuss
29. Gloria Steinem has died (www.theguardian.com)
    151 points by mellosouls 5 days ago | 64 comments
30. Humpback whales are interrupting orca hunts to rescue different species (spacedaily.com)
    9 points by cobbzilla 1 day ago | discuss