Thomas Kwa comments on Requesting feedback/​advice: what Type Theory to study for AI safety?

[Thomas Kwa]

I’m on a very similar path; DM me if you want my thoughts.