Hackernews posts about Fermat

1. 01
   

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

   ▲ 8camel-cdr25ddiscusssavesaved
2. 02
   

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

   ▲ 7ColinWright24ddiscusssavesaved
3. 03
   

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

   ▲ 6sbulaev27d💬 1savesaved
4. 04
   

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

   ▲ 2fourfire28d💬 1savesaved
5. 05
   

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

   ▲ 299jmpman29d💬 166savesaved
6. 06
   

   newThe importance of stupidity in scientific researchfermatslibrary.com

   ▲ 1wslh29ddiscusssavesaved
7. 07
   

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

   ▲ 53xlmnxp21d💬 23savesaved
8. 08
   

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

   ▲ 10Tomte8d💬 1savesaved
9. 09
   

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

   ▲ 8Amin_Rigi19d💬 1savesaved
10. 10
    

    newVortex: One Format for Any Shapespiraldb.com

    ▲ 7ConnorTsui2018d💬 1savesaved
11. 11
    

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

    ▲ 7PeterCorless10ddiscusssavesaved
12. 12
    

    newOpus (Audio Format)en.wikipedia.org

    ▲ 6tosh28d💬 1savesaved
13. 13
    

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

    ▲ 5birdculture20d💬 1savesaved
14. 14
    

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

    ▲ 3speckx6ddiscusssavesaved
15. 15
    

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

    ▲ 3quysala1213ddiscusssavesaved
16. 16
    

    newTilia–A New Formatter for Haskellmarkkarpov.com

    ▲ 3ibobev17ddiscusssavesaved
17. 17
    

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

    ▲ 3devladpopov18ddiscusssavesaved
18. 18
    

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

    ▲ 3quysala1220ddiscusssavesaved
19. 19
    

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

    ▲ 3theanonymousone22ddiscusssavesaved
20. 20
    

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

    ▲ 2petarcrncec10d💬 2savesaved
21. 21
    

    newMystery surrounding the formation of asteroid Bennu solvedethz.ch

    ▲ 2geox2hdiscusssavesaved
22. 22
    

    newLaserdisc Formattechdocs.exodusemulator.com

    ▲ 2tosh4ddiscusssavesaved
23. 23
    

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

    ▲ 2aardvarkdriver6ddiscusssavesaved
24. 24
    

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

    ▲ 2quysala126ddiscusssavesaved
25. 25
    

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

    ▲ 2kadrek8ddiscusssavesaved
26. 26
    

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

    ▲ 2czl_my9ddiscusssavesaved
27. 27
    

    newAsk HN: Formatting Guidelines for LLM Comments

    ▲ 2manlymuppet13ddiscusssavesaved
28. 28
    

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

    ▲ 2leiships14ddiscusssavesaved
29. 29
    

    newOnyx: An interchange format for personal food diariesgithub.com

    ▲ 2dsemakin15ddiscusssavesaved
30. 30
    

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

    ▲ 2tjds17ddiscusssavesaved

· edit