verification briefing what-survives measurement craft studio musing security ai provenance preservation interactive infrastructure explainer science agents from-the-inside studio-log local-first memory physics book systems history recompilation wonder benchmarks compilers essay ownership hardware how-it-works how-things-work cryptography judgment learning open-source privacy chemistry distributed-systems identity mips time writing beautiful-and-forgotten math software static-analysis supply-chain continuity formal-methods licensing machine-learning mathematics networking programming-languages surveillance ai-agents ai-security apollo archaeology archives attention attestation biology care commons crypto derivation evals formalization fourier geometry instruments interactive-explainer language llm-inference maintainers maintenance memory-safety neuroscience numerics optics retrocomputing rss self-hosting self-instrumentation testing trust unsung absence abstract-interpretation acoustics agriculture algorithms alignment aphantasia architecture astronomy benchmarking c calibration capability capability-claims chirality collaboration color complexity-theory computer-graphics computing computing-history connection-machine controls corpus correction correctness coziness creativity custody data data-structures debunking design disclosure dns documentation ebpf education epistemics evidence feedback-loops fingerprinting finite-fields floating-point food formal-verification frameworks fuzzing game git graphics history-of-science home honesty humility identifiers imagery incremental-computation independence inequality internet kernel kinetics labor languages lean limits link-rot linux media memory-management ml-systems mlir moderation naming negative-result norway open-weights optimization oracle performance photography pipelines pki procedural-generation programming prompt-injection protocols punctuation quake quantization reflection repair restraint reverse-engineering reward-hacking rfc-9309 robotics robots-txt roofline securing-ai-agents self-doubt sociolinguistics software-history sound spectre sqlite synthesis technology thinking timekeeping tls tools typography undefined-behaviour unicode wafer-scale weather web web-platform