Computational Category Theory in Python 3: Monoids, Groups, and Preorders

Linear Algebra of Types

Why I think Haskell is the best general purpose language (as of June 22 2019)

My n00b Thoughts on Faking GADTs in Rust

Deriving the Chebyshev Polynomials using Sum of Squares optimization with Sympy and Cvxpy - Hey There Buddo!