fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem

330•jlebar•3h ago•212 comments

Statichost.eu – 100% European static site hosting

https://www.statichost.eu/

62•p4bl0•1h ago•16 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1353•moultano•10h ago•1098 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/

76•iopapa•2h ago•54 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...

169•mywacaday•3h ago•59 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/

25•mooreds•1h ago•7 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

184•stingrae•4h ago•60 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/

49•rietta•2h ago•12 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/

81•acusti•4h ago•15 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem

27•aaraujo002•2h ago•6 comments

deSEC – Free Secure DNS

https://desec.io/

89•gurjeet•6h ago•33 comments

IBM Bob

https://bob.ibm.com/

197•artpar•9h ago•233 comments

How to Create a Tor Exit Node

https://madpsy.uk/how-to-create-a-tor-exit-node/

17•Eridanus2•1h ago•11 comments

Fomu An FPGA board that fits inside your USB port

https://www.crowdsupply.com/sutajio-kosagi/fomu

11•Bluestein•2d ago•1 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html

363•anitil•11h ago•82 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...

262•speckx•5h ago•148 comments

The Wormhole Hall of Shame

https://rznicolet.com/2026/07/05/wormhole-hall-of-shame/

12•rznicolet•4d ago•8 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...

49•qainsights•5h ago•28 comments

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/

16•NaOH•3d ago•7 comments

People that worked on the same idea for decades

https://nityasnotes.com/writing/decades/

41•sebg•1d ago•20 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md

72•gioscarab•12h ago•25 comments

Corporate America is getting hooked on open-source AI

https://www.nytimes.com/2026/09/04/technology/open-source-ai-anthropic-openai.html

234•aaraujo002•6h ago•222 comments

"Next-token predictor" is the wrong mental model for LLMs

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html

37•garrinm•4h ago•88 comments

Elevator of the Year: Modernization of the Metropolis Trust Building

https://www.starelevator.com/projects/star-elevator-modernization-of-the-metropolis-trust-building

135•palashawas•3d ago•49 comments

Getting Started with AT Protocol

https://bnb.im/posts/atproto-essential-resources/

69•evakhoury•3d ago•24 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer

1•alexchantavy•9h ago

The Two Abstractions of System Design: Hide or Reduce

http://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html

94•ubolonton_•2d ago•10 comments

Ok, but does it scale?

https://spacetimedb.com/blog/how-does-spacetime-scale

102•theanonymousone•9h ago•62 comments

GPT-6 Astra

https://openai.com/index/gpt-6-astra/

2138•kibae•1d ago•1943 comments

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

https://www.millersbookreview.com/p/arrested-for-a-late-manuscript-seicho-matsumoto-tokyo-express

16•benbreen•1d ago•3 comments

Open in hackernews

Fermat's Last Theorem: Anthropic has beaten me to it

https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/

24•ravenical•55m ago

Comments

ChrisArchitect•37m ago

Discussion:

https://news.ycombinator.com/item?id=49568506

dang•24m ago

Related ongoing thread:

Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - Sept 2026 (177 comments)

Discussion of Kevin's post in the top subthread:

https://news.ycombinator.com/item?id=49568667

(I'd much prefer the xenaproject link to be the #1 on HN but it seems fair to give Anthropic their due in this case!)