Taming Undefined Behavior in LLVM https://blog.regehr.org/archives/1496 (exploring a model for undef behaviour that is comprehensible and amenable to opt)
Related Posts
C++ no longer considers trivial infinite loops to be undefined behaviour! https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2809r3.html
Spotted in the release notes for the latest clang.
Exploring design ideas using AI as a learning assistant, for creative exploration: https://andymatuschak.org/hmwl/
Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html
The idea of providing a standard JSON format to help students write basic passes is really elegant.