Want to catch up with SE and PL researchers across the Pacific Northwest? Have a cool project to share? The PNW PLSE 2025 is happening on May 7th, at the Uber Engineering Office in Seattle downtown, and you can sign up at pnwplse.org!

I learned a fascinating result today! Consider the class of decider functions `Str->Bool` expressible in STLC, the set of languages it decides is exactly REG, the set of regular languages!

cstheory.stackexchange.com/questions/27...

This talk from Jonathan Ragan Kelley highlights the basic pressure around parallelism and hardware, and the coevolution of hardware (particularly GPUs) and parallel programming paradigms, as well as some directions for us to go next. Great talk.

youtu.be/vU3ryvZYlkk?...