• NOV 12, 2026 — Nvidia without Jensen, and the bills come due

  Can a linear program do weight-space programming?

  Treating weight edits as a linear program fixes thinking loops in a small Qwen model while touching 8x fewer weights, and swaps eight hours of search for minute-long solves.

  nathan.rs

• NOV 12, 2026 — Nvidia without Jensen, and the bills come due

  Faster retrieval for better, more efficient RAG

  Apple's ICML paper learns its routing for vector search, reaching 99% recall in up to 8x less time while scanning 11x fewer keys than raw queries.

  Apple Machine Learning Research

• NOV 12, 2026 — Nvidia without Jensen, and the bills come due

  Lean Grimoire

  Tao used a coding agent to rebuild his 2018 logic-teaching game, adding a live Lean proof view and a fantasy mode where statements become potions; he wants playtesters.

  Terence Tao

← All topics