| | Co-Egraphs: Streams, Unification, Pegs, Rational Lambdas (philipzucker.com) |
| 3 points by speckx on Aug 5, 2024 | past |
|
| | Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com) |
| 71 points by philzook on Aug 5, 2024 | past | 24 comments |
|
| | EGraphs as Ground Completion Talk and Egraphs 2024 Notes (philipzucker.com) |
| 2 points by g0xA52A2A on July 1, 2024 | past |
|
| | Simple Proofs with Z3Py (2019) (philipzucker.com) |
| 1 point by fanf2 on June 15, 2024 | past |
|
| | Justified SMT 1: The miniKanren inside Z3 (philipzucker.com) |
| 4 points by mpweiher on June 13, 2024 | past |
|
| | Hashing Modulo Theories (philipzucker.com) |
| 59 points by philzook on May 17, 2024 | past | 3 comments |
|
| | Reverse Mode Differentiation Is Kind of Like a Lens (philipzucker.com) |
| 1 point by pizza on March 31, 2024 | past |
|
| | Linear Algebra of Types (2019) (philipzucker.com) |
| 115 points by g0xA52A2A on March 30, 2024 | past | 8 comments |
|
| | Finite Set Theory in Python (philipzucker.com) |
| 3 points by kryster on March 25, 2024 | past |
|
| | Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com) |
| 1 point by gulced on March 19, 2024 | past |
|
| | Compiling with Constraints (philipzucker.com) |
| 126 points by philzook on March 18, 2024 | past | 36 comments |
|
| | Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com) |
| 3 points by philzook on March 8, 2024 | past |
|
| | The C bounded model checker: criminally underused (philipzucker.com) |
| 209 points by philzook on Jan 30, 2024 | past | 125 comments |
|
| | Knuckledragger – A Python Experiment on Proof Assistance (philipzucker.com) |
| 1 point by uyasarkocal on Jan 20, 2024 | past |
|
| | PCode2C: Steps Towards Translation Validation with Ghidra and CBMC (philipzucker.com) |
| 2 points by matt_d on Jan 5, 2024 | past |
|
| | Knuckledragger: Experimenting with a Python Proof Assistant (philipzucker.com) |
| 3 points by mathgenius on Jan 1, 2024 | past |
|
| | MiniLitelog: Easy Breezy SQLite Datalog (philipzucker.com) |
| 3 points by philzook on March 12, 2023 | past |
|
| | Replicating Rise4Fun Z3 with z3-WASM (philipzucker.com) |
| 3 points by hcs on Jan 24, 2023 | past |
|
| | Datalite: A Simple Datalog Built Around SQLite (philipzucker.com) |
| 4 points by philzook on Oct 7, 2022 | past |
|
| | Duckegg: A Datalog / Egraph Implementation Built Around DuckDB (philipzucker.com) |
| 4 points by philzook on Oct 3, 2022 | past |
|
| | Hashlog: A Simple Datalog in OCaml (philipzucker.com) |
| 3 points by triska on May 30, 2022 | past |
|
| | The Almighty Dwarf: A Trojan Horse for PL Research (philipzucker.com) |
| 2 points by philzook on April 22, 2022 | past |
|
| | Embedding E-Graph Rewriting in Constraint Handling Rules (philipzucker.com) |
| 2 points by philzook on April 15, 2022 | past |
|
| | Constrained Horn Clauses for Bap (2022) (philipzucker.com) |
| 2 points by philzook on Feb 16, 2022 | past |
|
| | Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) (philipzucker.com) |
| 22 points by philzook on Nov 29, 2021 | past | 4 comments |
|
| | Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021) (philipzucker.com) |
| 1 point by philzook on Aug 22, 2021 | past |
|
| | Getting Started with Z3: A Guide (philipzucker.com) |
| 1 point by tosh on Aug 13, 2021 | past |
|
| | Proving a Theorem with Rust and Egraphs (philipzucker.com) |
| 2 points by alex_hirner on Aug 3, 2021 | past |
|
| | Proving a Category Theory Theorem with Rust and Egraphs (philipzucker.com) |
| 2 points by philzook on Aug 2, 2021 | past |
|
| | Egglog: A Prolog Syntax for the Egg Egraph Library (2021) (philipzucker.com) |
| 2 points by philzook on July 27, 2021 | past |
|
|
| More |
