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?
Philosopher, mathematician, linguist, computer scientist.
Trying to understand the world.
2026-02-02
Lean's Metaprogramming - Harry Goldstein's Talk
How will things play out?