AIENOS: blog and research Research notes and preprints from the AIEN project, with receipts. https://www.aienos.com/feed.xml 2026-10-21T23:52:04-05:00 M. Drake Stapletonhttps://www.drakestapleton.com AGPL-3.0-or-later https://www.aienos.com/logo.png https://www.aienos.com/og.png Scientific Discovery https://www.aienos.com/discovery/ 2026-10-10T00:00:00Z 2026-10-21T23:52:04-05:00 Physics Zero, Dirac, Zeta and supersymmetry as examinations of representation discovery; the machine is never given the named answer. The Atemporal AIEN Postulate https://www.aienos.com/research/atemporal-aien-postulate/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 Causal semantics without clocks: an AIEN computation is defined by what causally depends on what. The Crumb Doctrine https://www.aienos.com/research/crumb-doctrine/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 No receipt, no crumb: the epistemic constitution of the machine. Omega: A Programming Language Built for Verified Programs https://www.aienos.com/research/omega-language/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 Semantic identity, evidence-bearing dependencies, and a foreign-code boundary that never lets unverified work inside. The AIEN Papers: The Complete Collection https://www.aienos.com/research/the-aien-papers/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 The Turing unit, the evidence doctrine, the language design and the philosophy in one document. The Turing: A Unit of Verified Explanatory Gain https://www.aienos.com/research/the-turing-brief/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 The three-page plain-language brief: what the Turing measures, what it does not, and what would prove it wrong. The Turing Discovery Gap Conjecture https://www.aienos.com/research/turing-discovery-gap-conjecture/ 2026-10-02T00:00:00Z 2026-10-21T23:52:04-05:00 Available versus accessible explanatory value: worlds with compact explanations that no efficient learner can reach. The Machine https://www.aienos.com/machine/ 2026-10-01T00:00:00Z 2026-10-21T23:52:04-05:00 What AIENOS is: the real machines it runs on today, the closed epistemic loop, the Turing as its accounting layer, and an honest list of what exists. Computing Machinery and Understanding: The Turing as a Measure Emerging from AIEN https://www.aienos.com/research/computing-machinery-and-understanding-emergence/ 2026-09-30T00:00:00Z 2026-10-21T23:52:04-05:00 The companion engineering paper: how the Turing emerged from building AIEN. DOI 10.5281/zenodo.23437568. Computing Machinery and Understanding: From the Imitation Game to the Turing https://www.aienos.com/research/computing-machinery-and-understanding/ 2026-09-30T00:00:00Z 2026-10-21T23:52:04-05:00 The formal preprint defining the Turing as an operational measure of generalized explanatory compression. DOI 10.5281/zenodo.23437498. The Stapleton Doctrine https://www.aienos.com/research/the-stapleton-doctrine/ 2026-09-30T00:00:00Z 2026-10-21T23:52:04-05:00 A personal philosophy of AI architecture and programming. The Turing: an interactive field guide https://www.aienos.com/turing/ 2026-09-30T00:00:00Z 2026-10-21T23:52:04-05:00 What the Turing measures (net held-out explanatory compression), with games, live calculations and the theories behind it. The AIEN V3 Research Plan https://www.aienos.com/blog/aien-v3-research-plan/ 2026-09-27T00:00:00Z 2026-10-21T23:52:04-05:00 The ratified V3 research plan, the Substrate Edition, with six falsifiable hypotheses. The Post-LLM Case https://www.aienos.com/post-llm-case/ 2026-09-27T00:00:00Z 2026-10-21T23:52:04-05:00 The case for a different learning machine: programs proposed, verification deciding, knowledge kept as inspectable programs.