• 243 What TLA+ can and can't check (buttondown.com)
  by b-man 4 days ago | 50 comments
• 69 Moist-Electric Wallpaper for Indoor Energy Harvesting and Humidity Management (advanced.onlinelibrary.wiley.com)
  by croes 3 days ago | 37 comments
• 228 5x faster Edge Functions: V8 isolates to Firecracker MicroVMs (netlify.com)
  by jbott 3 days ago | 106 comments
• 23 TurboNotes: Local-first Markdown notes, Turbo Pascal like looks, saves to GitHub (turbonotes.net)
  by vadepaysa 2 days ago | 1 comments
• 9 Sergey Brin has spent $102M to fight California's proposed billionaire tax (fortune.com)
  by geoffbp 7 hours ago | discuss
• 312 Does Reddit have an astroturfing problem? What the data suggests (petervijeh.com)
  by p-s-v 6 days ago | 407 comments
• 10 Show HN: PhreshOS – OS for Web Apps (github.com)
  by zouhirdx 2 days ago | 5 comments
• 192 Halfspace experimental IDE for solid modeling with distance fields (mattkeeter.com)
  by luu 3 days ago | 11 comments
• 27 2026 International Utility Locate Rodeo (locaterodeo.net)
  by K7PJP 2 days ago | 5 comments
• 9 Three AI agents, two countries, and one uneven world wide web (royapakzad.substack.com)
  by effects a day ago | discuss
• 210 FTC is investigating OpenAI, Anthropic and other AI companies over product risks (cnbc.com)
  by dgellow 3 days ago | 160 comments
• 33 Leaderboards and speedrun.com's new terms of service (therun.gg)
  by Kayvanian a day ago | 11 comments
• 81 Redditor buys used CPU, turns out it was banned on Valorant and they are SoL (reddit.com)
  by xbmcuser 2 days ago | 65 comments
• 130 RSS Feeds for Last.fm (lfm.xiffy.nl)
  by Baljhin 4 days ago | 50 comments
• 325 NASA asked several former SR-71A staffers to help secret restart (aviationweek.com)
  by ilamont 5 days ago | 401 comments
• 11 California AB 2047 (3D Printer law) enacted (billtrack50.com)
  by nvahalik a day ago | 5 comments
• 11 Hardly Promethean (jardo.dev)
  by ibobev a day ago | discuss
• 35 "The only intuitive interface is the nipple" (2012) (greenend.org.uk)
  by ibobev a day ago | 38 comments
• 90 Testing WebGPU data layouts with Facet (mattkeeter.com)
  by luu 5 days ago | 7 comments
• 10 Show HN: Enki – Write GPU compute kernels in pure stable Rust (github.com)
  by enki_runtime a day ago | 1 comments
• 6 GPT 6 Astra vs. Claude Opus in a 24 Hour StarCraft Livestream (twitter.com)
  by __cayenne__ 14 hours ago | discuss
• 25 Breaking the Cipher of the Napoleonic war briefing, unread for 217 years (carter.church)
  by theanonymousone 2 days ago | discuss
• 27 Decision models like Jev don't beat LLM-as-a-judge or traditional classifiers (developers.redhat.com)
  by tomncooper 2 days ago | 8 comments
• 425 A Privacy Analysis of Web and Mobile Conversational AI Agents [pdf] (jorgegarciaherrero.com)
  by damaru2 5 days ago | 140 comments
• 6 The STT-LLM-TTS voice stack is dead (skeptrune.com)
  by skeptrune a day ago | 1 comments
• 10 Co-pilot on Flydubai flight was banned from flying by Oman for extremist views (france24.com)
  by Markoff 20 hours ago | 6 comments
• 406 Show HN: Real-time Solar System with 526k asteroids and all tracked satellites (space.bl2.net)
  by wanick 4 days ago | 112 comments
• 3 Demystifying Tufte's data-ink ratio – Tufte's Razor (tuftesrazor.scienceux.org)
  by s4074433 a day ago | discuss
• 11 Show HN: Premortem – AI agents that red-team your startup idea (premortem.site)
  by ahoskins 2 days ago | 12 comments
• 11 Nathan Fielder's Elizabeth Holmes doc is a modern masterpiece of deceit (theguardian.com)
  by obscurette 11 hours ago | discuss