Great PLDI paper about verifying TikTok's compiler called UnAlive2
If I had a nickel for every programming language implementation funded by ill-gotten World of Warcraft hacking gains, I'd have 1. Which isn't a lot, but it's still surprising
PLDI people tell me that Neil Jones never actually landed on the moon. It was staged
Is PLDI going well? Well, I convinced someone to implement linear scan register allocation in datalog,
Also forgot to mention some small fun with Z3
bernsteinbear.com/blog/asm-z3/
Is formal methods for LLMs "model checking"?
Back in my day it was an Ocean of Nodes. Now because of global warming it's a Sea of Nodes
Inlining: the hard parts
bernsteinbear.com/blog/inlinin...
New post: Test-case Reducers Are Underappreciated Debugging Tools. The more I've used these tools, the more ways I realise they can be used! This post starts at the basics and works up to things like reducing on properties other than just the length of the input. tratt.net/laurie/blog/...
On Monday morn I'll be giving a talk at @sigplan-pldi.bsky.social #PLDI EGRAPHS 2026 about lifting egraphs pldi26.sigplan.org/details/egra... a new twist on adding a notion of rigid alpha canonical variables to e-graphs! Pretty pumped about these ideas! Check it out!
