| | Verifying Sorting Networks Off of Wikipedia (2019) (philipzucker.com) |
| 1 point by philzook on Dec 24, 2019 | past |
|
| | Categorical LQR Control with Linear Relations (2019) (philipzucker.com) |
| 1 point by philzook on Nov 26, 2019 | past |
|
| | Linear Relation Algebra of Circuits with HMatrix (2019) (philipzucker.com) |
| 2 points by philzook on Nov 11, 2019 | past |
|
| | Gröbner Bases and Optics (2019) (philipzucker.com) |
| 1 point by philzook on Oct 27, 2019 | past |
|
| | Functors, Vectors, and Quantum Circuits (2019) (philipzucker.com) |
| 1 point by philzook on Oct 14, 2019 | past |
|
| | Flappy Bird as a Mixed Integer Program (2019) (philipzucker.com) |
| 5 points by philzook on Oct 6, 2019 | past |
|
| | Linear Algebra of Types (2019) (philipzucker.com) |
| 2 points by philzook on Sept 23, 2019 | past |
|
| | Relational Algebra with Fancy Types (2019) (philipzucker.com) |
| 1 point by philzook on Sept 4, 2019 | past |
|
| | Annihilating My Friend Will with a Python Fluid Simulation, Like the Cur He Is (philipzucker.com) |
| 3 points by philzook on July 21, 2019 | past |
|
| | Proving some Inductive Facts about Lists using Z3 Python (2019) (philipzucker.com) |
| 4 points by philzook on July 12, 2019 | past |
|
| | Relations and the Algebra of Programming (2019) (philipzucker.com) |
| 2 points by philzook on July 2, 2019 | past |
|
| | Why I think Haskell is the best general purpose language as of June 22 2019 (philipzucker.com) |
| 101 points by azhenley on June 23, 2019 | past | 99 comments |
|
| | Solving the XY Model Using Mixed Integer Optimization in Python (philipzucker.com) |
| 3 points by alex_hirner on June 8, 2019 | past | 1 comment |
|
| | Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types (philipzucker.com) |
| 1 point by philzook on May 6, 2019 | past |
|
| | A Touch of Topological Quantum Computation 3: Categorical Interlude (philipzucker.com) |
| 2 points by philzook on Feb 18, 2019 | past |
|
| | A Touch of Topological Quantum Computation in Haskell Pt. II (philipzucker.com) |
| 1 point by philzook on Jan 14, 2019 | past |
|
| | A Touch of Topological Quantum Computation in Haskell Pt. I (philipzucker.com) |
| 3 points by philzook on Nov 14, 2018 | past |
|
| | Using Z3 to solve a simple logic puzzle (philipzucker.com) |
| 1 point by setra on Dec 12, 2017 | past |
|
