1Compositional Datalog on SQL: Relational Algebra of the Environment (opens in new tab)(philipzucker.com)47philzook10mo ago3Save
3A Python Frozenset Interpretation of Dependent Type Theory (opens in new tab)(philipzucker.com)5philzook1y ago0Save
4"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (opens in new tab)(philipzucker.com)2philzook1y ago0Save
6Symbolic Execution by Overloading __bool__ (opens in new tab)(philipzucker.com)81philzook1y ago10Save
7Higher Order Pattern Unification on the Z3py AST (opens in new tab)(philipzucker.com)2philzook1y ago0Save
11Ordinals aren't much worse than Quaternions (opens in new tab)(philipzucker.com)62philzook1y ago28Save
12Knuckledragger, a Semi-Automated Python Proof Assistant (opens in new tab)(philipzucker.com)71philzook1y ago24Save
