Hackernews posts about Fermat

1. Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com)
   127 points by anonyonoor 18 days ago | 79 comments
2. A 'Grand Unified Theory' of Math Just Got a Little Bit Closer (www.wired.com)
   5 points by baruchel 22 days ago | discuss
3. A 'Grand Unified Theory' of Math Just Got a Little Bit Closer (www.wired.com)
   4 points by Brajeshwar 20 days ago | discuss
4. Tumbling toast, Murphy's Law and I I the fundamental constants (fermatslibrary.com)
   1 points by BerislavLopac 27 days ago | discuss
5. Harmony: OpenAI's response format for its open-weight model series (github.com)
   374 points by meetpateltech 13 days ago | 50 comments
6. Life, Work, Death and the Peasant: Family Formation (acoup.blog)
   213 points by Khaine 17 days ago | 83 comments
7. I prefer human-readable file formats (adele.pollux.casa)
   98 points by Bogdanp 9 days ago | 78 comments
8. The FastLanes File Format [pdf] (github.com)
   77 points by jandrewrogers 25 days ago | 21 comments
9. Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf] (www.urbanphysics.net)
   50 points by PaulHoule 20 days ago | 17 comments
10. Lance v2: A columnar container format for modern data (2024) (blog.lancedb.com)
    8 points by fzliu 21 days ago | discuss
11. Key neurophysiological mechanism in human memory formation identified (medicalxpress.com)
    7 points by PaulHoule 13 days ago | discuss
12. Fmtlib / fmt A modern formatting library (github.com)
    7 points by Bluestein 29 days ago | discuss
13. LiteLLM Python SDK Proxy Server LLM Gateway Call 100 LLM APIs in OpenAI Format (github.com)
    5 points by Bluestein 25 days ago | discuss
14. Show HN: Mcp-error-formatter – Cursor-style JSON errors for any MCP/LLM tool (github.com)
    4 points by MutedEstate45 15 days ago | 2 comments
15. A macOS application to remove Apple's AEA encryption format
    4 points by TheiPhoneDev 17 days ago | discuss
16. Making of SARE: How I Designed a File Format for Encrypted Data From Scratch (zola.ink)
    3 points by znano 11 days ago | 2 comments
17. Address Formats Around the World (w3c.github.io)
    3 points by mooreds 11 days ago | 1 comments
18. FastLanes: Next-Gen Big Data File Format (github.com)
    3 points by thunderbong 24 days ago | 1 comments
19. Pure: A static analysis file format checker for Zip files (github.com)
    3 points by Bogdanp 5 days ago | discuss
20. ZIM (File Format) (en.wikipedia.org)
    3 points by teleforce 8 days ago | discuss
21. Manpupuner Rock Formations (en.wikipedia.org)
    3 points by vinnyglennon 14 days ago | discuss
22. Firefox's optimized zip format: reading zip files quickly (taras.glek.net)
    3 points by fanf2 20 days ago | discuss
23. .aix – A portable execution format for scoped AI (personas, tools, and logic) (github.com)
    2 points by BlackWater85 11 days ago | 2 comments
24. OpenAI Harmony Response Format (cookbook.openai.com)
    2 points by 0xedb 13 days ago | 1 comments
25. Show HN: Translate subtitle files in any format and language using LLMs (github.com)
    2 points by theali 14 days ago | 1 comments
26. I Built a Modern CSS Formatter to Replace CSSComb (n8d.at)
    2 points by Birkoff 19 days ago | 1 comments
27. Indirect Prompt Injections Exploit Context, Format, and Salience (www.fogel.dev)
    2 points by todsacerdoti about 1 hour ago | discuss
28. MapLibre Tile: A next generation geospatial format optimized for rendering (arxiv.org)
    2 points by mtremmel about 10 hours ago | discuss
29. Does Prompt Formatting Have Any Impact on LLM Performance? (arxiv.org)
    2 points by ulrischa 8 days ago | discuss
30. "OpenAI Harmony Response Format": standardize CoT+tools via <|specialtokens|> (cookbook.openai.com)
    2 points by almatia 12 days ago | discuss