- 5Show HN: I applied Lyapunov stability theory to detect when LLM agents spiral (github.com)
- 892Changing how we develop Ladybird (ladybird.org)
- 38Starlink shifts hardware from one-time purchase to $10/month rental (arstechnica.com)
- 16Donut Lab's solid-state battery claim debunked by Ziroth (theverge.com)
- 132The Quiet Numbers Station: Decoding Nineteen Years of GPS Cryptography (benthamsgaze.org)
- 5TRPL: A copylet license that treats API usage as derivate works (trplfoundation.org)
- 1133LLMs are eroding my software engineering career and I don't know what to do (human-in-the-loop.bearblog.dev)
- 21The Grate Cheese Robbery (longreads.com)
- 11Canadians told to "Exercise a high degree of caution in Germany" (travel.gc.ca)
- 138Benchmarks in Leipzig (arxiv.org)
- 336Show HN: I Derived a Pancake (absurdlyoptimized.com)
- 281Three of our worst VC stories (twitter.com)
- 191Entanglement Builds Space-Time. Now "Magic" Gives It Gravity (quantamagazine.org)
- 7PgDog – connection pooler and load balancer for Postgres (pgdog.dev)
- 93Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com)
- 50A visual introduction to kernel functions (kelvinpaschal.com)
- 261Public Domain Image Archive (pdimagearchive.org)
- 831Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes (dailycal.org)
- 144Office-open-xml-viewer: Office XML document viewer that renders to HTML Canvas (github.com)
- 56Man-Computer Symbiosis J. C. R. Licklider (1960) (groups.csail.mit.edu)
- 73The Secret Life of Circuits with lcamtuf / Michał Zalewski (Audio Interview) (theamphour.com)
- 195Fine-tuning an LLM to write docs like it's 1995 (passo.uno)
- 224Do transformers need three projections? Systematic study of QKV variants (arxiv.org)
- 156Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens (github.com)
- 311I tested every IP KVM in my Homelab (jeffgeerling.com)
- 330Nvidia is proposing a beast of a CPU system for Windows PCs (twitter.com)
- 1059Gemma 4 12B: A unified, encoder-free multimodal model (blog.google)
- 24AI profitability is mathematically impossible (old.reddit.com)
- 281Open Code Review – An AI-powered code review CLI tool (github.com)
- 146I replaced Spotify with a homemade FM radio station (old.reddit.com)