Jeremiah Edwards
jeremiq
I work in Machine Learning and Data Science, and have interests in higher category theory, type theory, logic, functional programming, and getting things done
@Sage @act-now-coalition @FlyrInc @squelch @vmware @crittercism Boulder CO