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