fp.

Formalizing Fermat's Last Theorem

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

402•jlebar•4h ago•261 comments

Actively exploited sandbox RCE in all Chromium versions

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

55•negura•1h ago•11 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/

121•p4bl0•2h ago•39 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1401•moultano•11h ago•1122 comments

Can AI design circuit boards yet?

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

115•iopapa•3h ago•70 comments

GPT-6 Astra on OpenRouter

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

43•Topfi•1h ago•21 comments

Shutting down our public encrypted DNS

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

200•mywacaday•4h ago•73 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

206•stingrae•5h ago•66 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/

41•mooreds•2h ago•9 comments

RSA-260 Factorized

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

31•samyok•1d ago•8 comments

Government Rails Site Hit Hours After CVE Patch

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

60•rietta•3h ago•13 comments

Digital Sovereignty Is Written in PHP

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

20•taubek•2d ago•1 comments

The Rust React Compiler is now native in Vite

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

93•acusti•5h ago•19 comments

Fermat's Last Theorem in Lean 4

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

41•aaraujo002•4h ago•10 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

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

10•turtleyacht•1h ago•0 comments

How to Create a Tor Exit Node

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

25•Eridanus2•2h ago•18 comments

IBM Bob

https://bob.ibm.com/

206•artpar•10h ago•244 comments

deSEC – Free Secure DNS

https://desec.io/

95•gurjeet•7h ago•39 comments

Solving the Jane Street reverse engineering challenge

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

374•anitil•12h ago•83 comments

The Wormhole Hall of Shame

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

19•rznicolet•4d ago•9 comments

Fomu An FPGA board that fits inside your USB port

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

21•Bluestein•2d ago•4 comments

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

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

31•karakoram•1h 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...

57•qainsights•6h 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...

291•speckx•6h ago•180 comments

Icons as a Service

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

4•nravic•1h ago•0 comments

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

https://arstechnica.com/space/2026/09/without-new-landers-or-rovers-its-helicopters-or-bust-for-n...

5•gumby•1h ago•0 comments

Deadpan Photography: Enjoying the Pretence

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

23•NaOH•3d ago•13 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

52•garrinm•5h ago•130 comments

Some more thoughts on random_page_cost

https://vondra.me/posts/some-more-thoughts-on-random-page-cost/

6•blueshoess•1h ago•0 comments