| | Acyclic Egraphs and Smart Constructors (philipzucker.com) |
|
4 points by philzook 19 days ago | past
|
|
| | String Knuth Bendix (philipzucker.com) |
|
2 points by philzook 27 days ago | past
|
|
| | Ordinals aren't much worse than Quaternions (philipzucker.com) |
|
62 points by philzook 45 days ago | past | 28 comments
|
|
| | Co-Egraphs: Streams, Unification, Pegs, Rational Lambdas (philipzucker.com) |
|
3 points by speckx 62 days ago | past
|
|
| | Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com) |
|
71 points by philzook 62 days ago | past | 24 comments
|
|
| | EGraphs as Ground Completion Talk and Egraphs 2024 Notes (philipzucker.com) |
|
2 points by g0xA52A2A 3 months ago | past
|
|
| | Simple Proofs with Z3Py (2019) (philipzucker.com) |
|
1 point by fanf2 3 months ago | past
|
|
| | Justified SMT 1: The miniKanren inside Z3 (philipzucker.com) |
|
4 points by mpweiher 3 months ago | past
|
|
| | Hashing Modulo Theories (philipzucker.com) |
|
59 points by philzook 4 months ago | past | 3 comments
|
|
| | Reverse Mode Differentiation Is Kind of Like a Lens (philipzucker.com) |
|
1 point by pizza 6 months ago | past
|
|
| | Linear Algebra of Types (2019) (philipzucker.com) |
|
115 points by g0xA52A2A 6 months ago | past | 8 comments
|
|
| | Finite Set Theory in Python (philipzucker.com) |
|
3 points by kryster 6 months ago | past
|
|
| | Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com) |
|
1 point by gulced 6 months ago | past
|
|
| | Compiling with Constraints (philipzucker.com) |
|
126 points by philzook 6 months ago | past | 36 comments
|
|
| | Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_none (philipzucker.com) |
|
3 points by philzook 7 months ago | past
|
|
| | The C bounded model checker: criminally underused (philipzucker.com) |
|
209 points by philzook 8 months ago | past | 125 comments
|
|
| | Knuckledragger – A Python Experiment on Proof Assistance (philipzucker.com) |
|
1 point by uyasarkocal 8 months ago | past
|
|
| | PCode2C: Steps Towards Translation Validation with Ghidra and CBMC (philipzucker.com) |
|
2 points by matt_d 9 months ago | past
|
|
| | Knuckledragger: Experimenting with a Python Proof Assistant (philipzucker.com) |
|
3 points by mathgenius 9 months ago | 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
|
|
|
|
More |
