#egraph — Public Fediverse posts

[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Coset Enumeration using Equality Saturation https://www.philipzucker.com/coset_enum_egraph/ #egraph #grouptheory #algebra

[New Blog Post] Coset Enumeration using Equality Saturation https://www.philipzucker.com/coset_enum_egraph/ #egraph #grouptheory #algebra

[New Blog Post] Coset Enumeration using Equality Saturation https://www.philipzucker.com/coset_enum_egraph/ #egraph #grouptheory #algebra

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

[New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) https://philipzucker.com/bottom_up/ #egraph #python #termrewriting

[New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) https://philipzucker.com/bottom_up/ #egraph #python #termrewriting