Hackernews posts about Fermat

RSS feed for Fermat

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