philzook

941 karmajoined September 19, 2017On HN

Website: https://www.philipzucker.com Twitter: https://twitter.com/SandMouth

Recent submissions

Compositional Datalog on SQL: Relational Algebra of the Environment philipzucker.com
47philzook1y3 comments
A Python CLI for Verifying Assembly philipzucker.com
1philzook1ydiscuss
A Python Frozenset Interpretation of Dependent Type Theory philipzucker.com
5philzook1ydiscuss
"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra philipzucker.com
2philzook1ydiscuss
A Small Prolog on the Z3 AST philipzucker.com
3philzook1ydiscuss
Symbolic Execution by Overloading __bool__philipzucker.com
81philzook1y10 comments
Higher Order Pattern Unification on the Z3py AST philipzucker.com
2philzook1ydiscuss
Tensors and Graphs: Canonization by Search philipzucker.com
1philzook1ydiscuss
Acyclic Egraphs and Smart Constructors philipzucker.com
4philzook1ydiscuss
String Knuth Bendix philipzucker.com
2philzook2ydiscuss
Ordinals aren't much worse than Quaternions philipzucker.com
62philzook2y28 comments
Knuckledragger, a Semi-Automated Python Proof Assistant philipzucker.com
71philzook2y24 comments
Hashing Modulo Theories philipzucker.com
59philzook2y3 comments

All submissions and comments on Hacker News.