the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...
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...
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."
YouTube video by current continuation
www.youtube.com
Neural networks are more useful when placed in a suitable, specialized environment.
Times are changing: Today, having a mechanized formal foundation enables AI agents to automatically discover and check new codes. QECLean is the foundation for AI agents to autonomously new error-correction schemes and push the frontiers of quantum computing.
thanks so much, Toby!
will update shortly
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
🚀 Announcing QECLean, our effort to formalize quantum error correction and fault-tolerance in Lean. The effort is led by PhD student, Stavan Jain.
We have a full formalization of the Toric Code and a proof of its distance, [[2L^2, 2, L]]! And more to come...
