Encode Reality

Exploring the Principles Underpinning Hierarchical Systems of Knowledge and Computation

Most of the ways I have learned to understand the world—physics, mathematics, logic, and complex systems—have come through the lens of computation. Computation has a unique property among intellectual frameworks: it allows ideas to be executed. A philosophical claim can become a model, a model can become code, and code can become an experiment. When this happens, philosophy stops being purely speculative and becomes something we can interact with.

This blog explores that space.

The project sits at the intersection of epistemology, ontology, and the post-Gödel constructivist tradition. Gödel showed that formal systems cannot fully contain the truths about themselves. Instead of treating that as a limitation, constructivist thinking reframes the problem: knowledge should be grounded in what can be constructed, verified, and operationalized.

In other words, ideas should be buildable.

The goal here is to explore frameworks that are actionable, testable, and implementable. If a concept cannot be translated into some form of executable model—whether mathematical, computational, or experimental—then its usefulness is limited. Understanding deepens when ideas can be instantiated and observed in operation.

To pursue that goal, this blog takes two forms:

Essays exploring concepts in philosophy, mathematics, computation, and systems theory.
Experiments that readers can run themselves, often on their own computers, to develop intuition about the ideas being discussed.

The experiments are not secondary to the writing. They are the mechanism through which abstract ideas become tangible.

The broader motivation behind this project is simple: awareness expands agency. The more clearly we understand the systems we inhabit—biological, computational, social, or physical—the more expressive we become within them. Knowledge is not just about description; it is about expanding the space of possible actions.

Ultimately, this work is an attempt to leave something useful behind: not a finished doctrine, but a collection of ideas, experiments, and tools that others can build upon. If the project succeeds, readers will leave with something more valuable than answers.

They will leave with new ways to think and construct.

View the research repository on GitHub

Bell's Theorem and the Limits of Classical Probability

Bell’s Theorem and the Limits of Classical Probability A type-level constraint on correlations and why quantum mechanics escapes it Bell’s theorem is often introduced through physical systems — photons, spins, and entanglement. The result itself is structural, independent of the underlying physical realization. Specifically, it constrains programs with a local-independent dependency structure: two outputs that share a hidden state but are each computed without access to the other’s input. Any program with this structure must satisfy a particular bound on output correlations. No implementation can escape it — the bound follows from the type signature alone. ...

The Models We Choose Define the Worlds We Can See

The Models We Choose Define the Worlds We Can See Modeling is commonly framed as approximation — the assumption that a system exists in full, and our models trace its contours with varying levels of fidelity. This framing is incomplete. Models do not merely approximate reality with varying precision. They constrain what dynamics can be represented in the first place. A model that represents populations as aggregate compartments cannot express phenomena that depend on individual interactions. A model that represents individuals on networks cannot yield closed-form predictions. These are not differences in accuracy — they are differences in what the model is capable of saying. ...

Beyond What Works: Ideas, Intelligence, and the Courage to Be Creative

Beyond What Works: Ideas, Intelligence, and the Courage to be Creative When we talk about intelligence, we often treat it as the ability to solve problems. A problem appears. A system searches. A solution is found. But this picture hides something deeper. Not all solutions are of the same kind, because not all acts of intelligence operate at the same level. Some systems generate solutions within an established space. Others generate the spaces themselves. ...

The Paradox of Individualism: How the Myth of Total Agency Makes Us Easier to Control

The Story We Tell Ourselves About Freedom Modern Western culture places enormous emphasis on individual autonomy. We are told that each person is the primary author of their life. Success is attributed to discipline and effort. Failure is attributed to poor choices. The underlying assumption is simple: the conscious individual is the primary source of action. This belief is deeply appealing. It grants dignity, responsibility, and moral clarity. If individuals control their choices, then society can reward virtue and punish wrongdoing with confidence that those outcomes reflect genuine decisions. ...

Toward a Science of Politics: Dynamic Stability, Agency, and Dissipation in Open Social Systems

Motivation Political science has traditionally analyzed institutions, incentives, norms, and historical contingencies using descriptive and interpretive frameworks. While empirically rich, these approaches often lack a unifying theoretical substrate comparable to those found in physics, biology, or systems engineering. As a result, recurrent political phenomena—regulatory capture, institutional decay, authoritarian drift, legitimacy collapse—are frequently treated as ideologically contingent or historically unique rather than as expressions of deeper, repeatable dynamics. This work is motivated by the position that political organization is a physical phenomenon. Social systems differ from other physical systems not in kind, but in representation. They are composed of physical agents, physical resources, physical infrastructures, and physical constraints. Political systems must manage energy, material throughput, human attention, enforcement capacity, and coordination costs under non-equilibrium conditions. They are therefore subject to the same stability requirements as all dynamically stable systems. ...