Highlight Posts:
 A Touch of Topological Computation 3: Categorical Interlude
 A Touch of Topological Quantum Computation in Haskell Pt. I
 A Little Bloop on Typed Template Haskell
 Lens as a Divisibility Relation: Goofin’ Off With the Algebra of Types
 Solving the Ising Model using a Mixed Integer Linear Program Solver (Gurobi)
 Reverse Mode Differentiation is Kind of Like a Lens II
 Deriving the Chebyshev Polynomials using Sum of Squares optimization with Sympy and Cvxpy
 A Short Skinny on Relations & the Algebra of Programming
 Relational Algebra with Fancy Types
 Linear Relation Algebra of Circuits with HMatrix
All posts:

 Categorical LQR Control with Linear Relations
 Linear Relation Algebra of Circuits with HMatrix
 Learn Coq in Y
 Neural Networks with Weighty Lenses (DiOptics?)
 Gröbner Bases and Optics
 Functors, Vectors, and Quantum Circuits
 Concolic Weakest Precondition is Kind of Like a Lens
 Flappy Bird as a Mixed Integer Program
 Linear Algebra of Types
 Relational Algebra with Fancy Types
 Notes on Getting Started in OCaml
 The Classical Coulomb Gas as a Mixed Integer Quadratic Program
 Doing Basic Ass Stuff in Haskell
 CAV 2019 Notes: Probably Nothin Interestin’ for You. A bit of noodling with Liquid Haskell
 Dump of Nonlinear Algebra / Algebraic geometry Notes. Good Links Though
 Fool’s Rules Regatta 2019
 Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is
 Proving some Inductive Facts about Lists using Z3 python
 A Short Skinny on Relations & the Algebra of Programming
 Some Notes on Drake: A Robotic Control ToolBox
 Why I (as of June 22 2019) think Haskell is the best general purpose language (as of June 22 2019)
 A Basic Branch and Bound Solver in Python using Cvxpy
 Mixed Integer Programming & Quantization Error
 Solving the XY Model using Mixed Integer Optimization in Python
 2D Robot Arm Inverse Kinematics using Mixed Integer Programming in Cvxpy
 The Beauty of the Cone: How Convex Cones Simplify Convex Programming
 Lens as a Divisibility Relation: Goofin’ Off With the Algebra of Types
 Giving the Mostly Printed CNC a try (MPCNC)
 Chile: Nice place
 Proving Addition is Commutative in Haskell using Singletons
 Casadi – Pretty Damn Slick
 Thoughts on Faking Some of GADTs in Rust
 Cvxpy and NetworkX Flow Problems
 A Little Bloop on Typed Template Haskell
 A Touch of Topological Computation 3: Categorical Interlude
 Applicative Bidirectional Programming and Automatic Differentiation
 A Touch of Topological Quantum Computation in Haskell Pt. II: Automating Drudgery