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