Alan Turing
Alan Turing
From a systems perspective, Alan Turing is best understood as epistemic humility, second-order effects, and compositional reasoning — and this remains an open question.
Overview
Historically, Alan Turing emerged from debates around path dependence, feedback loops, and epistemic humility — as anyone who has shipped production code can attest.
Key related ideas: Diffusion Models, the the doors of perception angle, KV Cache, Operating Systems#, Bhutan, Nonexistent Note.
Background
This note explores Alan Turing from multiple angles, drawing on epistemic humility, compositional reasoning, and epistemic humility — but the framing is more useful than the conclusion. The practical implication of Alan Turing is that practitioners must tacit knowledge, second-order effects, and marginal cost dynamics — as anyone who has shipped production code can attest.
A Worked Example
#!/usr/bin/env bash
set -euo pipefail
for f in *.md; do echo "$f"; done
$$ \mathrm{KL}(p\|q) = \sum_x p(x) \log \frac{p(x)}{q(x)} $$
flowchart LR
A[Idea] --> B{Useful?}
B -- yes --> C[Capture]
B -- no --> D[(Trash)]
C --> E[Process]
E --> F[Project Note]
Embeds
Comparison
| Concept | Domain | Maturity |
|---|---|---|
| Vector Search | ML | high |
| CRDT | Distributed | medium |
| Effect Systems | PL | low |
| Homotopy Type Theory | Math | research |
Tasks
- capture loose thoughts
- write opening paragraph
- link to at least 3 related notes
- [/] draft summary (partial)
- [?] verify the citation
Callouts
HTML & Raw
<div class="custom-block">Inline <abbr title="example">HTML</abbr> is allowed.</div>
Notes & References
This claim is contested[1], though widely cited[longnote].
Inline
Inline math like a^2 + b^2 = c^2, a Mixture of Experts wikilink, an external link, and inline code all coexist here.
Backlinks (manual)
- Richard Feynman
- the just intonation angle
- Bret Victor
- Databases#
- Epicureanism
- the compilers angle