- 680AI is forcing us to pay off 40 years of technical debt (spectrum.ieee.org)
- 37Progress on provable inference for large language models (anthropic.com)
- 128Guerrilla bike lanes: San Francisco makes illicit infrastructure permanent (2016) (99percentinvisible.org)
- 448Nvidia RTX Spark encrypted firmware slows inference speed to 35% on Linux (mindstudio.ai)
- 25An end to buggy web apps (replay.io)
- 345North Korean fake job interview led to $6.3B Binance heist (theregister.com)
- 155AMD expects to outsell Intel in Q4 for the first time in history (tomshardware.com)
- 32Show HN: I built a tool that prices a prebuilt PC part by part (pcdealcheck.com)
- 180Verification Is Not Knowledge: Science needs more than answers (blog.cosmos-institute.org)
- 2Launch HN: Kino AI (YC S23) – AI media manager and video editor
- 127Kimi K3.1 Pro model weights are out (huggingface.co)
- 457Tell HN: Gemini trains on chat history, even for subscribers (personal accounts)
- 205Incident with Pull Requests, Git Operations and Issues (githubstatus.com)
- 22Letting users trust their own MCP clients, without opening a phishing hole (streamvessel.com)
- 395Jelly Sheet (mrdoob.github.io)
- 27Adding Window Functions to a Spreadsheet (getgrist.com)
- 27Show HN: Codemap – one-page interactive map of any Go repository (github.com)
- 80Debian apt security update (man-in-the-middle) (lists.debian.org)
- 57Evergreen: A Provably Safe Systems Language (evergreenlang.net)
- 25Tencent Hy4 (hy.tencent.ai)
- 301Kitty 0.50 (sw.kovidgoyal.net)
- 742Stringman, an $800 open-source room scale gripper robot (neufangled.com)
- 19Mocktastic: A Meshtastic Node on Arduino (github.com)
- 349The Internals of PostgreSQL (interdb.jp)
- 51Pierre Computer is being acquired by OpenAI (twitter.com)
- 126The lost malloc() (napcakes.nekoweb.org)
- 142Synaptics Appears to Use Legal Threats to Block Open-Source DisplayLink Driver (phoronix.com)
- 134Giant canyon on Mars is still tectonically active (lamont.columbia.edu)
- 424Show HN: HackerTV – HN's most-recommended Youtube videos as 24/7 TV channels (hackertv.org)
- 115Show HN: Uncracked City, detective game where you question LLM suspects that lie (uncracked.city)