• 242 RamenHaus (ramen.haus)
  by oler 2 days ago | 126 comments
• 276 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 6 days ago | 167 comments
• 193 Progressive Web Components (arielsalminen.com)
  by hosteur 3 days ago | 55 comments
• 392 How to Exist (raptitude.com)
  by walterbell 2 days ago | 242 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
• 235 Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up (quantamagazine.org)
  by ibobev 4 days ago | 178 comments
• 3 I Built and Battle Tested My OSAI Agent (medium.com)
  by zilbon 8 hours ago | discuss
• 5 30% of certificate credentials reported on LinkedIn are now AI-related (morningstar.com)
  by thoughtpeddler 10 hours ago | 1 comments
• 54 The time filter in Google Search broke a few days ago (mastodon.online)
  by latexr a day ago | 28 comments
• 459 Ten advances in mathematics and theoretical computer science (openai.com)
  by milkshakes 2 days ago | 325 comments
• 748 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 10 Metropolis 1998 (yesbox.itch.io)
  by doener 15 hours ago | 1 comments
• 8 Show HN: TamedTable, AI ETL in Natural Language (tamedtable.com)
  by ZeljkoS a day ago | 4 comments
• 66 Termixer (TUI DJ Mixer) (github.com)
  by l00sed 3 days ago | 40 comments
• 12 The Theater of Sport: Bill Buford Revisits Among the Thugs (theparisreview.org)
  by Thevet 5 days ago | 4 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 6 days ago | 8 comments
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 41 Predictive Speculative KV Replication for Bursty LLM Inference (jwlabs.vercel.app)
  by shreybirmiwal 3 days ago | 4 comments
• 182 The Absurdity of Albert Camus (historytoday.com)
  by apollinaire 3 days ago | 90 comments
• 10 The Greenhouse and the Lens: Two Modes of Agentic AI Work (brethorsting.com)
  by aaronbrethorst a day ago | 9 comments
• 15 Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering (wwnorton.com)
  by ripe a day ago | 2 comments
• 99 Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
  by ernestrc 3 days ago | 51 comments
• 5 Agent4Lease (agent4lease.com)
  by vytasta a day ago | discuss
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 10 Show HN: Btfy – a blockchain that uses weather observations (github.com)
  by yuzu_mikan a day ago | 7 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
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 193 US Treasury undertakes historic intervention in yen market (ft.com)
  by 23pointsNorth a day ago | 171 comments
• 51 13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS (swe-rebench.com)
  by ibragim_bad 3 days ago | 15 comments