Top stories

Hacker News – Front Page (hnrss.org)

Vite's plugin-react adds native Rust React Compiler with reported 17.6x speedup

September 4, 2026

• Hacker News – Front Page (hnrss.org)

  Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem

  September 4, 2026

  

• dev.to (home feed)

  MCP servers create a permanent, largely unaudited attack surface for AI agents

  September 4, 2026

  

• The Verge

  Roland enters generative AI music with Melody Flip, a MIDI-first DAW plug-in

  September 4, 2026

  

• TechCrunch

  John Ternus takes over as Apple CEO days before iPhone 18 launch event

  September 4, 2026

  

Software ›

Hacker News – Front Page (hnrss.org)

Vite's plugin-react adds native Rust React Compiler with reported 17.6x speedup

September 4, 2026

• TechCrunch

  John Ternus takes over as Apple CEO days before iPhone 18 launch event

  September 4, 2026

AI ›

Hacker News – Front Page (hnrss.org)

Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem

September 4, 2026

• The Verge

  Roland enters generative AI music with Melody Flip, a MIDI-first DAW plug-in

  September 4, 2026

• The Verge

  OpenAI launches GPT-6 Astra and declares the AGI era has begun

  September 4, 2026

Dev Tools ›

dev.to (home feed)

MCP servers create a permanent, largely unaudited attack surface for AI agents

September 4, 2026

• GitHub Blog

  GitHub Copilot's HydraFusion matches Opus 5 coding quality at up to 67% lower cost

  September 4, 2026