hacking, climbing, proving theorems
I work in Machine Learning and Data Science, and have interests in higher category theory, type theory, logic, functional programming, and getting things done
- Boulder CO
-
03:04
(UTC -07:00) - in/jeremiq
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.