- Verification Is the Next Bottleneck in AI-Assisted Development (www.opslane.com)
- Particles seen emerging from empty space for first time (www.newscientist.com)
- AI singer now occupies eleven spots on iTunes singles chart (www.showbiz411.com)
- The cult of vibe coding is dogfooding run amok (bramcohen.com)
- 1,200 years of peak cherry blossom dates in Kyoto (twitter.com)
- Little Snitch for Linux (obdev.at)
- Struggle Against the Gods (firstthings.com)
- Are We Legacy Computing Yet? (arewelegacycomputingyet.com)
- Open Source Security at Astral (astral.sh)
- Air Powered Segment Display: 3D Printed Microfluidic RAM? [video] (www.youtube.com)
- Show HN: GovAuctions lets you browse government auctions at once (www.govauctions.app)
- Flatpak: Complete Sandbox Escape (github.com)
- Acoustic Eavesdropping with Telecom Fiber Optic Cables (www.ndss-symposium.org)
- Show HN: I made a YouTube search form with advanced filters (playlists.at)
- Building a JavaScript runtime in one month (themackabu.dev)
- European Service Module (www.esa.int)
- Pgfmt – a PostgreSQL specific SQL formatter (github.com)
- Book review: There Is No Antimemetics Division (www.stephendiehl.com)
- Wikipedia's AI agent row likely just the beginning of the bot-ocalypse (www.malwarebytes.com)
- White House staff told not to place bets on prediction markets (www.bbc.co.uk)
- ESA Launches 7 New Missions to Supercharge Space Data Transfer (www.universetoday.com)
- Agent Reading Test (agentreadingtest.com)
- Running Gemma 4 locally with LM Studio's new headless CLI and Claude Code (ai.georgeliu.com)
- AI may be making us think and write more alike (dornsife.usc.edu)