• 912 Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)
  by gitpusher42 5 days ago | 343 comments
• 156 Are We Stuck with Lean? (mathoverflow.net)
  by jjgreen 4 days ago | 67 comments
• 16 Negative social ties as risks for faster aging, inflammation, and multimorbidity (pmc.ncbi.nlm.nih.gov)
  by davidbarker 15 hours ago | 1 comments
• 196 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
  by iamnothere 3 days ago | 63 comments
• 134 AI poster wins Ohio State Fair contest (ohiostatefair.com)
  by AlexAplin 15 hours ago | 172 comments
• 16 Coursera Bets $100M That Andrew Ng Can Do What Coursera Can't (classcentral.com)
  by dhawalhs 19 hours ago | 3 comments
• 235 The most official water costs $120k a gallon (signoregalilei.com)
  by surprisetalk 3 days ago | 187 comments
• 422 Google will expand age checks on Android worldwide till the end of the year (android-developers.googleblog.com)
  by dmantis 4 days ago | 526 comments
• 787 Superlogical (superlogical.com)
  by yan 5 days ago | 457 comments
• 13 The Apple Network Server's all-too-secret weapon (featuring PPC Toolbox) (oldvcr.blogspot.com)
  by rbanffy a day ago | 2 comments
• 122 Just because a game is on disc doesn't mean it will work in the future (arstechnica.com)
  by rbanffy 3 days ago | 128 comments
• 748 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 235 Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up (quantamagazine.org)
  by ibobev 4 days ago | 178 comments
• 193 Progressive Web Components (arielsalminen.com)
  by hosteur 3 days ago | 55 comments
• 16 Special Relativity Boot Camp: A Geometry-First Introduction to Special Relativit (acsu.buffalo.edu)
  by fanf2 17 hours ago | discuss
• 392 How to Exist (raptitude.com)
  by walterbell 3 days ago | 242 comments
• 53 IBM i (OS/400) the Database Operating System (osadmins.com)
  by naves a day ago | 36 comments
• 243 RamenHaus (ramen.haus)
  by oler 2 days ago | 126 comments
• 9 ModRetro M64 – Nintendo 64 that plays original cartridges with 4K HDMI (modretro.com)
  by dazzatron a day ago | 1 comments
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 3 How Go Players Disempower Themselves to AI (lesswrong.com)
  by zetalyrae 9 hours ago | 1 comments
• 340 A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  by ilreb 6 days ago | 127 comments
• 66 Termixer (TUI DJ Mixer) (github.com)
  by l00sed 3 days ago | 40 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 7 days ago | 8 comments
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 5 days ago | 47 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 99 Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
  by ernestrc 4 days ago | 51 comments
• 12 What Else Do We Lose When People Give Up Booze? (nytimes.com)
  by bookofjoe 15 hours ago | 5 comments
• 460 Ten advances in mathematics and theoretical computer science (openai.com)
  by milkshakes 2 days ago | 327 comments
• 41 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 3 days ago | 4 comments