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
All posts:

 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