1
The C bounded model checker: criminally underused
Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb
Philip Zucker
A blog about life, programming, math, logic, and physics.
- Popular posts
- 7
- Total points
- 931
- HN comments
- 361
- Rank
- #2,390 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.
6
Why I think Haskell is the best general purpose language as of June 22 2019
Me and my close friends have been interested in starting a project together and I suggested we use Haskell. I do not think the suggestion was received well or perhaps in seriousness. I have a tendency to joke about almost everything and have put forward that we use many interesting but not practical languages in the…