philzook

Karma: 938
Created: 8 years ago

About

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

Recent Submissions

1. ▲ Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com) 47 points · 3 months ago · 3 comments
2. ▲ A Python CLI for Verifying Assembly (philipzucker.com) 1 point · 3 months ago · 0 comments
3. ▲ A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com) 5 points · 7 months ago · 0 comments
4. ▲ "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (philipzucker.com) 2 points · 8 months ago · 0 comments
5. ▲ A Small Prolog on the Z3 AST (philipzucker.com) 3 points · 8 months ago · 0 comments
6. ▲ Symbolic Execution by Overloading __bool__ (philipzucker.com) 81 points · 11 months ago · 10 comments
7. ▲ Higher Order Pattern Unification on the Z3py AST (philipzucker.com) 2 points · 1 year ago · 0 comments
8. ▲ Tensors and Graphs: Canonization by Search (philipzucker.com) 1 point · 1 year ago · 0 comments

All submissions on HN · View profile on HN