San Francisco, CAUSA
Hometown: San Francisco
August 31, 2013
New to knowing category theory the name. But have been working with its mathematics and concepts for years.
New to knowing type theory the name. But have been working with its mathematics and concepts for years. I have especially been focused professionally on systems that make use of types.
Just started but am just discovering it's power to implement novel systems with lambda expressions, combinatorial logic, and new data models.
I have a passion for mathematics, language, and computation for discovering and exploring the imagination and the unimaginable. I am a systems architect and founder of tritl.com