Strictly for insiders only? I wouldn't even know where to find out what language that is. It has something to do with e-graphs, which seems to be a veritable rabbit hole.
I'd like to think I know a thing or two about math/cs... but I don't really understand what the author is trying to present. And it's not presented to be accessible...
classified · · focus · HN ↗
loose-cannon · · focus · HN ↗