Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...
Finally, explanations for things you never stopped to think about twice.