Egraphs

The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.

I've liked Cryptic Crosswords...somewhat. In the past. They're a bit tricky for me and I haven't really put in the time to be comfortable enough to have fun...

That there are egraphs in the Cranelift JIT is important as a proof of concept that a seriously engineered piece of production software can fruitfully use some (very intriguing!) variation of egraphs.

You can make egraphs support stream like things / rational terms.

I'm back from Copenhagen! It was really fantastic time. Thanks everyone for the chats and saying you read my blog / enjoyed my talk! I really wish I had stayed for Thursday and Friday as I was still having great conversations. It wasn't clear when I was b

Egglog https://github.com/philzook58/egglog is a prolog-like syntax I'm fiddling with for the egg egraph library. Check out the online demo here http://www.philipzucker.com/egglog/ (rust compiles to wasm)

Oh cursed equation! How you haunt me!

For sports fans, and fans in general, nothing beats meeting your favorite athlete, celebrity or musician and getting to capture that experience -- a signed photo, shirt, etc. -- take it home with you and proudly display it to your friends. There are many

If you're still buying paper books at the bookstore, you might have a hard time with this one: athlete autographs are going digital. That's right, trying to catch your favorite player's attention is no longer the only way to get him to sign memorabilia. S