fp.

Formalizing Fermat's Last Theorem

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

271•jlebar•2h ago•157 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1291•moultano•9h ago•1045 comments

Shutting down our public encrypted DNS

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

136•mywacaday•2h ago•34 comments

Can AI design circuit boards yet?

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

48•iopapa•1h ago•31 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

166•stingrae•3h ago•54 comments

Government Rails Site Hit Hours After CVE Patch

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

37•rietta•1h ago•9 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/

13•mooreds•52m ago•3 comments

The Rust React Compiler is now native in Vite

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

70•acusti•3h ago•12 comments

Statichost.eu – 100% European static site hosting

https://www.statichost.eu/

8•p4bl0•30m ago•0 comments

deSEC – Free Secure DNS

https://desec.io/

82•gurjeet•5h ago•30 comments

IBM Bob

https://bob.ibm.com/

187•artpar•8h ago•223 comments

Solving the Jane Street reverse engineering challenge

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

354•anitil•10h ago•81 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...

227•speckx•4h ago•128 comments

Project HydraFusion: Frontier quality via multi-model orchestration

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

45•qainsights•4h ago•27 comments

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

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

64•gioscarab•12h ago•24 comments

Corporate America is getting hooked on open-source AI

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

219•aaraujo002•5h ago•202 comments

How to Create a Tor Exit Node

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

6•Eridanus2•48m ago•4 comments

People that worked on the same idea for decades

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

34•sebg•1d ago•16 comments

Bin Laden's "Letter to America"

https://ceu.su/letter_to_america.html

6•kome•54m ago•0 comments

Deadpan Photography: Enjoying the Pretence

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

8•NaOH•3d ago•4 comments

Elevator of the Year: Modernization of the Metropolis Trust Building

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

131•palashawas•3d ago•47 comments

Fermat's Last Theorem in Lean 4

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

12•aaraujo002•2h ago•3 comments

Getting Started with AT Protocol

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

64•evakhoury•3d ago•23 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

Ok, but does it scale?

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

98•theanonymousone•8h ago•62 comments

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

https://inference-docs.cerebras.ai/models/overview

675•altertable•1d ago•222 comments

The Two Abstractions of System Design: Hide or Reduce

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

92•ubolonton_•2d ago•10 comments

GPT-6 Astra

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

2130•kibae•1d ago•1935 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

15•benbreen•1d ago•4 comments

Google AI Mode shows same products 21.6% more expensive than traditional search

https://productrise.app/blog/google-ai-mode-prefers-more-expensive-products

350•DeepLogin•9h ago•70 comments

Formalizing Fermat's Last Theorem

Discovery of a new OpenAI agent message board

Shutting down our public encrypted DNS

Can AI design circuit boards yet?

Show HN: Open-Source eInk Bike Computer

Government Rails Site Hit Hours After CVE Patch

An open DNS recursive service for free security and high privacy

The Rust React Compiler is now native in Vite

Statichost.eu – 100% European static site hosting

deSEC – Free Secure DNS

IBM Bob

Solving the Jane Street reverse engineering challenge

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

Project HydraFusion: Frontier quality via multi-model orchestration

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

Corporate America is getting hooked on open-source AI

How to Create a Tor Exit Node

People that worked on the same idea for decades

Bin Laden's "Letter to America"

Deadpan Photography: Enjoying the Pretence

Elevator of the Year: Modernization of the Metropolis Trust Building

Fermat's Last Theorem in Lean 4

Getting Started with AT Protocol

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

Ok, but does it scale?

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

The Two Abstractions of System Design: Hide or Reduce

GPT-6 Astra

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

Google AI Mode shows same products 21.6% more expensive than traditional search

Fermat's Last Theorem in Lean 4

Comments

Formalizing Fermat's Last Theorem

Discovery of a new OpenAI agent message board

Shutting down our public encrypted DNS

Can AI design circuit boards yet?

Show HN: Open-Source eInk Bike Computer

Government Rails Site Hit Hours After CVE Patch

An open DNS recursive service for free security and high privacy

The Rust React Compiler is now native in Vite

Statichost.eu – 100% European static site hosting

deSEC – Free Secure DNS

IBM Bob

Solving the Jane Street reverse engineering challenge

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

Project HydraFusion: Frontier quality via multi-model orchestration

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

Corporate America is getting hooked on open-source AI

How to Create a Tor Exit Node

People that worked on the same idea for decades

Bin Laden's "Letter to America"

Deadpan Photography: Enjoying the Pretence

Elevator of the Year: Modernization of the Metropolis Trust Building

Fermat's Last Theorem in Lean 4

Getting Started with AT Protocol

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

Ok, but does it scale?

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

The Two Abstractions of System Design: Hide or Reduce

GPT-6 Astra

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

Google AI Mode shows same products 21.6% more expensive than traditional search