Skip to content

Instantly share code, notes, and snippets.

View zyansheep's full-sized avatar
🤔
Typechecking dependent type checkers...

Zyansheep zyansheep

🤔
Typechecking dependent type checkers...
View GitHub Profile

The Physics of Agency: A Unified Theory of Brains and Markets?

We often use the metaphor of the market as a "collective brain" or "super-organism." We talk about the "market's beliefs" or how it "panics." This is usually just a poetic shorthand. But what if it's not? What if the mathematics that describes a single, goal-directed agent (like a brain) is genuinely the same mathematics that describes a collection of agents (like a market), just with different settings?

This post sketches a framework called the Typed Free Energy Game (TFEG) that attempts to make this claim mathematically precise. The goal is to build a single formal object that sees a brain as a "game with one player" and a market as a "game with many players," all following the exact same underlying rules.

This isn't just for philosophical kicks. If true, it would give us a powerful new tool: a single "potential function" that we could, in principle, measure for the entire economy—a kind of economic "potential energy" whose gradient

@zyansheep
zyansheep / load_design.html
Last active April 2, 2022 16:41
Monero Design
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta http-equiv="refresh" content="300000">{{/* Refresh every 5 minutes */}}
<title>Document</title>
</head>