Posts by Saul Shanabrook
EGRAPHS Community Call Talk
- 2024-03-20
Egglog as a tool for building an optimizing composable type safe DSLs in Python
Original Congruence Closure Paper
- 2023-12-02
In this post, I re-create the examples from the original 1980 paper defining the “congruence closure” of a graph in Python.
PyTensor Chat
- 2023-11-17
Ricardo Vieira reached out asking to see if we could chat about egglog and to explore if it could be used inside of PyTensor for rewriting.
Indexing pushdown
- 2023-11-12
I got this question today, and I thought I would write up some examples to explain the current state of things, for this sort of indexing pushdown:
Optimizing Scikit-Learn with Array API and Numba
- 2023-10-26
In this tutorial, we will walk through increasing the performance of your scikit-learn code using egglog and numba.
Define function vs define action.
- 2022-11-29
There is both a top level define method as well as a define action type. What is the difference between them? The method does accept a cost, otherwise they both accept a string and an expression. Let’s look at the implementations.
How does egglog handle boolean values?
- 2022-11-20
Some functions, like << return an optional int.
Others, like < return an optional unit.