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 Combinators for Convex Optimization and Model Predictive Control using Cvxpy
 Naive Synthesis of Sorting Networks using Z3Py
 Notes on Finally Tagless
 Rough Ideas on Categorical Combinators for Model Checking Petri Nets using Cvxpy
 Categorical Combinators for Graphviz in Python
 Stupid is as Stupid Does: Floating Point in Z3Py
 A Sketch of Gimped Interval Propagation with Lenses
 Has My Blog Been Hacked?
 A Sketch of Categorical Relation Algebra Combinators in Z3Py
 Fiddling around with validated ODE integration, Sum of Squares, Taylor Models.
 Stupid Z3Py Tricks Strikes Back: Verifying a Keras Neural Network
 More Stupid Z3Py Tricks: Simple Proofs
 Stupid Z3Py Tricks: Verifying Sorting Networks off of Wikipedia
 Programming and Interactive Proving With Z3Py
 Our Latest Film Ouvre: The Wassenroid
 Solving the Laplace Equations with Linear Relations
 Sum of Squares optimization for Minimax Optimal Differential Eq Residuals
 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