Cracking the Code of Making Old Clothes New Again

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

Open-Source TPDE Can Compile Code 10-20x Faster Than LLVM

Straight Out of a Sci-Fi Movie: An AI Managed to Rewrite Its Own Code to Prevent Humans From Shutting It Down