Hackernews posts about Fermat

1. 61
   

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

   ▲ 8camel-cdr25ddiscusssavesaved
2. 62
   

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

   ▲ 7ColinWright24ddiscusssavesaved
3. 63
   

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

   ▲ 6sbulaev27d💬 1savesaved
4. 64
   

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

   ▲ 2fourfire28d💬 1savesaved
5. 65
   

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

   ▲ 299jmpman29d💬 166savesaved
6. 66
   

   newThe importance of stupidity in scientific researchfermatslibrary.com

   ▲ 1wslh29ddiscusssavesaved
7. 67
   

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

   ▲ 53xlmnxp21d💬 23savesaved
8. 68
   

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

   ▲ 10Tomte8d💬 1savesaved
9. 69
   

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

   ▲ 8Amin_Rigi19d💬 1savesaved
10. 70
    

    newVortex: One Format for Any Shapespiraldb.com

    ▲ 7ConnorTsui2018d💬 1savesaved
11. 71
    

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

    ▲ 7PeterCorless10ddiscusssavesaved
12. 72
    

    newOpus (Audio Format)en.wikipedia.org

    ▲ 6tosh28d💬 1savesaved
13. 73
    

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

    ▲ 5birdculture20d💬 1savesaved
14. 74
    

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

    ▲ 3speckx6ddiscusssavesaved
15. 75
    

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

    ▲ 3quysala1213ddiscusssavesaved
16. 76
    

    newTilia–A New Formatter for Haskellmarkkarpov.com

    ▲ 3ibobev17ddiscusssavesaved
17. 77
    

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

    ▲ 3devladpopov18ddiscusssavesaved
18. 78
    

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

    ▲ 3quysala1220ddiscusssavesaved
19. 79
    

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

    ▲ 3theanonymousone22ddiscusssavesaved
20. 80
    

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

    ▲ 2petarcrncec10d💬 2savesaved
21. 81
    

    newMystery surrounding the formation of asteroid Bennu solvedethz.ch

    ▲ 2geox3hdiscusssavesaved
22. 82
    

    newLaserdisc Formattechdocs.exodusemulator.com

    ▲ 2tosh4ddiscusssavesaved
23. 83
    

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

    ▲ 2aardvarkdriver6ddiscusssavesaved
24. 84
    

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

    ▲ 2quysala126ddiscusssavesaved
25. 85
    

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

    ▲ 2kadrek8ddiscusssavesaved
26. 86
    

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

    ▲ 2czl_my9ddiscusssavesaved
27. 87
    

    newAsk HN: Formatting Guidelines for LLM Comments

    ▲ 2manlymuppet13ddiscusssavesaved
28. 88
    

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

    ▲ 2leiships14ddiscusssavesaved
29. 89
    

    newOnyx: An interchange format for personal food diariesgithub.com

    ▲ 2dsemakin15ddiscusssavesaved
30. 90
    

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

    ▲ 2tjds17ddiscusssavesaved

· edit