Hackernews posts about Fermat

1. 91
   

   newA "proof" of Fermat's Last Theorem that fits the marginblog.trailofbits.com

   ▲ 8camel-cdr25ddiscusssavesaved
2. 92
   

   newA "proof" of Fermat's Last Theorem that fits the marginblog.trailofbits.com

   ▲ 7ColinWright24ddiscusssavesaved
3. 93
   

   newAnthropic AI 'formalizes' proof of Fermat's last theorem in just 11 dayswww.nature.com

   ▲ 6sbulaev27d💬 1savesaved
4. 94
   

   newClaude formalized Fermat's Last Theorem in 11 dayswww.anthropic.com

   ▲ 2fourfire28d💬 1savesaved
5. 95
   

   newAsk HN: Fable hacked my piano, can I release the results?

   ▲ 299jmpman29d💬 166savesaved
6. 96
   

   newThe importance of stupidity in scientific researchfermatslibrary.com

   ▲ 1wslh29ddiscusssavesaved
7. 97
   

   newCpak – OCI application package format for Linux desktops, servers and devicescpak.it

   ▲ 53xlmnxp21d💬 23savesaved
8. 98
   

   newA4 paper format / International standard paper sizes (2025)www.cl.cam.ac.uk

   ▲ 10Tomte8d💬 1savesaved
9. 99
   

   newShow HN: DaiDocs, AI memory as a plain-text file format, not a servicegithub.com

   ▲ 8Amin_Rigi19d💬 1savesaved
10. 100
    

    newVortex: One Format for Any Shapespiraldb.com

    ▲ 7ConnorTsui2018d💬 1savesaved
11. 101
    

    newAstronomers capture an unprecedented view of gas giant formation in actionphys.org

    ▲ 7PeterCorless10ddiscusssavesaved
12. 102
    

    newOpus (Audio Format)en.wikipedia.org

    ▲ 6tosh28d💬 1savesaved
13. 103
    

    newMergiraf: A Syntax-Aware Git Merge Driver for Various Languages and Formatscodeberg.org

    ▲ 5birdculture20d💬 1savesaved
14. 104
    

    newKindle Direct publishing limits to 2 titles per format per weekwww.kdpcommunity.com

    ▲ 3speckx6ddiscusssavesaved
15. 105
    

    newHow to export ChatGPT to Google Docs without losing formatting [video]www.youtube.com

    ▲ 3quysala1213ddiscusssavesaved
16. 106
    

    newTilia–A New Formatter for Haskellmarkkarpov.com

    ▲ 3ibobev17ddiscusssavesaved
17. 107
    

    newShow HN: TypeScript parser for AIXM, the FAA/EUROCONTROL aviation data formatgithub.com

    ▲ 3devladpopov18ddiscusssavesaved
18. 108
    

    newHow to copy tables from ChatGPT to Google Docs without losing formatting [video]www.youtube.com

    ▲ 3quysala1220ddiscusssavesaved
19. 109
    

    newatx, the true structured text format (2002)www.aaronsw.com

    ▲ 3theanonymousone22ddiscusssavesaved
20. 110
    

    newI reverse-engineered AutoCAD's 3D format to convert DWG to STEP with Claudecadyon.com

    ▲ 2petarcrncec10d💬 2savesaved
21. 111
    

    newMystery surrounding the formation of asteroid Bennu solvedethz.ch

    ▲ 2geox4hdiscusssavesaved
22. 112
    

    newLaserdisc Formattechdocs.exodusemulator.com

    ▲ 2tosh4ddiscusssavesaved
23. 113
    

    newI made a digital back for the Mamiya Press (medium format CCD)www.youtube.com

    ▲ 2aardvarkdriver6ddiscusssavesaved
24. 114
    

    newHow to export ChatGPT to word without losing formatting [video]www.youtube.com

    ▲ 2quysala126ddiscusssavesaved
25. 115
    

    newDofigen: A high(er)-level YAML/JSON format for generating Dockerfilesgithub.com

    ▲ 2kadrek8ddiscusssavesaved
26. 116
    

    newShow HN: Jevper – an LLM API client constrained to the Jev wire formatgithub.com

    ▲ 2czl_my10ddiscusssavesaved
27. 117
    

    newAsk HN: Formatting Guidelines for LLM Comments

    ▲ 2manlymuppet13ddiscusssavesaved
28. 118
    

    newShow HN: Web Tools List – browser tools grouped by the job, not the formatwebtoolslist.com

    ▲ 2leiships14ddiscusssavesaved
29. 119
    

    newOnyx: An interchange format for personal food diariesgithub.com

    ▲ 2dsemakin15ddiscusssavesaved
30. 120
    

    newShow HN: Windows-style Excel ribbon shortcuts and formatting macros for Maclightningxl.com

    ▲ 2tjds17ddiscusssavesaved

· edit