1 Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost) (github.com) by modelmiser • 14 minutes ago • 1 comments
1 Show HN: Regrada – The CI gate for LLM behavior (regrada.com) by matiasmolinolo • 21 minutes ago
1 Team House: How JSOC Uses Instagram Ads to Track Terrorists – Mike Yeagley [video] (youtube.com) by NN88 • 24 minutes ago
1 Supply-chain attack using invisible code hits GitHub and other repositories (arstechnica.com) by pabs3 • 24 minutes ago • 1 comments
1 NFL linebacker charged w. killing girlfriend asked ChatGPT advice b4 calling 911 (nbcnews.com) by randycupertino • 36 minutes ago
1 Show HN: Catan Clock – a free PWA timer for keeping Catan turns moving (github.com) by apasserby00 • 36 minutes ago
1 What I Learned Running Two College Video Game Programs (2011-2018) (jasoneckert.github.io) by jasoneckert • 37 minutes ago
1 Show HN: Fubar Daily – satirical news for people watching it unravel by anonnona8878 • 39 minutes ago
2 Jsse: Agent-coded JavaScript engine in Rust passing 99.96% of test262 (github.com) by ivankra • 40 minutes ago
2 Arancely – AI that calculates import costs in Argentina (arancely.com) by flambee • 41 minutes ago • 1 comments
3 Google wins Korea map access after 20-year freeze (koreatimes.co.kr) by teleforce • 42 minutes ago
1 A 277 KB no_std WebAssembly JIT engine that goes head-to-head with V8 (github.com) by mbbill • 42 minutes ago
1 What "Ready" Means in AI-Assisted Software Builds (vibe2value.com) by mattcameron • 43 minutes ago • 2 comments
1 CeraPiper: Custom Extruded Ceramics for Heat Exchange (2025) (dl.acm.org) by wslh • 43 minutes ago
9 AI tools are making me lose interest in CS fundamentals by Tim25659 • about 1 hour ago • 13 comments
1 Show HN: OpenClaiming, a tiny protocol for verifiable claims that works anywhere (github.com) by EGreg • about 1 hour ago
7 Federal Right to Privacy Act – Draft legislation (righttoprivacyact.github.io) by pilingual • about 1 hour ago • 3 comments
1 Ask HN: Supabase PG upgrade wiped production DB, PITR backups failing by supai • about 1 hour ago
2 Your AI Agent Is Building Shadow IT and Nobody Noticed (geoffstearns.com) by tensafefrogs • about 1 hour ago • 1 comments
1 Show HN: Argazer – detect outdated Helm charts in ArgoCD applications (github.com) by kreicer • about 1 hour ago
1 Building a high-end, documentation-first API for DualHeart Financial Association by DualHeartNEWS • about 1 hour ago
1 Gstack-auto: automated gstack builds with parallelized runs (github.com) by josh2600 • about 1 hour ago • 1 comments
1 Show HN: AutoBlogWriter – drop-in blog automation SDK for Next.js and React (autoblogwriter.app) by autoblogwriter • about 1 hour ago
7 Pulsed High-Power Radio Energy Can Cause Harmful Effects on the Brain (2024) (pmc.ncbi.nlm.nih.gov) by greesil • about 1 hour ago
1 Cybeetle – AI-powered security scanning and threat intelligence for developers (cybeetle.com) by angeltimilsina • about 1 hour ago • 1 comments
1 Eliminating UI Bloat in the EraMix Financial Union Dashboard by EraMixOfficial • about 1 hour ago
3 Show HN: Clsh – Real terminal on your phone (works with Claude Code) (github.com) by clsh_dev • about 1 hour ago
1 VibeSDK: I ported all features of Pydantic AI to TypeScript in 5hrs (github.com) by atulanand94 • about 1 hour ago
1 Ask HN: Critique the published validation work for my blackjack simulator by emerkel • about 1 hour ago
1 King Kong: Behind the Scenes Photos That Show the Making of 1933's Classic (rarehistoricalphotos.com) by 1659447091 • about 1 hour ago