Topics I’m
exploring.

A few questions behind the projects and experiments on this site.

Writing and checking proofs

How can a tool keep what you meant while making every assumption explicit?

How much complexity can one deterministic rule produce?

Which properties of a transformation remain visible in the right coordinates?

What changes when the cost of a path matters more than its number of steps?

These are things I’m curious about, not published research.