| 1. | | Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com) |
| 47 points by philzook 6 months ago | past | 3 comments |
|
| 2. | | A Python CLI for Verifying Assembly (philipzucker.com) |
| 1 point by philzook 6 months ago | past |
|
| 3. | | A Python Frozenset Interpretation of Dependent Type Theory (philipzucker.com) |
| 5 points by philzook 9 months ago | past |
|
| 4. | | "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (philipzucker.com) |
| 2 points by philzook 10 months ago | past |
|
| 5. | | A Small Prolog on the Z3 AST (philipzucker.com) |
| 3 points by philzook 11 months ago | past |
|
| 6. | | Symbolic Execution by Overloading __bool__ (philipzucker.com) |
| 81 points by philzook on Dec 24, 2024 | past | 10 comments |
|
| 7. | | Higher Order Pattern Unification on the Z3py AST (philipzucker.com) |
| 2 points by philzook on Nov 11, 2024 | past |
|
| 8. | | Tensors and Graphs: Canonization by Search (philipzucker.com) |
| 1 point by philzook on Nov 4, 2024 | past |
|
| 9. | | Acyclic Egraphs and Smart Constructors (philipzucker.com) |
| 4 points by philzook on Sept 16, 2024 | past |
|
| 10. | | String Knuth Bendix (philipzucker.com) |
| 2 points by philzook on Sept 9, 2024 | past |
|
| 11. | | Ordinals aren't much worse than Quaternions (philipzucker.com) |
| 62 points by philzook on Aug 22, 2024 | past | 28 comments |
|
| 12. | | Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com) |
| 71 points by philzook on Aug 5, 2024 | past | 24 comments |
|
| 13. | | Hashing Modulo Theories (philipzucker.com) |
| 59 points by philzook on May 17, 2024 | past | 3 comments |
|
| 14. | | Compiling with Constraints (philipzucker.com) |
| 126 points by philzook on March 18, 2024 | past | 36 comments |
|
| 15. | | Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com) |
| 3 points by philzook on March 8, 2024 | past |
|
| 16. | | The C bounded model checker: criminally underused (philipzucker.com) |
| 209 points by philzook on Jan 30, 2024 | past | 125 comments |
|
| 17. | | MiniLitelog: Easy Breezy SQLite Datalog (philipzucker.com) |
| 3 points by philzook on March 12, 2023 | past |
|
| 18. | | Datalite: A Simple Datalog Built Around SQLite (philipzucker.com) |
| 4 points by philzook on Oct 7, 2022 | past |
|
| 19. | | Duckegg: A Datalog / Egraph Implementation Built Around DuckDB (philipzucker.com) |
| 4 points by philzook on Oct 3, 2022 | past |
|
| 20. | | The Almighty Dwarf: A Trojan Horse for PL Research (philipzucker.com) |
| 2 points by philzook on April 22, 2022 | past |
|
| 21. | | Embedding E-Graph Rewriting in Constraint Handling Rules (philipzucker.com) |
| 2 points by philzook on April 15, 2022 | past |
|
| 22. | | Constrained Horn Clauses for Bap (2022) (philipzucker.com) |
| 2 points by philzook on Feb 16, 2022 | past |
|
| 23. | | Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) (philipzucker.com) |
| 22 points by philzook on Nov 29, 2021 | past | 4 comments |
|
| 24. | | Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021) (philipzucker.com) |
| 1 point by philzook on Aug 22, 2021 | past |
|
| 25. | | Proving a Category Theory Theorem with Rust and Egraphs (philipzucker.com) |
| 2 points by philzook on Aug 2, 2021 | past |
|
| 26. | | Egglog: A Prolog Syntax for the Egg Egraph Library (2021) (philipzucker.com) |
| 2 points by philzook on July 27, 2021 | past |
|
| 27. | | An Interpreter of the Algebra of Programming in miniKanren (philipzucker.com) |
| 3 points by philzook on June 11, 2021 | past |
|
| 28. | | Making a “MiniKanren” using Z3Py (philipzucker.com) |
| 62 points by philzook on May 22, 2021 | past | 5 comments |
|
| 29. | | A Simple, Probably-Not-Exp-Time Disjoint Set in Coq (philipzucker.com) |
| 2 points by philzook on April 11, 2021 | past |
|
| 30. | | A Simplified E-graph Implementation (philipzucker.com) |
| 31 points by philzook on April 3, 2021 | past | 7 comments |
|
|
| More |
