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