Topics · Domain

Linguistics

How human language works: grammar, meaning and culture, how languages differ and change, and what the languages we write for machines borrow from them.

Includes
Programming languages, Semiotics
Pages
2
On the map 2 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. 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 systemsLinguisticsSemiotics

    27 min read · 15 chapters

  3. 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 systemsLinguisticsAerospace

    26 min read · 5 chapters

    Open the full search →