1081.
1082.
Claude Code IDE integration for Emacs
(news.ycombinator.com)
1083.
Claude Code IDE Integration for Emacs
(news.ycombinator.com)
1084.
1085.
1086.
Typed languages are better suited for vibecoding
(news.ycombinator.com)
1087.
The Fulbright Program: Chock Full of Bright Ideas
(news.ycombinator.com)
1088.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
1089.
Ethersync: Peer-to-peer collaborative editing of local text files
(news.ycombinator.com)
1090.
Fast (2019)
(news.ycombinator.com)
1091.
Slow
(news.ycombinator.com)
1092.
GenosDB (GDB) – Decentralized P2P Graph Database
(news.ycombinator.com)
1094.
State capacity and eight parking spaces
(news.ycombinator.com)
1095.
State Capacity and Eight Parking Spaces
(news.ycombinator.com)
1096.
AI in Wyoming may soon use more electricity than state’s human residents
(arstechnica.com)
1097.
KernelScript eBPF-centric programming language
(news.ycombinator.com)
1098.
1099.
Project Zero – Policy and Disclosure: 2025 Edition
(news.ycombinator.com)
1100.
1101.
Revived, canceled, and back again: Meta’s smartwatch ambitions may not be dead yet
(androidauthority.com)
1102.
1103.
1104.
Lisp project of the day
(news.ycombinator.com)
1105.
Developing with Kiro: Amazon's New Agentic IDE
(news.ycombinator.com)
1106.
Intel continues to pull back on its manufacturing projects
(techcrunch.com)
1107.
The best projector for a home theater in 2025
(engadget.com)
1108.
1109.
AI coding agents are removing programming language barriers
(news.ycombinator.com)
1110.
I watched Gemini CLI hallucinate and delete my files
(news.ycombinator.com)