1
SQL, Homomorphisms and Constraint Satisfaction Problems
Database queries are a pretty surprisingly powerful tool that can solve seemingly intractable problems.
Philip Zucker
A blog about life, programming, math, logic, and physics.
- Popular posts
- 7
- Total points
- 931
- HN comments
- 361
- Rank
- #2,391 personal
Visit philipzucker.com → RSS feedOn Hacker News Jun 2019 – Nov 2024
Software Engineering 6Math & Algorithms 5Security & Privacy 1Programming Languages 1Databases & Data 1
2
Compiling with Constraints
There are lots of interesting little subproblems in compilation like instruction selection, register allocation and instruction scheduling. These can be expressed in declarative interlinked way to constraint solvers.
3
Computational Category Theory in Python III: Monoids, Groups, and Preorders
Parts 1 and 2 are found here and here
4
Linear Algebra of Types (2019)
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the…
5
Translating My Z3 Tutorial to Coq
A blog about life, programming, math, logic, and physics.