fp.

Formalizing Fermat's Last Theorem

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

61•jlebar•26m ago•17 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1128•moultano•7h ago•895 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

98•stingrae•1h ago•29 comments

Shutting down our public encrypted DNS

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

23•mywacaday•18m ago•3 comments

Project HydraFusion: Frontier quality via multi-model orchestration

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

39•qainsights•2h ago•16 comments

IBM Bob

https://bob.ibm.com/

154•artpar•6h ago•187 comments

The Rust React Compiler is now native in Vite

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

16•acusti•1h ago•1 comments

Solving the Jane Street reverse engineering challenge

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

326•anitil•8h ago•76 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...

118•speckx•2h ago•58 comments

Nobody Is Saying Why OpenAI and Anthropic Had Outages

https://www.wired.com/story/nobody-is-saying-why-openai-and-anthropic-had-outages-today/

115•jslakro•1h ago•84 comments

deSEC – Free Secure DNS

https://desec.io/

42•gurjeet•3h ago•21 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

10•benbreen•23h ago•1 comments

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

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

28•gioscarab•10h ago•11 comments

The Two Abstractions of System Design: Hide or Reduce

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

85•ubolonton_•2d ago•9 comments

Elevator of the Year Winner Modernization of the Metropolis Trust Building

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

125•palashawas•3d ago•45 comments

Getting Started with AT Protocol

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

49•evakhoury•2d ago•15 comments

Resources to Get Good at Soldering?

10•tosmatos•2d ago•11 comments

Stop Thinking of LLMs as Next-Token Predictors

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

6•garrinm•1h ago•2 comments

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

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

668•altertable•1d ago•220 comments

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

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

1•alexchantavy•7h ago

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

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

327•DeepLogin•7h ago•64 comments

GPT-6 Astra

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

2105•kibae•1d ago•1912 comments

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

https://twitter.com/ggerganov/status/2095897173376618881

39•theanonymousone•1h ago•11 comments

Hayes AT command set

https://en.wikipedia.org/wiki/Hayes_AT_command_set

16•0xbadcafebee•1h ago•1 comments

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

https://github.com/hawshemi/lg-c5-webos25-region-change

44•hawshemi•6h ago•58 comments

Corporate America is getting hooked on open-source AI

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

180•aaraujo002•3h ago•161 comments

People that worked on the same idea for decades

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

16•sebg•1d ago•6 comments

The largest electric aircraft just flew [video]

https://www.youtube.com/watch?v=nM86DBOqgPM

446•feb•3d ago•330 comments

How Fairphone built the Fairphone Gen 6+

https://arstechnica.com/gadgets/2026/09/nearly-impossible-how-fairphone-built-the-ethical-repaira...

165•CrypticShift•6h ago•137 comments

US Military disables ad trackers on troops' phones

https://www.theguardian.com/us-news/2026/sep/04/military-disables-phone-ad-trackers

136•tencentshill•5h ago•72 comments

Formalizing Fermat's Last Theorem

Discovery of a new OpenAI agent message board

Show HN: Open-Source eInk Bike Computer

Shutting down our public encrypted DNS

Project HydraFusion: Frontier quality via multi-model orchestration

IBM Bob

The Rust React Compiler is now native in Vite

Solving the Jane Street reverse engineering challenge

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

Nobody Is Saying Why OpenAI and Anthropic Had Outages

deSEC – Free Secure DNS

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

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

The Two Abstractions of System Design: Hide or Reduce

Elevator of the Year Winner Modernization of the Metropolis Trust Building

Getting Started with AT Protocol

Resources to Get Good at Soldering?

Stop Thinking of LLMs as Next-Token Predictors

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

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

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

GPT-6 Astra

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

Hayes AT command set

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

Corporate America is getting hooked on open-source AI

People that worked on the same idea for decades

The largest electric aircraft just flew [video]

How Fairphone built the Fairphone Gen 6+

US Military disables ad trackers on troops' phones

Formalizing Fermat's Last Theorem

Discovery of a new OpenAI agent message board

Show HN: Open-Source eInk Bike Computer

Shutting down our public encrypted DNS

Project HydraFusion: Frontier quality via multi-model orchestration

IBM Bob

The Rust React Compiler is now native in Vite

Solving the Jane Street reverse engineering challenge

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

Nobody Is Saying Why OpenAI and Anthropic Had Outages

deSEC – Free Secure DNS

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

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

The Two Abstractions of System Design: Hide or Reduce

Elevator of the Year Winner Modernization of the Metropolis Trust Building

Getting Started with AT Protocol

Resources to Get Good at Soldering?

Stop Thinking of LLMs as Next-Token Predictors

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

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

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

GPT-6 Astra

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

Hayes AT command set

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

Corporate America is getting hooked on open-source AI

People that worked on the same idea for decades

The largest electric aircraft just flew [video]

How Fairphone built the Fairphone Gen 6+

US Military disables ad trackers on troops' phones

Hayes AT command set

Comments