We attempt to render philosophy computable, quantifiable, and verifiable.

While meaningfully engaging with enigmas dating back to antiquity can be an end in itself, the ultimate aim of this work is to solve the alignment problem—or to conclusively prove its insolubility.

Explore a growing collection of artifacts attempting to express the very foundations of wisdom in the native language of machines.