Hackernews posts about Fermat

1. Solving Fermat: Andrew Wiles (www.pbs.org)
   84 points by 1970-01-01 24 days ago | 36 comments
2. Andrew Wiles on proving Fermat’s Last Theorem (1995) [video] (www.youtube.com)
   69 points by jackdoe 14 days ago | 42 comments
3. The Depth of Wiles's Proof of Fermat's Last Theorem (arxiv.org)
   4 points by root-parent about 11 hours ago | discuss
4. Deriving human size from fundamental constants (twitter.com)
   2 points by MrBuddyCasino 5 days ago | discuss
5. Unraveling the mysteries of habit formation (www.kyoto-u.ac.jp)
   122 points by hhs 19 days ago | 54 comments
6. IMAX vs. IMAX 70mm: The difference between these two cinema formats (www.engadget.com)
   90 points by ksec 26 days ago | 145 comments
7. Western Europe, State Formation, and Genetic Pacification (journals.sagepub.com)
   9 points by like_any_other 26 days ago | 2 comments
8. Open Knowledge format v0.2 tackles agentic trust (cloud.google.com)
   7 points by alwillis 25 days ago | 2 comments
9. Sqlfmt: An SQL gofmt-style formatter (tapoueh.org)
   6 points by plaur782 8 days ago | discuss
10. Two month calendar format for pocket notebooks (ratfactor.com)
    6 points by meysamazad 30 days ago | discuss
11. Ask HN: What is a good format for a tool to report data to a LLM?
    5 points by michaelmure 16 days ago | 6 comments
12. AI Coding will Prevent Expertise – The need for friction in skill formation (larsfaye.com)
    4 points by larsfaye 27 days ago | 6 comments
13. I reverse-engineering the closed GoodNotes format using LLMs (github.com)
    4 points by Kaih1825 about 10 hours ago | 1 comments
14. anydoc: Rust library that converts 14 document formats to Markdown (github.com)
    4 points by amplitudes 15 days ago | discuss
15. Southern California radio station lays off staff switches to all-music format (ktla.com)
    4 points by Bender 18 days ago | discuss
16. Understanding the HEIC Format (sites.google.com)
    3 points by suolex 4 days ago | 4 comments
17. Surface – KDL Specification Format – Experimental (github.com)
    3 points by etoxin 19 days ago | 1 comments
18. Free Formatter – Online coding tools website shuts down after 10 years (www.freeformatter.com)
    3 points by thatsnotmepls 23 days ago | 1 comments
19. Show HN: Is your Odyssey screening cropped? A tool to check your theater format (niamey-seven.vercel.app)
    3 points by theanswa 23 days ago | 1 comments
20. ZEON – A token-efficient data format for LLMs (zeon-eight.vercel.app)
    3 points by Schicksal 2 days ago | discuss
21. Show HN: Lingerlet – a tool that formats text to look like physical letter (lingerlet.com)
    3 points by zifanw9 4 days ago | discuss
22. Capital Formation (pluralistic.net)
    3 points by hn_acker 6 days ago | discuss
23. Show HN: ARF – a record format for AI evaluation runs, with reproducible digests (www.korvo.xyz)
    3 points by akshay_bhardwaj 14 days ago | discuss
24. iMessage-Exporter: Reverse Engineering Apple's Typedstream Format (chrissardegna.com)
    3 points by devy 16 days ago | discuss
25. Lyricsfile is a YAML-based format for lyrics (lrclib.net)
    3 points by coolcoder613 22 days ago | discuss
26. Show HN: agent-hop – reverse-engineered session formats to resume in any agent (github.com)
    2 points by HetPatel106 12 days ago | 2 comments
27. Agent identity, plus context and memory: three IANA-registered formats (zenodo.org)
    2 points by wolfejam 3 days ago | 1 comments
28. Console.log recursively processes format specifiers introduced by %s (issues.chromium.org)
    2 points by dfranke 12 days ago | 1 comments
29. Chinese Researchers Create Neural Network for Modeling Human Concept Formation (english.cas.cn)
    2 points by yogthos 17 days ago | 1 comments
30. Show HN: Icebug-format: immutable, interoperable graph standard (github.com)
    2 points by adsharma about 4 hours ago | discuss