philzook

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

Posts

• A Python Frozenset Interpretation of Dependent Type Theory
  by philzookon 5/19/2025, 6:18 PMwith 0 comments
• "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra
  by philzookon 4/8/2025, 1:17 PMwith 0 comments
• A Small Prolog on the Z3 AST
  by philzookon 4/2/2025, 3:50 PMwith 0 comments
• Symbolic Execution by Overloading __bool__
  by philzookon 12/24/2024, 3:48 AMwith 10 comments
• Higher Order Pattern Unification on the Z3py AST
  by philzookon 11/11/2024, 10:31 PMwith 0 comments
• Tensors and Graphs: Canonization by Search
  by philzookon 11/4/2024, 7:42 PMwith 0 comments
• Acyclic Egraphs and Smart Constructors
  by philzookon 9/16/2024, 11:32 PMwith 0 comments
• String Knuth Bendix
  by philzookon 9/9/2024, 6:37 PMwith 0 comments