I’m a philosopher-builder currently thinking deeply about the metaphysics and mathematics of computable reasoning. I founded the Endowment for Human Autonomy, and I’m forming a frontier lab to build the infra required for superintelligence.

Reach out.

About

I'm the developer of the Type 1 / Type 2 generalization framework, the first tractable representation of how reasoning transcends its own theoretical closure (think: what AlphaGo did to Go players v. what Einstein did to Newton).

I also founded the Endowment for Human Autonomy to preserve the capacity for critical thinking and independent reasoning in the age of AI and information warfare. Website/launch announcement soon.

Previously: led a technically ambitious project in the intelligence community, built my first startup as a college senior, taught and supervised undergraduates on contemporary debates at the intersection of national security, ethics, technology, and meritocracy. I studied the history and philosophy of science at Harvard & MIT with a focus on the poorly formalized cognitive ability to reason about and beyond foundational assumptions (reflexivity), not just within them.

These days I'm asking narrower versions of the same questions, and trying to build things that depend on the answers.