# Enabling discovery of the truth
I feel passionate about
metamath
category theory
knowledge and learning
system design
technology