Jan 6, 2026

Language as Geometry

We lift language out of the Flatland of probability tables into the high-dimensional space of vectors, where we can finally move freely between ideas.

Read the article →
Dec 10, 2025

Computation Moves, Data Stays: The Yin.vm Continuation Model

Yin.vm inverts traditional execution: continuations become thin control objects that migrate to where data lives, not containers dragging gigabytes of heap. By externalizing state into streams and intelligently resolving symbols, computation becomes mobile—making distributed computing feel local without pretending everything is.

Read the article →
Dec 9, 2025

Letter to Mom and Dad

Datom.world explained in plain language (Vietnamese, Chinese, English): a unified structure for information where people own their data and software becomes humane.

Read the article →
Dec 8, 2025

Why TCP Is Too Semantic for Datom.world

TCP forces global ordering and connection state, smuggling in semantics that contradict Datom.world's axioms. UDP provides the raw substrate where causality lives in datom metadata (as entity references), not the wire—enabling mobile continuations, CRDT merges, and interpreter-directed reliability without transport-layer lies.

Read the article →
Dec 7, 2025

Why Continuations Are the Universal Semantic Kernel

Continuations aren't just control flow—they're the universal semantic kernel . As first-class datoms in Yin.vm, they unify exceptions, async/await, generators, coroutines, backtracking, effects, and distributed computation, making nearly every language feature a special case of manipulating continuations.

Read the article →
Nov 23, 2025

What Is Computation?

Computation is structural transformation through three operations: expansion (generating richer semantics), compression (extracting basis-free invariants), and morphism construction (building bridges between structures). This framework unifies interpretation, learning, and understanding.

Read the article →
Nov 21, 2025

Semantics is Structure Through Interpretation

Does semantics come from interpretation or structure? Both: Semantics = (structure) × (interpreter) . Chinese characters encode semantic associations (structure), but meaning only emerges when a reader interprets them. Remove either factor and semantics vanishes—this resolves the apparent contradiction.

Read the article →
Nov 19, 2025

All Money Is Monopoly Money

All money—BTC, USD, gold—is Monopoly money: accounting artifacts whose value comes from trust, not materials. Money's power lies in creating flow through skilled people. The real question isn't BTC vs USD, but which system generates the best flow of human productive activity.

Read the article →
Nov 17, 2025

Datom Representation and the Hidden Performance Cost

Datoms appear fixed-size— [e a v t m] —but their elements aren't. Variable-size values create hidden performance costs in parsing, indexing, and caching. The solution: hybrid representation with typed streams, interning, and columnar encoding that balances semantic universality with execution speed.

Read the article →
Nov 17, 2025

π-Calculus, RQM, and the Primacy of Interaction

RQM says reality is interactions, not state . π-calculus says computation is message-passing, not mutation . These are the same insight: both reject independent facts/state as primary, making interaction fundamental. DaoDB implements this—distributed observers correlate through sync, not through shared global state.

Read the article →
Nov 16, 2025

What Makes Datalog Datalog: Semantics, Not Syntax

Datalog is defined by semantics, not syntax : relational foundation, Horn clause logic, stratified negation, bottom-up evaluation, set semantics. Datomic's EDN, Prolog's predicates, SQL's WITH RECURSIVE—all Datalog if the evaluation model matches. Surface representation is irrelevant.

Read the article →
Nov 16, 2025

Datom.World and the Collapse of the Wave Function

DaoDB implements Relational Quantum Mechanics : no global state exists, only local states relative to observers. When isolated devices sync, their conflicting states undergo wave function collapse through CRDT merge—creating correlation, not convergence to pre-existing truth.

Read the article →
Nov 15, 2025

Datalog as Compiler Infrastructure

When ASTs are datoms in DaoDB, the entire program becomes a queryable database . Every optimization transforms from manual tree-walking to declarative Datalog queries—enabling whole-program reasoning, composable analyses, and user-programmable compilation impossible in traditional architectures.

Read the article →
Nov 15, 2025

Universal AST vs Assembly: High-Level Semantics in Low-Level Form

The Universal AST looks like assembly —flat, explicit, verbose datom sequences. But it operates at a fundamentally higher abstraction: assembly manipulates machine state, the Universal AST represents program semantics. It's the difference between "move register" and "function application"—low-level form, high-level meaning.

Read the article →
Nov 15, 2025

When the IDE Edits AST, Not Text

When you edit AST directly , text becomes a materialized view—not the canonical code. Syntax becomes a user preference (C-like vs Lisp vs Python), refactoring becomes querying datoms, and collaboration merges AST changes, making text's tyranny obsolete.

Read the article →
Nov 14, 2025

Yin.vm: Chinese Characters for Programming Languages

Chinese dialects are mutually unintelligible, yet all share written characters —meaning in the character, not the sound. Yin.vm's Universal AST is programming's equivalent: languages share semantic representation (datom streams) while varying in syntax. Code becomes portable across languages, just as Chinese text is readable across dialects.

Read the article →
Nov 4, 2025

Unitarity, π-Calculus, and the Cosmic Speed Limit

Unitarity (information preservation) + π-calculus (local communication) explain why communication has a finite speed limit . Instantaneous communication would violate causality and create contradictions in information flow. The speed of light is the architectural parameter enforcing locality in the universe's distributed computation.

Read the article →
Dec 2, 2024

Streaming Datoms with Transducers

Datoms flow as immutable streams that can be folded into state anywhere —phone, WASM, edge nodes. Using Clojure transducers, we process these streams with zero intermediate collections, making distributed computation deterministic and conflict resolution just another transformation.

Read the article →