user: philzook
938 karma | created 8 years ago
recent submissions
1 month ago|discuss
3 months ago|discuss
5 months ago|discuss
6 months ago|discuss
Compositional Datalog on SQL: Relational Algebra of the Environment
(philipzucker.com)
47 pts|6 months ago|3 comments
A Python CLI for Verifying Assembly
(philipzucker.com)
1 pts|6 months ago|discuss
8 months ago|discuss
8 months ago|discuss
8 months ago|discuss
8 months ago|discuss
A Python Frozenset Interpretation of Dependent Type Theory
(philipzucker.com)
5 pts|9 months ago|discuss
"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra
(philipzucker.com)
2 pts|10 months ago|discuss
A Small Prolog on the Z3 AST
(philipzucker.com)
3 pts|11 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss