🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

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 😁

Great talk by Sorawee Porncharoenwase about expressive pretty printing!!

🎉 Finally got this example of using egglog to optimize scikit-learn with Numba, through an Array API interface, working! egg-smol-python.readthedocs.io/en/stable/tuto… I am so grateful to build on all the wonderful work of the egg team. More info: egg-smol-python.readthedocs.io/en/stable/expl… #egraphs #python

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

Some actual code I wrote today

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!

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

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 gofund.me/b3447b59

thanks me

🌟 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: lean-fro.org/jobs/

New blog post Follow the instructions to make cool dragon curves out of paper or code! uwplse.org/2024/01/22/Dra…

Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting! egraphs.org/meeting/ 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!

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: paramathic.com/wp-content/upl…

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: Will Crichton *Sep 7 at 10am PT*! Schedule: theforkjoin.com

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

The "winner stays" rule in sports is bad and here's why. oflatt.com/winner-stays.h… Graphs included!

My friends and I made an amazing new game! youtube.com/watch?v=jTA5Wm…