fp.

Formalizing Fermat's Last Theorem

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

100•jlebar•44m ago•39 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/

1151•moultano•7h ago•933 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com

113•stingrae•2h ago•38 comments

Shutting down our public encrypted DNS

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

44•mywacaday•37m ago•5 comments

The Rust React Compiler is now native in Vite

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

26•acusti•1h ago•4 comments

IBM Bob

https://bob.ibm.com/

161•artpar•6h ago•193 comments

Project HydraFusion: Frontier quality via multi-model orchestration

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

40•qainsights•3h ago•19 comments

Government Rails Site Hit Hours After CVE Patch

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

5•rietta•21m ago•0 comments

Solving the Jane Street reverse engineering challenge

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

328•anitil•9h ago•77 comments

deSEC – Free Secure DNS

https://desec.io/

50•gurjeet•3h ago•24 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...

131•speckx•2h ago•64 comments

Resources to Get Good at Soldering?

19•tosmatos•2d ago•13 comments

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

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

38•gioscarab•10h ago•13 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/

126•jslakro•1h ago•98 comments

Stop Thinking of LLMs as Next-Token Predictors

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

14•garrinm•2h ago•15 comments

The Two Abstractions of System Design: Hide or Reduce

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

86•ubolonton_•2d ago•9 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

11•benbreen•1d ago•1 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

126•palashawas•3d ago•45 comments

Getting Started with AT Protocol

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

51•evakhoury•2d ago•15 comments

People that worked on the same idea for decades

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

19•sebg•1d ago•8 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

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

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

669•altertable•1d ago•220 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

330•DeepLogin•7h ago•65 comments

GPT-6 Astra

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

2111•kibae•1d ago•1917 comments

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

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

47•hawshemi•6h ago•58 comments

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

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

43•theanonymousone•2h ago•12 comments

Corporate America is getting hooked on open-source AI

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

191•aaraujo002•3h ago•166 comments

The largest electric aircraft just flew [video]

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

446•feb•3d ago•333 comments

How Fairphone built the Fairphone Gen 6+

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

169•CrypticShift•6h ago•138 comments

Hayes AT command set

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

19•0xbadcafebee•1h ago•2 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

The Rust React Compiler is now native in Vite

IBM Bob

Project HydraFusion: Frontier quality via multi-model orchestration

Government Rails Site Hit Hours After CVE Patch

Solving the Jane Street reverse engineering challenge

deSEC – Free Secure DNS

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

Resources to Get Good at Soldering?

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

Nobody Is Saying Why OpenAI and Anthropic Had Outages

Stop Thinking of LLMs as Next-Token Predictors

The Two Abstractions of System Design: Hide or Reduce

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

Elevator of the Year Winner Modernization of the Metropolis Trust Building

Getting Started with AT Protocol

People that worked on the same idea for decades

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

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

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

GPT-6 Astra

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

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

Corporate America is getting hooked on open-source AI

The largest electric aircraft just flew [video]

How Fairphone built the Fairphone Gen 6+

Hayes AT command set

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

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

The Rust React Compiler is now native in Vite

IBM Bob

Project HydraFusion: Frontier quality via multi-model orchestration

Government Rails Site Hit Hours After CVE Patch

Solving the Jane Street reverse engineering challenge

deSEC – Free Secure DNS

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

Resources to Get Good at Soldering?

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

Nobody Is Saying Why OpenAI and Anthropic Had Outages

Stop Thinking of LLMs as Next-Token Predictors

The Two Abstractions of System Design: Hide or Reduce

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

Elevator of the Year Winner Modernization of the Metropolis Trust Building

Getting Started with AT Protocol

People that worked on the same idea for decades

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

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

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

GPT-6 Astra

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

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

Corporate America is getting hooked on open-source AI

The largest electric aircraft just flew [video]

How Fairphone built the Fairphone Gen 6+

Hayes AT command set