My friends and I made an amazing new game!.

The "winner stays" rule in sports is bad and here's why. Graphs included!.

Tune in tomorrow and ask questions at 10pm PT for the second episode of Super excited to host @wise_jenna, who has been working on *Gradual Verification*: transforming dynamic checking into static, compile-time verification in a smooth way.

TheForkJoin is back for season 2!!! Join me and @notypes as we chat with new faculty in programming languages in systems, taking questions from the audience and generally having a great time. First up: @tonofcrates *Sep 7 at 10am PT*! .Schedule:

RT @MaryamDehnavi: Our paper “SpEQ: Translation of Sparse Codes using Equivalences” accepted to PLDI 2024 @PLDI. SpEQ uses equality saturat….

RT @mwillsey: Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting!. For the first meeting, I'll….

New blog post.Follow the instructions to make cool dragon curves out of paper or code!.

RT @leanprover: 🌟 We're Hiring at the Lean FRO! 🌟 Interested in Lean, functional programming languages, and theorem provers? We have open p….

thanks me

Moppet, the dog Tessa (my partner) walks is in trouble! They need a temporary home and it's not cheap. We started a GoFundMe, and anything helps! More info there.

Did you know they make low latency wireless audio dongles now!??

RT @shwestrick: Excited to announce! Accepted at POPL:. Automatic Parallelism Management.(Westrick,Fluet,Rainey,Acar). We present a fork-jo….

Painted this at the mentoring event at UW!

Some actual code I wrote today

My dinner might look like nacho cheese and mashed potatoes from hell but I promise it's actually delicious curry and vinegar fusion mashed potatoes

That being said, we have big ideas for the future of egglog- proof certificates, functional programming, modules, and more!.Use egglog because it's awesome, expect breaking changes.

egglog has its first release!. Egglog is a language that combines the power of egraphs and datalog, and it's ready to use! .It's the culmination of a long line of egraph research across institutions and industry. I'm super excited to release it.

RT @SShanabrook: 🎉 Finally got this example of using egglog to optimize @scikit_learn with @numba_jit, through an Array API interface, work….

RT @fakeagnu: Great talk by @sorawee_p about expressive pretty printing!!

RT @fakeagnu: If you’re at SPLASH, come to my talk on Wednesday morning! I’ll be sharing our new DSL for rule inference- I’m really excited….