• 70 Coop – Isolated VM Environments for Running Claude Code and Codex (github.com)
  by aggrrrh 5 days ago | 16 comments
• 9 Show HN: Botbin.io – pastebin for AI agent artifacts (botbin.io)
  by obilgic a day ago | 5 comments
• 316 TALA Is Open-Source (d2lang.com)
  by alixanderwang 4 days ago | 24 comments
• 114 The Dataflow Model Revisited (vldb.org)
  by scott_s 5 days ago | 22 comments
• 180 I think I hate the internet (strategictree.bearblog.dev)
  by saikatsg a day ago | 173 comments
• 5 Native Python and TypeScript Drivers for ArcadeDB, from OpenAPI and Protobuf (arcadedb.com)
  by lvca a day ago | discuss
• 33 Maak.el: Lisp machine command runner in Emacs, infinitely extensible and Scheme (codeberg.org)
  by jjba23 3 days ago | 4 comments
• 134 Is mathematics about to enter the conservatory? (mbmccoy.dev)
  by _alternator_ 5 days ago | 140 comments
• 40 The origins of Partner’s computer case (racunalniski-muzej.si)
  by markostamcar 4 days ago | 5 comments
• 7 Show HN: Persistent Jupyter kernel execution and live output streaming in VSCode (github.com)
  by rnoro_ 2 days ago | 3 comments
• 5 Show HN: EterDB, a Postgres fork that makes it easy to recover from incidents (eterdb.com)
  by fdeth a day ago | 2 comments
• 57 AI 2027 (2025) (ai-2027.com)
  by gafferongames a day ago | 73 comments
• 78 The VMs Powering Mobile Agents (Instinct, Claude Code) (rohanadwankar.github.io)
  by RohanAdwankar 3 days ago | 29 comments
• 151 NetBSD 9.5 released and EOL for NetBSD-9 (blog.netbsd.org)
  by jaypatelani 5 days ago | 16 comments
• 6 Governor Newsom signs child safety chatbot and social media laws (gov.ca.gov)
  by ChrisArchitect 13 hours ago | discuss
• 64 Microsoft/TracerAI withdraws copyright takedown against Luanti (blog.luanti.org)
  by daper 2 days ago | 10 comments
• 220 How An AI math breakthrough ignited a controversy (science.org)
  by pseudolus 2 days ago | 231 comments
• 121 Harnessing the Universal Geometry of Embeddings (arxiv.org)
  by ur-whale 5 days ago | 46 comments
• 58 Italy proposes no fees for digital euro payments under €10 (euronews.com)
  by giuliomagnifico 2 days ago | 18 comments
• 3 Show HN: Model pricing board for DeepSeek Harness: 7k models, cheapest route (github.com)
  by vitass a day ago | discuss
• 16 Meta tried to shrink engineering teams around AI (leaddev.com)
  by mooreds a day ago | 9 comments
• 8 Haiku Now Supports Changing Audio Outputs Live, Other Improvements (phoronix.com)
  by fork-bomber 11 hours ago | 1 comments
• 269 Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)
  by astroanax 4 days ago | 105 comments
• 6 Californians owes $500B they never agreed to pay (sfstandard.com)
  by littlexsparkee 11 hours ago | discuss
• 8 Show HN: Math Gambling (kuber.studio)
  by kuberwastaken a day ago | discuss
• 19 Trezor's email provider has been breached (twitter.com)
  by andreyazimov 2 days ago | 7 comments
• 97 OpenAI have no mathematicians capable of understanding what they put out (mastodon.social)
  by doener a day ago | 47 comments
• 4 ReProgman: A clone of the Windows 3.1 Program Manager (progman.exe) (github.com)
  by theanonymousone a day ago | 2 comments
• 9 How Pokémon Go turned its players into Pentagon cartographers (thecradle.co)
  by paimapi 19 hours ago | discuss
• 3 Show HN: MaruCheck – Independent QA for AI-generated code (github.com)
  by KidusMT a day ago | discuss