Nice post and I want to encourage the author to keep going :)
Incidentally, I recently vibe coded an e-graph library in Clojure and a CAS system on top of it. I am not very familiar with the theory and my background on symbolic algebra systems was mostly coming from SICP. My motivation was just to play with ideas and "see some things actually happen" also. My library doesn't have any binding support but does do some of the semiring completion stuff mentioned in the post.
It was cool to see the numbers for the AC-10 benchmark match exactly. My lib is much slower, so this is motivating me to optimize it a bit. Anyway, I appreciate the post as well as the down to earth writing style.
blazinglambda · · focus · HN ↗
Incidentally, I recently vibe coded an e-graph library in Clojure and a CAS system on top of it. I am not very familiar with the theory and my background on symbolic algebra systems was mostly coming from SICP. My motivation was just to play with ideas and "see some things actually happen" also. My library doesn't have any binding support but does do some of the semiring completion stuff mentioned in the post.
It was cool to see the numbers for the AC-10 benchmark match exactly. My lib is much slower, so this is motivating me to optimize it a bit. Anyway, I appreciate the post as well as the down to earth writing style.