• 60 Remember Hong Kong (thenextmove.org)
  by throw0101d 4 hours ago | 84 comments
• 33 Maak.el: Lisp machine command runner in Emacs, infinitely extensible and Scheme (codeberg.org)
  by jjba23 3 days ago | 4 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
• 7 Show HN: Persistent Jupyter kernel execution and live output streaming in VSCode (github.com)
  by rnoro_ 2 days ago | 3 comments
• 57 AI 2027 (2025) (ai-2027.com)
  by gafferongames a day ago | 73 comments
• 40 The origins of Partner’s computer case (racunalniski-muzej.si)
  by markostamcar 4 days ago | 5 comments
• 134 Is mathematics about to enter the conservatory? (mbmccoy.dev)
  by _alternator_ 5 days ago | 140 comments
• 8 Haiku Now Supports Changing Audio Outputs Live, Other Improvements (phoronix.com)
  by fork-bomber 10 hours ago | 1 comments
• 78 The VMs Powering Mobile Agents (Instinct, Claude Code) (rohanadwankar.github.io)
  by RohanAdwankar 3 days ago | 29 comments
• 6 Californians owes $500B they never agreed to pay (sfstandard.com)
  by littlexsparkee 10 hours ago | discuss
• 64 Microsoft/TracerAI withdraws copyright takedown against Luanti (blog.luanti.org)
  by daper 2 days ago | 10 comments
• 151 NetBSD 9.5 released and EOL for NetBSD-9 (blog.netbsd.org)
  by jaypatelani 5 days ago | 16 comments
• 220 How An AI math breakthrough ignited a controversy (science.org)
  by pseudolus 2 days ago | 231 comments
• 16 Meta tried to shrink engineering teams around AI (leaddev.com)
  by mooreds a day ago | 9 comments
• 3 Show HN: Model pricing board for DeepSeek Harness: 7k models, cheapest route (github.com)
  by vitass a day ago | discuss
• 58 Italy proposes no fees for digital euro payments under €10 (euronews.com)
  by giuliomagnifico 2 days ago | 18 comments
• 121 Harnessing the Universal Geometry of Embeddings (arxiv.org)
  by ur-whale 5 days ago | 46 comments
• 9 How Pokémon Go turned its players into Pentagon cartographers (thecradle.co)
  by paimapi 19 hours ago | discuss
• 8 Show HN: Math Gambling (kuber.studio)
  by kuberwastaken a day ago | discuss
• 4 ReProgman: A clone of the Windows 3.1 Program Manager (progman.exe) (github.com)
  by theanonymousone a day ago | 2 comments
• 3 Show HN: MaruCheck – Independent QA for AI-generated code (github.com)
  by KidusMT a day ago | discuss
• 97 OpenAI have no mathematicians capable of understanding what they put out (mastodon.social)
  by doener a day ago | 47 comments
• 19 Trezor's email provider has been breached (twitter.com)
  by andreyazimov 2 days ago | 7 comments
• 269 Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)
  by astroanax 4 days ago | 105 comments
• 35 Don't Get in a Crash in a Cybercab (schwarztech.net)
  by speckx a day ago | 17 comments
• 489 An Alien Mind (openai.com)
  by tosh 5 days ago | 468 comments
• 45 Function Arguments Are Not Function Colors (jerf.org)
  by ingve 3 days ago | 50 comments
• 3 LRU is harder to beat than the KV-cache papers suggest (github.com)
  by gauravapiscean a day ago | 1 comments
• 75 Is OpenAI Taking Everyone for Fools? (read.misalignedmag.com)
  by lcubw 2 days ago | 44 comments
• 13 Scanned, segmented, and animated my keyboard. Now you can type on my keyboard (chyuang.com)
  by yongyongyong 3 days ago | discuss