Hackernews posts about Fermat

1. A Lean Formalisation of Fermat's Last Theorem (github.com)
   2 points by bcye 29 days ago | discuss
2. The magical number 7, plus or minus 2 (fermatslibrary.com)
   2 points by tzury 7 days ago | discuss
3. The Magical Number Seven, Plus or Minus Two (1956) (fermatslibrary.com)
   2 points by redbell 10 days ago | discuss
4. F3: Open-source data file format for the future [pdf] (db.cs.cmu.edu)
   373 points by eatonphil 2 days ago | 120 comments
5. Formatting code should be unnecessary (maxleiter.com)
   354 points by MaxLeiter 25 days ago | 476 comments
6. Asciinema CLI 3.0 rewritten in Rust, adds live streaming, upgrades file format (blog.asciinema.org)
   354 points by ku1ik 18 days ago | 82 comments
7. SQLite's File Format (www.sqlite.org)
   205 points by whatisabcdefgh 28 days ago | 82 comments
8. A love letter to the CSV format (2024) (medialab.sciencespo.fr)
   109 points by jordigh 23 days ago | 116 comments
9. Blockdiff: We built our own file format for VM disk snapshots (cognition.ai)
   90 points by cyanf 2 days ago | 20 comments
10. 6NF File Format (habr.com)
    76 points by sergeyprokhoren 30 days ago | 27 comments
11. A string formatting library in 65 lines of C++ (riki.house)
    51 points by PaulHoule 18 days ago | 23 comments
12. JWST peers deep into the heart of star formation in our Milky Way galaxy (www.space.com)
    29 points by Brajeshwar 7 days ago | discuss
13. The Guide to Open Table Formats: Iceberg, Delta Lake, Hudi, Paimon, and DuckLake (medium.com)
    9 points by alexmerced 6 days ago | 1 comments
14. F3: The Open-Source Data File Format for the Future (doi.org)
    9 points by matt_d 1 day ago | discuss
15. Linus Torvalds Vents over "Completely Crazy Rust Format Checking" (www.phoronix.com)
    7 points by welovebunnies about 2 hours ago | 3 comments
16. Ask HN: What should I consider when designing a custom embedded graphics format?
    3 points by denis_dolya 16 days ago | 4 comments
17. Which Table Format Do LLMs Understand Best? (Results for 11 Formats) (www.improvingagents.com)
    3 points by oidar about 5 hours ago | 1 comments
18. Tiny Vinyl is a new pocketable record format for the Spotify age (arstechnica.com)
    3 points by ksec 25 days ago | 1 comments
19. Nph – An opinionated code formatter for Nim (github.com)
    3 points by TheWiggles 4 days ago | discuss
20. Letter Format – Professional Letter Templates and Editor (letterformat.org)
    3 points by wsljhint 8 days ago | discuss
21. Lossless Compression of Neural Network Components in Low-Precision Formats (arxiv.org)
    3 points by PaulHoule 20 days ago | discuss
22. Tiny Vinyl is a new pocketable record format (arstechnica.com)
    3 points by maxwell 23 days ago | discuss
23. Text Format Feature Matrix (keenwrite.com)
    2 points by thangalin 24 days ago | 1 comments
24. ISO 8601 Duration Format (en.wikipedia.org)
    2 points by jpalomaki 30 days ago | 1 comments
25. Formation of giant Siberian gas emission craters (GECs) (www.sciencedirect.com)
    2 points by bookofjoe 2 days ago | discuss
26. Show HN: JSON formatter for API response debugging (ticketdesk.ai)
    2 points by vrathee 2 days ago | discuss
27. {fmt} v12: 60% faster double formatting, full constexpr, and C++ 20 modules (github.com)
    2 points by ashvardanian 16 days ago | discuss
28. C, C++, Java, JavaScript, JSON, and C# formatter based on Clang for Node.js (clang-format-node.lumir.page)
    2 points by beenzinozino 18 days ago | discuss
29. Vortex: Next-generation columnar file format (vortex.dev)
    2 points by datadrivenangel 21 days ago | discuss
30. Docling simplifies document processing, parsing diverse formats (github.com)
    2 points by javatuts 24 days ago | discuss