fp.

Formalizing Fermat's Last Theorem

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

422•jlebar•4h ago•272 comments

Actively exploited sandbox RCE in all Chromium versions

https://nvd.nist.gov/vuln/detail/cve-2026-85046

88•negura•1h ago•34 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/

131•p4bl0•2h ago•41 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1414•moultano•11h ago•1139 comments

GPT-6 Astra on OpenRouter

https://openrouter.ai/openai/gpt-6-astra

66•Topfi•1h ago•29 comments

Can AI design circuit boards yet?

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

126•iopapa•3h ago•72 comments

Shutting down our public encrypted DNS

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

209•mywacaday•4h ago•75 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/

47•mooreds•3h ago•9 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

209•stingrae•6h ago•70 comments

RSA-260 Factorized

https://twitter.com/penlume/status/2095372672356212876

40•samyok•1d ago•14 comments

Digital Sovereignty Is Written in PHP

https://thephp.foundation/blog/2026/09/02/digital-sovereignty-is-written-in-php/

33•taubek•2d ago•1 comments

Government Rails Site Hit Hours After CVE Patch

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

63•rietta•4h ago•14 comments

Record-High 89% in U.S. Say Government Corruption Widespread

https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx

71•karakoram•1h ago•31 comments

The Rust React Compiler is now native in Vite

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

101•acusti•5h ago•19 comments

Fermat's Last Theorem in Lean 4

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

47•aaraujo002•4h ago•10 comments

IBM Bob

https://bob.ibm.com/

209•artpar•10h ago•250 comments

How to Create a Tor Exit Node (2015)

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

31•Eridanus2•3h ago•18 comments

Decompiler Explorer

https://dogbolt.org

23•tripdout•3d ago•1 comments

deSEC – Free Secure DNS

https://desec.io/

98•gurjeet•7h ago•39 comments

Solving the Jane Street reverse engineering challenge

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

381•anitil•13h ago•84 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/

14•turtleyacht•2h ago•0 comments

Icons as a Service

https://nravic.com/blog/images/

8•nravic•1h ago•0 comments

The Wormhole Hall of Shame

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

23•rznicolet•4d ago•9 comments

Project HydraFusion: Frontier quality via multi-model orchestration

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

58•qainsights•7h ago•29 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...

303•speckx•6h ago•187 comments

Can guitar frets perform multiplication?

https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.html

4•wibbily•52m ago•0 comments

Fomu An FPGA board that fits inside your USB port

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

24•Bluestein•2d ago•5 comments

Deadpan Photography: Enjoying the Pretence

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

27•NaOH•3d ago•14 comments

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

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

1•alexchantavy•11h ago

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

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

58•garrinm•6h ago•146 comments

Formalizing Fermat's Last Theorem

Actively exploited sandbox RCE in all Chromium versions

Statichost.eu – European static site hosting

Discovery of a new OpenAI agent message board

GPT-6 Astra on OpenRouter

Can AI design circuit boards yet?

Shutting down our public encrypted DNS

An open DNS recursive service for free security and high privacy

Show HN: Open-Source eInk Bike Computer

RSA-260 Factorized

Digital Sovereignty Is Written in PHP

Government Rails Site Hit Hours After CVE Patch

Record-High 89% in U.S. Say Government Corruption Widespread

The Rust React Compiler is now native in Vite

Fermat's Last Theorem in Lean 4

IBM Bob

How to Create a Tor Exit Node (2015)

Decompiler Explorer

deSEC – Free Secure DNS

Solving the Jane Street reverse engineering challenge

Updates on HEIR, the Homomorphic Encryption Compiler Project

Icons as a Service

The Wormhole Hall of Shame

Project HydraFusion: Frontier quality via multi-model orchestration

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

Can guitar frets perform multiplication?

Fomu An FPGA board that fits inside your USB port

Deadpan Photography: Enjoying the Pretence

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

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

Without new landers or rovers, it's helicopters or bust for NASA's Mars program

Formalizing Fermat's Last Theorem

Actively exploited sandbox RCE in all Chromium versions

Statichost.eu – European static site hosting

Discovery of a new OpenAI agent message board

GPT-6 Astra on OpenRouter

Can AI design circuit boards yet?

Shutting down our public encrypted DNS

An open DNS recursive service for free security and high privacy

Show HN: Open-Source eInk Bike Computer

RSA-260 Factorized

Digital Sovereignty Is Written in PHP

Government Rails Site Hit Hours After CVE Patch

Record-High 89% in U.S. Say Government Corruption Widespread

The Rust React Compiler is now native in Vite

Fermat's Last Theorem in Lean 4

IBM Bob

How to Create a Tor Exit Node (2015)

Decompiler Explorer

deSEC – Free Secure DNS

Solving the Jane Street reverse engineering challenge

Updates on HEIR, the Homomorphic Encryption Compiler Project

Icons as a Service

The Wormhole Hall of Shame

Project HydraFusion: Frontier quality via multi-model orchestration

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

Can guitar frets perform multiplication?

Fomu An FPGA board that fits inside your USB port

Deadpan Photography: Enjoying the Pretence

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

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