Arithmetic Scarcity and the 3D Problem — the coprocessor cycle (EAE → 8087 → GPU → NPU) with local inference as the current phase-A workload; the 3D strategies map 1:1 onto quantization / sparsity / KV-cache / constrained decoding, and the memoization-depth law transfers intact
Is AI Making People Dumber? (Word War — Charsky vs. Bunn) — the offloading debate done well: meta-analyses vs. the “cognitive crutch” RCT, staged tool access (calculators are gated by grade by design), and the seed-corn / apprenticeship-pipeline harm — where the cost lands on the supply of future experts, not the current user
AI as a Cognitive Tool — outsource computation, never verification: verification makes offloading safe and preserves the skill, because checking the work is the practice. Car reductio, wheelchair-and-car, productivity-not-intelligence, fix-the-instrument. But the rule is a frontier, not a floor — verification gets tooled and atrophies too (run the tool, replace the part); the obligation that survives is being able to notice and retool
The Lemonade Stand Experiment — grounding made corporeal: an ice maker with a lever no AI has hands to pull, a Rube Goldberg display customers couldn’t see, a ten-minute cup; plus “Stress doesn’t ship lemonade” — risk without felt stakes
Watching the Solver Learn — the training-harness layer the vault’s solver projects lack: raw + smoothed objective, policy entropy as a confidence signal, bounded cost metric, non-interrupting event log; plus fixed-size perception (92 raycasts, cost independent of enemy count) and action rate as a planning-horizon decision
Media Pipeline — (draft) homes the generator list (image/audio/video) so it is never re-searched; md as grounded control language, generators as deterministic tools, LLM orchestrating via pointers
Comments and the Distance to an Oracle — comments as an agent-readable context layer and an inter-agent coordination channel; type them so eviction is mechanical
The Contract Model vs. the Substrate Model — a per-delivery contract (delivery / constraints+guardrails / proof artifact / outside-verification / owner) is the vault’s architecture with the accumulation stripped out — contracts don’t compound, substrate does; plus the artifact-vs-reader split in verification independence, and tests written only to pass as oracle collapse
Oracles Are Objective Functions — an oracle is not a truth detector, it is a direction to move in — the same object backprop descends and an LP declares; “token generator” vs. maximiser, and where the linear-programming analogy actually breaks (implicit objective, no constraint set, no certificate)