My friends and I made an amazing new game! https://t.co/21o3nVn3m8

The "winner stays" rule in sports is bad and here's why. https://t.co/UT0Imf2NUa Graphs included!

Tune in tomorrow and ask questions at 10pm PT for the second episode of https://t.co/fBuKZTtdgw! 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:

Our paper “SpEQ: Translation of Sparse Codes using Equivalences” accepted to PLDI 2024 @PLDI. SpEQ uses equality saturation and equivalence checking to automatically translate input codes to library calls or domain-specific languages (DSLs). Paper: https://t.co/fFyyYJuUGz

Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting! https://t.co/rqFetyJr4W For the first meeting, I'll be giving an overview of e-graphs, recent developments, and exciting open directions. Don't know much about e-graphs? This is a great starting point!

New blog post Follow the instructions to make cool dragon curves out of paper or code! https://t.co/HBUOx1Gys6

🌟 We're Hiring at the Lean FRO! 🌟 Interested in Lean, functional programming languages, and theorem provers? We have open positions that might be just right for you. For more details and to apply, please visit:

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 https://t.co/HeEIwKcdfm

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

Excited to announce! Accepted at POPL: Automatic Parallelism Management (Westrick,Fluet,Rainey,Acar) We present a fork-join parallel language where the programmer liberally expresses all _opportunities_ for parallelism, without worrying about the cost of spawning threads.

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! https://t.co/ONS5nZEZYA 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.

🎉 Finally got this example of using egglog to optimize @scikit_learn with @numba_jit, through an Array API interface, working! https://t.co/kQ8vVREqwB I am so grateful to build on all the wonderful work of the egg team. More info: https://t.co/GtISKOQ7QB #egraphs #python

Great talk by @sorawee_p about expressive pretty printing!!

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 about this work and looking forward to hearing what people think of it 😁