| | 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
|
| | An Interpreter of the Algebra of Programming in miniKanren (philipzucker.com) |
|
3 points by philzook on June 11, 2021 | past
|
| | Making a “MiniKanren” using Z3Py (philipzucker.com) |
|
62 points by philzook on May 22, 2021 | past | 5 comments
|
| | 2D Optics Demos in JavaScript (philipzucker.com) |
|
2 points by todsacerdoti on May 20, 2021 | past
|
| | A Simple, Probably-Not-Exp-Time Disjoint Set in Coq (philipzucker.com) |
|
2 points by philzook on April 11, 2021 | past
|
| | A Simplified E-graph Implementation (philipzucker.com) |
|
31 points by philzook on April 3, 2021 | past | 7 comments
|
| | Ray Tracing Algebraic Surfaces (philipzucker.com) |
|
3 points by awelkie on March 26, 2021 | past
|
| | Rewriting Monoidal Categories in the Browser with Egg (philipzucker.com) |
|
2 points by philzook on March 14, 2021 | past
|
| | Automated Category Theory Reasoning with Metatheory.jl and Egraphs (philipzucker.com) |
|
7 points by 0x0f0f0f on March 12, 2021 | past
|
| | Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs (philipzucker.com) |
|
1 point by philzook on March 11, 2021 | past
|
| | Translating My Z3 Tutorial to Coq (philipzucker.com) |
|
108 points by philzook on Feb 27, 2021 | past | 18 comments
|
| | CEGARing Exponentials into Z3 with Intervals and Python Coroutines (philipzucker.com) |
|
1 point by philzook on Feb 23, 2021 | past
|
| | Z3, the Word Problem, and Path Homotopy as Equality (philipzucker.com) |
|
3 points by philzook on Feb 14, 2021 | past
|
| | Automated Propositional Sequent Proofs in the Browser with Tau Prolog (philipzucker.com) |
|
2 points by lelf on Feb 8, 2021 | past
|
| | Automated Propositional Sequent Proofs in the Browser with Tau Prolog (philipzucker.com) |
|
33 points by philzook on Feb 7, 2021 | past | 3 comments
|
| | Sketchy Exact Reals from Interval Arithmetic (2021) (philipzucker.com) |
|
2 points by philzook on Jan 11, 2021 | past
|
| | Weakest Precondition with Z3Py (philipzucker.com) |
|
1 point by philzook on Dec 25, 2020 | past
|
| | Modeling TLA+ in Z3Py (philipzucker.com) |
|
34 points by philzook on Dec 21, 2020 | past | 9 comments
|
| | Dataframes.jl Style Linear Relations (philipzucker.com) |
|
1 point by philzook on Nov 20, 2020 | past
|
| | Executing Categories (philipzucker.com) |
|
1 point by philzook on Nov 13, 2020 | past
|
| | Computational Category Theory in Python III: Monoids, Groups, and Preorders (philipzucker.com) |
|
119 points by EvgeniyZh on May 3, 2020 | past | 56 comments
|
| | Computational Category Theory in Python 3: Monoids, Groups, and Preorders (philipzucker.com) |
|
4 points by adamnemecek on May 2, 2020 | past
|
| | Computational Category Theory in Python II: Numpy for FinVect (2020) (philipzucker.com) |
|
2 points by philzook on April 13, 2020 | past
|
| | Computational Category Theory in Python I: Dictionaries for FinSet (philipzucker.com) |
|
3 points by lelf on April 8, 2020 | past
|
| | Computational Category Theory in Python I: Dictionaries for FinSet (2020) (philipzucker.com) |
|
2 points by philzook on April 7, 2020 | past
|
| | Annihilating My Friend with a Python Fluid Simulation (philipzucker.com) |
|
2 points by danso on March 18, 2020 | past
|
| | Categorical Combinators for Convex Optimization (2020) (philipzucker.com) |
|
1 point by philzook on March 10, 2020 | past
|
| | Categorical Combinators for GraphViz in Python (2020) (philipzucker.com) |
|
2 points by philzook on Feb 16, 2020 | past
|
|
|
More |