News for hackers. Stuff that matters.
Re:AlphaEvolve: A Gemini-powered coding agent for designing ... by thesz on Thursday May 15, 2025 @09:18AM (#43994750)
One can have obvious but repetitive optimizations with symbolic programming [1].

[1] https://arxiv.org/abs/1012.1802

Strange that AlphaEvolve authors do not compare their work to what is achievable by equality saturation. An implementation of equality saturation can take interesting integrals with very simple rules [2].

[2] https://github.com/alt-romes/hegg/blob/master/test/Sym.hs#L3...

There are no comments on this comment yet.