Topics · Concept

Abstraction

Layers that let people stop thinking about the layer below, from assembly and programming languages to orchestrators and agents, and how each new layer becomes the ground for the next.

Within
Programming languages, History of technology
Pages
5
On the map 5 pages and the topics around it
Tap a dot to select it, tap again to open it.

Open in the full map →

  1. 2026

  2. articleThe River and the CanalEN中한

    Agents explore the rugged world; workflows are what exploration leaves behind. Chess, StarCraft, a factory under the sea, and why I build an engine.

    AgentsGame AIFractalsAbstractionDeterminismDurable executionTrustFactoriesPost-scarcityLegibilityFinanceInsuranceChessGoStarCraft

    51 min read · 16 chapters

  3. noteEverything is a fractal

    The idea I have carried longest: the same patterns recur at every scale. When something holds at three scales, it is usually something real about the world.

    FractalsAbstractionEmergenceScience fictionChaos theoryPhysics

  4. articleSource Code Is the New Assembly

    Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.

    AI-assisted engineeringAbstractionDeterminismFormal methodsHaskellCompilersProvenanceType systems

    27 min read · 15 chapters

  5. articleWhat Comes After the Last Programming Language

    If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.

    Operating systemsInferenceGPUsIsolationProgramming languagesAbstractionAI-assisted engineering

    23 min read · 9 chapters

  6. articleThe Last Programming Language Might Not Be for HumansEN中한

    Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.

    AI-assisted engineeringProgramming languagesAbstractionFormal methodsHaskellCompilersType systems

    26 min read · 5 chapters

    Open the full search →