Chris Fallin (Jan 20 2023 at 18:36): Chris Fallin (Jan 20 2023 at 18:36):Just posted this: https://cfallin.org/blog/2023/01/20/cranelift-isle/
Chris Fallin (Jan 20 2023 at 18:37):hopefully it's interesting to folks; happy to hear feedback :-)
fitzgen (he/him) (Jan 20 2023 at 18:40)::tada:
bjorn3 (Jan 20 2023 at 20:55):Found a typo: theroetical
Chris Fallin (Jan 20 2023 at 20:57):fixed, thanks!
Tshepang Lekhonkhobe (Jan 21 2023 at 11:52):s/the idea of rewrite/the idea of rewritting
Juan Bono (Jan 21 2023 at 13:38):Wow that’s an amazing post! Thanks for writing it. ISLE looks pretty cool and I’m impressed of how prolog keeps inspiring really cool projects like ISLE and Chalk (in rust). I’m happy to know that there is a forthcoming egraph article :D
Max Willsey (Jan 24 2023 at 21:09):Very nice post, and amazing work! I too am looking forward to the egraph article :eyes:! I’m very interested in what you worked up and the various trade-offs with the egg way of doing things.
Last updated: Nov 22 2024 at 17:03 UTC