- 160Kani: A Model Checker for Rust (arxiv.org)
by Jimmc414 4 days ago | 9 comments - 352China sentences official to death for taking $325M in bribes (bbc.com)
by randycupertino 3 days ago | 486 comments - 274Small AI Models Gain Traction In places with unreliable networks (spectrum.ieee.org)
by sscaryterry 4 days ago | 81 comments - 701It's not about physical vs. digital games, it's about ownership (popcar.bearblog.dev)
by popcar2 5 days ago | 525 comments - 138Rotman Lens (en.wikipedia.org)
by thomasjb 9 days ago | 47 comments - 141Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359] (github.com)
by Imustaskforhelp 4 days ago | 61 comments - 7Show HN: Android Developer Verification Package blacklisted in Aurora Store ()
by bewilderbeast a day ago | discuss - 13Palo Alto CEO Arora says AI pricing needs to fall 90% as token costs skyrocket (cnbc.com)
by petethomas 18 hours ago | 2 comments - 11Ireland is now paying artists a basic income (positive.news)
by herbertl 18 hours ago | 1 comments - 16The Field Equation, living shader geometry folded into a breathing object (sand-morph.up.railway.app)
by echohive42 8 days ago | 5 comments - 6Class action suit over deepfake child sexual abuse material expands (text.npr.org)
by 1659447091 11 hours ago | discuss - 243The great blogging collapse: What happened to 100 successful blogs? (danielstanica.com)
by thm 8 days ago | 179 comments - 98Show HN: Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron) (whimfiles.com)
by whimbyte 3 days ago | 74 comments - 9Divide and Compact: Segment-Oriented Compaction in SlateDB (slatedb.io)
by agavra a day ago | discuss - 174Delta flight hit by firework while landing at Midway Airport on Fourth of July (nbcchicago.com)
by randycupertino 5 days ago | 402 comments - 14Meta Patents AI Device That Tracks Your Emotions, Watches You Take Your Meds (404media.co)
by Brajeshwar 20 hours ago | 2 comments - 37Every postcard tells a story (observer.co.uk)
by NaOH 5 days ago | 23 comments - 5Poll: How much do you personally spend for LLM subscriptions each month? ()
by ThePhysicist a day ago | 3 commentspoll - 230We're extending access to Fable 5 on all paid plans through July 12 (twitter.com)
by minimaxir 3 days ago | 248 comments - 460A global workspace in language models (anthropic.com)
by in-silico 4 days ago | 197 comments - 33Open Source Barware: free, local-first bar inventory software (GPLv3) (opensourcebarware.com)
by RichBJamison 2 days ago | 18 comments - 30Degeneracy Is a Symptom (henryfudgeofficial.substack.com)
by doener a day ago | 5 comments - 197The Private Capture of Public Genius (wysr.xyz)
by martialg 5 days ago | 101 comments - 688GLM 5.2 and the coming AI margin collapse (martinalderson.com)
by martinald 4 days ago | 468 comments - 9The true cost of saying "Hi" to an AI agent (quesma.com)
by stared a day ago | 4 comments - 15Show HN: Foreman, a self-hosted LLM gateway for cost aware model routing (github.com)
by AndrewLiu96 2 days ago | 14 comments - 4Show HN: Self-Hosted AI That Sees, Plays Minecraft, and Reacts (github.com)
by Alrady a day ago | discuss - 10Vivaldi 8.1: Rowing in calm waters (vivaldi.com)
by calebgcc a day ago | discuss - 57China's public QR codes are being hijacked to redirect users to porn and scams (sixthtone.com)
by whiteblossom 10 hours ago | 1 comments - 4UN digital tech agency launches initiative to improve trust in AI agents (reuters.com)
by giuliomagnifico 10 hours ago | discuss