[bollu]

Having similar reasoning, I would up writing a tiny-optimizing-compiler tutorial that only explains how to write a middle and back end of a compiler: https://github.com/bollu/tiny-optimising-compiler

[yuppiemephisto]

Maybe (vibe) coding it in lean would be fun