philzook
- Karma
- 955
- Created
- 9 years ago
About
Website: https://www.philipzucker.com Twitter: https://twitter.com/SandMouthRecent Submissions
- 1. ▲ Lambda MicroEgg (philipzucker.com)
- 2. ▲ Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)
- 3. ▲ A Python CLI for Verifying Assembly (philipzucker.com)
- 4. ▲ A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com)
- 5. ▲ "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (philipzucker.com)
- 6. ▲ A Small Prolog on the Z3 AST (philipzucker.com)