• 6PyTorch 2.12 Release (pytorch.org)
  by gmays 21 hours ago | discuss
• 53Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust (github.com)
  by suis_siva 3 days ago | 8 comments
• 33Unusual uses of OEIS sequences on GitHub (jeremykun.com)
  by surprisetalk 3 days ago | 3 comments
• 444I turned a $80 RK3562 Android tablet into a Debian Linux workstation (github.com)
  by tech4bot 4 days ago | 232 comments
• 330The FBI Wants to Buy Nationwide Access to License Plate Readers (404media.co)
  by cdrnsf 3 days ago | 145 comments
• 35KV Sharing, MHC, and Compressed Attention (magazine.sebastianraschka.com)
  by gmays 2 days ago | 2 comments
• 116India's hottest district shuts at 10 am as mercury breaches 48 C mark (hindustantimes.com)
  by rustoo 2 days ago | 111 comments
• 6Two Researchers Are Rebuilding Mathematics from the Ground Up (quantamagazine.org)
  by Brajeshwar 9 hours ago | discuss
• 346Iran starts Bitcoin-backed ship insurance for Hormuz strait (bloomberg.com)
  by srameshc 3 days ago | 684 comments
• 75There's no earthly way of knowing which direction we are going (kottke.org)
  by tobr 2 days ago | 80 comments
• 156Learn Harness Engineering (walkinglabs.github.io)
  by redbell 3 days ago | 17 comments
• 30Java: Rethink Domain Primitives with Valhalla (dfa1.github.io)
  by dfa11 2 days ago | 11 comments
• 39We used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
  by 0xedb 2 days ago | discuss
• 439GenCAD (gencad.github.io)
  by dagenix 4 days ago | 126 comments
• 10Show HN: I built Istanbul live transit map (tarif.ist)
  by berkaycubuk a day ago | 2 comments
• 206WriteUp: 16 Bytes of x86 that turn Matrix rain into sound (hellmood.111mb.de)
  by HellMood 4 days ago | 32 comments
• 30Era: From Nature publication to catalyzing Computational Discovery (research.google)
  by praccu 2 days ago | discuss
• 17Show HN: Open-Source Agentic QA Harness with Memory (vostride.com)
  by pranshuchittora 2 days ago | 2 comments
• 38Show HN: Pg_deltax, Apache-licensed alternative to TimescaleDB (github.com)
  by tee-es-gee 2 days ago | 1 comments
• 8Show HN: Remote Job Board (remotejobs.place)
  by beefive a day ago | discuss
• 89Cutting inference cold starts by 40x with LP, FUSE, C/R, and CUDA-checkpoint (modal.com)
  by charles_irl 3 days ago | 18 comments
• 187Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
  by veqq 3 days ago | 46 comments
• 10Earth's supervolcanoes are waking up. Here's what that means for the planet (sciencefocus.com)
  by bryanrasmussen 15 hours ago | discuss
• 27Show HN: Yt-x v0.8.0 – Browse, play, and download YouTube from the terminal (github.com)
  by Benex254 2 days ago | 4 comments
• 201Prolog Coding Horror (metalevel.at)
  by RohanAdwankar 4 days ago | 83 comments
• 7Curly braces: An evolution of Unix and C (thalia.dev)
  by thaliaarchi a day ago | discuss
• 41Show HN: Id-agent – Token efficient UUID alternative for AI agents (github.com)
  by pranshuchittora 3 days ago | 55 comments
• 172Peter Salus has died (tuhs.org)
  by speckx 3 days ago | 15 comments
• 291Pope Leo XIV’s first encyclical Magnifica humanitas to be published May 25 (vaticannews.va)
  by cucho 3 days ago | 239 comments
• 30Testing MiniMax M2.7 via API on three real ML and coding workflows (andlukyane.com)
  by Artgor 2 days ago | 2 comments