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