Economist by training · Builder by practice

I build models
you can play with.

Games, research tools, and AI-native products that turn complicated systems into something you can see, test, and use.

Explore the work

Current working setFollow a point to the project

Selected work

Things I’m building and investigating now.

The projects move between software, economics, games, and research. The common thread is making complex systems explorable.

GamePlayable demo

Marque & Reprisal

The age of sail, wrapped around the whole world.

A globe-spanning pixel-art sailing roguelike set in 1522. Explore, trade, fish, fight, colonize, and survive on a spherical world built from a geodesic tile system.

  • Canvas
  • Electron
  • Geospatial data
  • Cloudflare
ProductLive

Ask Thane

Task tracking that listens before it asks.

An AI-native task tracker for teams. Thane listens to ordinary Slack conversation, infers task state, keeps an auditable history, and follows up when work goes quiet.

  • TypeScript
  • Slack
  • LLMs
  • Cloudflare Workers
Word gameNew puzzle daily

Connecdoku

Sixteen words. Eight overlapping connections.

A 4×4 semantic word puzzle where every swap matters. Arrange the grid so each row and column forms a valid set, with a generator and curation system behind the daily game.

  • JavaScript
  • Puzzle search
  • Rust
  • D1
Digital humanitiesLiving archive

Twenty-Four Histories

Two thousand years of Chinese history, made searchable.

A reading environment for the official dynastic histories of China, pairing source text with literal and idiomatic English translations, annotations, and full-corpus search.

  • Static generation
  • Search
  • Translation
  • Publishing
Economic modelInteractive model

Housing Supply Lab

See scarcity move wealth between generations.

An interactive overlapping-generations model for testing how constrained housing supply can affect prices, ownership, inequality, and intergenerational wealth transfers.

  • React
  • TypeScript
  • Simulation
  • Data visualization
MathematicsPaper + verifier

Hilton–Zhao Counterexample

A nine-vertex graph that breaks a 1997 conjecture.

A hand-checkable counterexample to the Hilton–Zhao vertex-splitting conjecture, accompanied by a complete paper and two independent exhaustive verification paths.

  • Graph theory
  • Python
  • SAT search
  • Reproducible research

About

I follow interesting systems until they become something other people can use.

I’m Garrett Petersen, a Ph.D. economist and independent software builder. My work tends to start with a question—about incentives, language, coordination, history, or play—and end as a working tool.

That has led me from economic simulations and mathematical verification to word games, historical archives, team software, and a globe-spanning sailing roguelike.

Contact

Have an interesting system?

Let’s make it legible.