About

Philosopher, mathematician, linguist, computer scientist.

Trying to understand the world.

Posts

2026-02-02

Lean's Metaprogramming - Harry Goldstein's Talk

How will things play out?