We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/
In this episode of Current Continuation, Adrian Sampson and I talk to Prof. Sarah E. Chasins of UC Berkeley. Sarah does awesome work at the intersection of PL, HCI, and social science! Enjoy!
www.youtube.com/watch?v=9NPI...
the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...
LSU is using this in their quantum computing course: arxiv.org/pdf/2511.02844
"Students begin with ... QWLA, a lightweight simulation framework that supports intuitive engagement with core quantum ideas without requiring prior knowledge of matrix algebra."
Aws Albarghouthi
Follow along on Github. We're building in the open. Contributions welcome!
github.com/Stavan-Jain/...
Aws Albarghouthi
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
The work winning this year's Nobel Prize in Chemistry is science-fiction-like-materials-wizardry, but this insight about people from one of the winners (also a UCB alumnus!) is particularly profound: www.nytimes.com/2025/10/08/s...
