World III
The Frontier
Reading companions to the papers that made machine intelligence, from Turing to the agentic era.
The Machine Intelligence Canon
200 reading companions, in historical order. Open the canon →
- 001What Would Count as Intelligence?
- 002Problems, Tasks and Environments
- 003Computation as State Transformation
- 004Algorithms, Heuristics and Learned Procedures
- 005Representation Before Intelligence
- 006Feedback, Control and the Cybernetic Loop
- 007Learning, Reasoning and Search Are Not Synonyms
- 008From Programme to Agent
- 009Search as Structured Exploration
- 010Heuristics, A* and the Price of Guidance
- 011Adversarial Search and Strategic Intelligence
- 012Planning Before Action
- 013Knowledge Representation and Logic
- 014Reinforcement Learning and Sequential Choice
- 015Cognitive Architectures Before Foundation Models
- 016The Bitter Lesson and the Neuro-Symbolic Reply
- 017Functions, Composition and Computation Graphs
- 018Vectors as Directions, Not Lists
- 019Matrices as Machines
- 020Eigenstructure and Persistent Directions
- 021Low Rank, Singular Values and Compression
- 022Derivatives, Gradients and Credit Assignment
- 023Optimisation Landscapes Without the Mountain Myth
- 024Graphs, Networks and Message Passing
- 025Probability as Disciplined Uncertainty
- 026Bayes' Rule as Evidence Accounting
- 027Distributions and the Cost of a Point Answer
- 028Entropy, Information and Compression
- 029Variational Inference and Useful Approximation
- 030Causation Is More Than Prediction
- 031Decision Theory Under Irreversibility
- 032Abstention as a Positive Capability
- 033Linear Models and the Discipline of a Baseline
- 034Trees, Forests and Boosting
- 035Kernels and Similarity as Computation
- 036Clustering and the Politics of Distance
- 037Dimensionality Reduction and Manifold Claims
- 038Time Series, Drift and Anomaly
- 039Bias, Variance and the Geometry of Generalisation
- 040Evaluation Is a Measurement System
- 041The Artificial Neuron and What It Leaves Out
- 042Backpropagation as Distributed Credit Assignment
- 043Activation, Normalisation and Residual Flow
- 044Regularisation and Stable Explanations
- 045Convolution, Invariance and Equivariance
- 046Recurrence, Gating and the Vanishing Past
- 047Representation Geometry in Deep Networks
- 048How to Run a Deep-Learning Experiment
- 049Autoregression and the Power of the Next Step
- 050Autoencoders and the Bottleneck Bargain
- 051Variational Autoencoders and Structured Latent Space
- 052Adversarial Generation and the Moving Target
- 053Diffusion and Learning to Reverse Noise
- 054Flow Matching and Continuous Generative Transport
- 055Contrastive and Multimodal Representation Learning
- 056Evaluating Generators Beyond Beauty
- 057Attention as Content-Addressed Routing
- 058Many Heads, Grouped Queries and Shared Keys
- 059Position, Order and Relative Geometry
- 060The Residual Stream as a Shared Workspace
- 061Feed-Forward Networks, Gating and Sparse Experts
- 062Tokenisation and Its Hidden Tax
- 063Causal Masks, KV Caches and Generation
- 064A Transformer Forward Pass You Can Intervene On
- 065Data Mixtures Are Part of the Model
- 066Pretraining Objectives and What They Reward
- 067Scaling Laws Without Extrapolation Theatre
- 068Instruction Tuning as Behavioural Reorientation
- 069Preference Learning, RLHF and DPO
- 070Reinforcement Learning for Reasoning
- 071Distillation, LoRA and the Private Skill Model
- 072Training Lineage as a Governed Supply Chain
- 073Prompting as Engineering
- 074Structured Output and Function Calling
- 075Decoding, Sampling and Controlled Generation
- 076Context Windows, Position Extension and Context Rot
- 077Fine-Tune, Prompt, Retrieve, Calculate or Call a Tool?
- 078Model Selection and Routing Without Benchmark Theatre
- 079Hallucination Engineering and Claim Support
- 080LLM-as-Judge as a Fallible Instrument
- 081The Anatomy of Inference Latency
- 082Quantisation and the Shape of Lost Precision
- 083Speculative Decoding and Verified Acceleration
- 084Inference Cascades and the Economics of Escalation
- 085Mixture-of-Experts Routing as a Systems Problem
- 086State-Space Models and Selective Memory
- 087Hybrid and Diffusion Language Models
- 088Private, Edge and Federated Inference
- 089What Is a Reasoning Trace Evidence Of?
- 090Decomposition and the Shape of a Solvable Problem
- 091Sampling, Self-Consistency and Search Over Answers
- 092Outcome Verifiers, Process Verifiers and Their Blind Spots
- 093Adaptive Test-Time Compute
- 094Solve, Verify or Escalate?
- 095Reflection and Self-Correction Under Controlled Evidence
- 096The Reasoning Stack: From Proposal to Defensible Answer
- 097Probing Is Not Yet Explaining
- 098Circuits and the Search for Mechanism
- 099Superposition, Sparse Features and Causal Inertness
- 100Representation Geometry and Belief Subspaces
- 101Introspection Without Taking the Report on Faith
- 102Metacognition as Calibration, Control and Information Seeking
- 103Self-Models and Safe Self-Modification
- 104Machine Psychometrics Without Anthropomorphic Leakage
- 105Retrieval as Inference Under a Budget
- 106Embeddings, Sparse Search and Hybrid Retrieval
- 107Reranking and the Last Mile of Evidence Selection
- 108RAG, GraphRAG and Relational State
- 109The Context Compiler
- 110Governed Context Reconstruction
- 111Freshness, Supersession and Temporal Entitlement
- 112Semantic Caches Without Privacy or Evidence Leakage
- 113A Model Is Not an Agent
- 114ReAct and the Observation-Action Loop
- 115Plans, Policies and Replanning
- 116Tool Use as Learned API Interaction
- 117Typed Actions and the Deterministic Authority Kernel
- 118Computer Use and the Fragile Visual Interface
- 119Code Agents and the Repository as an Environment
- 120The Certainty Gradient
- 121World State Is Not Memory
- 122Episodic, Semantic, Procedural and Working Memory
- 123Memory as an Attack Surface
- 124Long-Horizon Drift and Markovian Reconstruction
- 125Event-Sourced Case State
- 126Dependency Graphs, AND/OR Plans and Mission Control
- 127Checkpointing, Replay and Recoverable Execution
- 128Agent Plus Operational Twin
- 129When Is More Than One Agent Justified?
- 130Choosing Topology from Task Structure
- 131Decision-Sufficient Communication
- 132Debate, Diversity and the Baseline Problem
- 133Learning Dynamic and Trust-Aware Topology
- 134MCP from Resources to Tool Security
- 135A2A Tasks, Artifacts and Inter-Agent Authority
- 136The Autonomy Ledger for Agent Teams
- 137Computer Vision from Pixels to World Structure
- 138Multimodal Fusion and Unequal Evidence
- 139Vision-Language-Action Models
- 140Grounding Through Consequence
- 141World Models That Survive Intervention
- 142Embodiment as Constraint, Sensorium and Skill
- 143Simulation, Digital Twins and the Reality Gap
- 144Active Inference as a Design Hypothesis
- 145Benchmark Construct Validity
- 146The Evaluation Stack from Component to Outcome
- 147Trajectory Assurance Beyond Final Answers
- 148Failure Injection as the Primary Evaluation
- 149Drift Sentinels for Decisions, Not Just Models
- 150Reproducibility and Counterfactual Replay
- 151The Unknown Outcome and Postcondition Verification
- 152Normal Accidents and Graceful Recovery in Compound AI
- 153Prompt Injection Is a Trust-Boundary Failure
- 154Threat Modelling the Agent Supply Chain
- 155Capabilities, Scoped Identity and Least Authority
- 156The Three Principals and the Confused Deputy
- 157Memory Poisoning, PII and Context Leakage
- 158Guardrails and Model-Independent Containment
- 159Red Teaming and Incident Response for Agentic Systems
- 160Causal Attribution and the Five-Chain Ledger
- 161Why Governance Is an Engineering Discipline
- 162An Operational AI Risk Taxonomy
- 163Regulation as Requirements Engineering
- 164Model Risk for Foundation and Compound Systems
- 165Fairness Across the Decision Pipeline
- 166Explanation for Users, Reviewers and Regulators
- 167The Assurance Case for Agentic Systems
- 168Decision Rights, Accountability and Claims Discipline
- 169The AI Platform as a Product
- 170From MLOps to Compound-AI Operations
- 171A Vendor-Neutral Enterprise Agent Fabric
- 172Durable Workflows for Stochastic Workers
- 173Observability That Explains Decisions
- 174Model Release, Canarying and Behavioural Rollback
- 175Buying Thought as a Portfolio
- 176The Operating Model for Shared AI
- 177Data Contracts Before Model Contracts
- 178Events, CDC and the Reconstruction of Change
- 179Knowledge Publication as a Governed Pipeline
- 180Legacy Integration Patterns for Agentic Systems
- 181The Strangler Pattern for AI-Enabled Change
- 182Software-Engineering Agents Beyond the Demo Task
- 183Test Migration as a Governed Agent Factory
- 184Document Intelligence as Evidence Reconstruction
- 185Banking as Information, Time and Risk Transformation
- 186The Banking Technology Estate Sets the Automation Frontier
- 187The Front-Office Copilot and Governed Adviser
- 188Credit Underwriting with Auditable Reasoning
- 189KYC and Identity as Evidence-Bound Workflow
- 190Financial-Crime Intelligence and the Hard-SAR Constraint
- 191Payments, Fraud, Markets and the Irreversibility Gradient
- 192Regulatory Obligations, Controls and Executable Workpapers
- 193Extended Intelligence and the Human-Machine Unit
- 194Cognitive Sovereignty and Epistemic Agency
- 195Theory of Mind and Social Modelling in Machines
- 196Collective Intelligence Across Humans and Agents
- 197Artificial Metacognition Under Irreversible Choice
- 198Continual Learning, Self-Improvement and Identity Stability
- 199The Road to General Agents Is a Stack of Open Problems
- 200The First Defensible Contribution
Insight Editions
36 study editions with covers, PDFs and EPUBs. All editions →
A Briefer History of TimeStephen Hawking and Leonard Mlodinow
ElasticLeonard Mlodinow
EmotionalLeonard Mlodinow
Feynman's RainbowLeonard Mlodinow
The Grand DesignStephen Hawking and Leonard Mlodinow
The Planet in a PebbleJan Zalasiewicz
SubliminalLeonard Mlodinow
The Theory of EverythingStephen Hawking
The Upright ThinkersLeonard Mlodinow
The Body Keeps the ScoreBessel van der Kolk
Deadly CompanionsDorothy H. Crawford
Einstein's CosmosMichio Kaku
The God EquationMichio Kaku
HyperspaceMichio Kaku
Parallel WorldsMichio Kaku
Physics of the ImpossibleMichio Kaku
Psychology: The Key ConceptsGraham Richards
Through Two Doors at OnceAnil Ananthaswamy
VirusesDorothy H. Crawford
GaiaJames Lovelock
What Is Life?Erwin Schrödinger
Virus HuntDorothy H. Crawford
AntimatterFrank Close
The Large, the Small and the Human MindRoger Penrose
The Future of the MindMichio Kaku
Cycles of TimeRoger Penrose
Einstein's Clocks, Poincaré's MapsPeter Galison
Time Travel PhysicsLisa Visintainer
Time, Tense, and CausationMichael Tooley
What Makes Time Special?Craig Callender
Time's Arrow and Archimedes' PointHuw Price
Beyond EinsteinMichio Kaku and Jennifer Thompson
The Hidden RealityBrian Greene
The Fabric of the CosmosBrian Greene
Until the End of TimeBrian Greene
The Elegant UniverseBrian Greene