Hackernews posts about Fermat

RSS feed for Fermat

31
newA "proof" of Fermat's Last Theorem that fits the marginblog.trailofbits.com
▲ 8camel-cdr 25d discuss
32
newA "proof" of Fermat's Last Theorem that fits the marginblog.trailofbits.com
▲ 7ColinWright 24d discuss
33
newAnthropic AI 'formalizes' proof of Fermat's last theorem in just 11 dayswww.nature.com
▲ 6sbulaev 27d 💬 1
34
newClaude formalized Fermat's Last Theorem in 11 dayswww.anthropic.com
▲ 2fourfire 28d 💬 1
35
newAsk HN: Fable hacked my piano, can I release the results?
▲ 299jmpman 29d 💬 166
36
newThe importance of stupidity in scientific researchfermatslibrary.com
▲ 1wslh 29d discuss
37
newCpak – OCI application package format for Linux desktops, servers and devicescpak.it
▲ 53xlmnxp 21d 💬 23
38
newA4 paper format / International standard paper sizes (2025)www.cl.cam.ac.uk
▲ 10Tomte 8d 💬 1
39
newShow HN: DaiDocs, AI memory as a plain-text file format, not a servicegithub.com
▲ 8Amin_Rigi 19d 💬 1
40
newVortex: One Format for Any Shapespiraldb.com
▲ 7ConnorTsui20 18d 💬 1
41
newAstronomers capture an unprecedented view of gas giant formation in actionphys.org
▲ 7PeterCorless 10d discuss
42
newOpus (Audio Format)en.wikipedia.org
▲ 6tosh 28d 💬 1
43
newMergiraf: A Syntax-Aware Git Merge Driver for Various Languages and Formatscodeberg.org
▲ 5birdculture 20d 💬 1
44
newKindle Direct publishing limits to 2 titles per format per weekwww.kdpcommunity.com
▲ 3speckx 6d discuss
45
newHow to export ChatGPT to Google Docs without losing formatting [video]www.youtube.com
▲ 3quysala12 13d discuss
46
newTilia–A New Formatter for Haskellmarkkarpov.com
▲ 3ibobev 17d discuss
47
newShow HN: TypeScript parser for AIXM, the FAA/EUROCONTROL aviation data formatgithub.com
▲ 3devladpopov 18d discuss
48
newHow to copy tables from ChatGPT to Google Docs without losing formatting [video]www.youtube.com
▲ 3quysala12 20d discuss
49
newatx, the true structured text format (2002)www.aaronsw.com
▲ 3theanonymousone 22d discuss
50
newI reverse-engineered AutoCAD's 3D format to convert DWG to STEP with Claudecadyon.com
▲ 2petarcrncec 10d 💬 2
51
newMystery surrounding the formation of asteroid Bennu solvedethz.ch
▲ 2geox 3h discuss
52
newLaserdisc Formattechdocs.exodusemulator.com
▲ 2tosh 4d discuss
53
newI made a digital back for the Mamiya Press (medium format CCD)www.youtube.com
▲ 2aardvarkdriver 6d discuss
54
newHow to export ChatGPT to word without losing formatting [video]www.youtube.com
▲ 2quysala12 6d discuss
55
newDofigen: A high(er)-level YAML/JSON format for generating Dockerfilesgithub.com
▲ 2kadrek 8d discuss
56
newShow HN: Jevper – an LLM API client constrained to the Jev wire formatgithub.com
▲ 2czl_my 9d discuss
57
newAsk HN: Formatting Guidelines for LLM Comments
▲ 2manlymuppet 13d discuss
58
newShow HN: Web Tools List – browser tools grouped by the job, not the formatwebtoolslist.com
▲ 2leiships 14d discuss
59
newOnyx: An interchange format for personal food diariesgithub.com
▲ 2dsemakin 15d discuss
60
newShow HN: Windows-style Excel ribbon shortcuts and formatting macros for Maclightningxl.com
▲ 2tjds 17d discuss