Get the latest tech news
Where are all the Rewrite Rules?
I think a thing that’d be nice is to have a databank of rewrite rules. Here’s some of the ones I know about.
If you want a concrete interesting project (for an undergrad say), consider taking one of these programmatic rewrite systems and convert it into a declarative form of your choice. Something that sometimes holds me back in my enthusiasm for egraphs and other automated theorem proving technology lately is that I’m missing a nice databank of rulesets and compelling examples. It can be easy to eventually be drawn into the technical stuff for it’s own sake, or develop some nth degree unhinged abstractions, philosophy or design principles that ultimately apply to like 2 examples which are actually better dealt with via more elementary means.
Or read this on Hacker News