751.
753.
755.
756.
Claude Code IDE integration for Emacs
(news.ycombinator.com)
757.
Claude Code IDE Integration for Emacs
(news.ycombinator.com)
758.
759.
760.
Typed languages are better suited for vibecoding
(news.ycombinator.com)
761.
The Fulbright Program: Chock Full of Bright Ideas
(news.ycombinator.com)
762.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
763.
Ethersync: Peer-to-peer collaborative editing of local text files
(news.ycombinator.com)
764.
Fast (2019)
(news.ycombinator.com)
765.
Slow
(news.ycombinator.com)
766.
GenosDB (GDB) – Decentralized P2P Graph Database
(news.ycombinator.com)
768.
State capacity and eight parking spaces
(news.ycombinator.com)
769.
State Capacity and Eight Parking Spaces
(news.ycombinator.com)
770.
AI in Wyoming may soon use more electricity than state’s human residents
(arstechnica.com)
771.
KernelScript eBPF-centric programming language
(news.ycombinator.com)
772.
773.
Project Zero – Policy and Disclosure: 2025 Edition
(news.ycombinator.com)
774.
775.
Revived, canceled, and back again: Meta’s smartwatch ambitions may not be dead yet
(androidauthority.com)
776.
777.
778.
Lisp project of the day
(news.ycombinator.com)
779.
Developing with Kiro: Amazon's New Agentic IDE
(news.ycombinator.com)
780.
Intel continues to pull back on its manufacturing projects
(techcrunch.com)
Today's top topics:
apple
remarkable
google
openai
paper pure
android authority
samsung
uber
artificial intelligence
iphone