Hackernews posts about Fermi

1. Make an educated guess on Fermi-style trivia questions (playdaily.org)
   3 points by emmanator3000 5 days ago | discuss
2. Fermi Explorer Bets on Today's Tech for an 80k Year Journey (spectrum.ieee.org)
   2 points by pseudolus 9 days ago | discuss
3. Dissolving the Fermi Paradox (2018) (arxiv.org)
   2 points by bumbledraven 10 days ago | discuss
4. Fermi Explorer (www.fermiexplorer.org)
   2 points by ColinWright 20 days ago | discuss
5. Fermi.gg – Daily game based on the "Fermi estimation" technique (fermi.gg)
   1 points by epaga 4 days ago | discuss
6. AI Plots 80k-Year Voyage Toward Alpha Centauri (spectrum.ieee.org)
   2 points by rbanffy 11 days ago | discuss
7. Formalizing Fermat's Last Theorem (www.anthropic.com)
   773 points by jlebar 18 days ago | 512 comments
8. Fermat's Last Theorem in Lean 4 (github.com)
   146 points by aaraujo002 18 days ago | 31 comments
9. Monsanto's Cruel, and Dangerous, Monopolization on American Farming (2008) (www.vanityfair.com)
   96 points by kamaraju 6 days ago | 38 comments
10. Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
    43 points by ravenical 18 days ago | 2 comments
11. The Feminist Was a Spy (uscpublicdiplomacy.org)
    32 points by mooreds 12 days ago | 50 comments
12. A "proof" of Fermat's Last Theorem that fits the margin (blog.trailofbits.com)
    8 points by camel-cdr 13 days ago | discuss
13. A "proof" of Fermat's Last Theorem that fits the margin (blog.trailofbits.com)
    7 points by ColinWright 12 days ago | discuss
14. JWST finds extreme star-forming galaxies masquerading as faint quasars (phys.org)
    6 points by wglb 10 days ago | 1 comments
15. Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days (www.nature.com)
    6 points by sbulaev 15 days ago | 1 comments
16. Show HN: Interactive 10M particles in WebGL forming a planets, in the browser (gaploid.github.io)
    4 points by gaploid 29 days ago | 1 comments
17. Could Shellfish Farming Fix Florida's Algal Bloom Problem? (reasonstobecheerful.world)
    3 points by speckx 28 days ago | 1 comments
18. 'Unique' partnership with Canada forming ahead of PM Carney speech: EU envoy (www.ctvnews.ca)
    3 points by vrganj 12 days ago | discuss
19. The Download: rethinking child safety and fossil-fueled farming (www.technologyreview.com)
    3 points by joozio 18 days ago | discuss
20. Claude formalized Fermat's Last Theorem in 11 days (www.anthropic.com)
    2 points by fourfire 16 days ago | 1 comments
21. Fermyon – Deploy and manage serverless WASM apps (www.fermyon.com)
    1 points by peter_d_sherman 11 days ago | discuss
22. AI's Inference Era of Ferment – By Ben Bajarin (www.thediligencestack.com)
    1 points by rbanffy 26 days ago | discuss
23. Ask HN: Fable hacked my piano, can I release the results?
    299 points by jmpman 17 days ago | 166 comments
24. Ask HN: How do you build organic traction as an indie dev?
    7 points by charm137 17 days ago | 7 comments
25. Show HN: BAIhAIs – an autonomous art school for AI agents (baihais.com)
    5 points by demonstrandom 26 days ago | 2 comments
26. Show HN: A hash-chained ledger for AI reasoning you can verify yourself (www.sdi-protocol.org)
    3 points by dj_johnsonMid 28 days ago | 1 comments
27. Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
    2 points by spacedcowboy 6 days ago | 10 comments
28. I killed every houseplant I owned, so I built an app to stop doing that
    2 points by gongshaojie12 15 days ago | 3 comments
29. Gloria Steinem has died (www.theguardian.com)
    151 points by mellosouls 19 days ago | 64 comments
30. Humpback whales are interrupting orca hunts to rescue different species (spacedaily.com)
    9 points by cobbzilla 15 days ago | discuss