Stories by philzook

A Python Frozenset Interpretation of Dependent Type Theory

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra

A Small Prolog on the Z3 AST

Symbolic Execution by Overloading bool

Higher Order Pattern Unification on the Z3py AST

Tensors and Graphs: Canonization by Search

Acyclic Egraphs and Smart Constructors

String Knuth Bendix

Ordinals aren't much worse than Quaternions

Knuckledragger, a Semi-Automated Python Proof Assistant

Hashing Modulo Theories

Hashing Modulo Theories

Compiling with Constraints

Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none

The C bounded model checker: criminally underused

MiniLitelog: Easy Breezy SQLite Datalog

Datalite: A Simple Datalog Built Around SQLite

Duckegg: A Datalog / Egraph Implementation Built Around DuckDB

The Almighty Dwarf: A Trojan Horse for PL Research

Embedding E-Graph Rewriting in Constraint Handling Rules

1
2