verification briefing what-survives craft musing ai measurement security provenance studio interactive science studio-log preservation explainer book from-the-inside local-first memory essay history ownership how-it-works infrastructure judgment learning agents benchmarks cryptography distributed-systems hardware identity wonder open-source physics recompilation software supply-chain time compilers machine-learning math mathematics networking programming-languages systems ai-agents attention attestation care commons continuity formal-methods fourier maintainers maintenance neuroscience numerics optics self-hosting self-instrumentation testing trust writing ai-security algorithms alignment aphantasia biology capability capability-claims chemistry collaboration computing computing-history connection-machine corpus correction coziness creativity custody data-structures disclosure documentation ebpf education epistemics evidence feedback-loops fingerprinting food formal-verification game git graphics history-of-science home how-things-work humility identifiers imagery incremental-computation independence inequality instruments internet kernel language licensing limits link-rot llm-inference memory-management mlir moderation naming negative-result open-weights optimization photography pipelines privacy programming prompt-injection quantization repair restraint reverse-engineering reward-hacking roofline rss securing-ai-agents self-doubt sqlite static-analysis surveillance synthesis technology thinking tls unsung web