3 ms·
A (relatively) new way to create a super optimizer is to use an egraph: https://egraphs-good.github.io/ https://egraphs-good.github.io/ These are nifty data st
by ashton314 3mo ago
A (relatively) new way to create a super optimizer is to use an egraph: https://egraphs-good.github.io/ https://egraphs-good.github.io/
These are nifty data structures that can quickly search the space of equivalent programs.