I really enjoyed reading this post: I think it's valuable to share explorations that didn't pan out. Beyond that, as person not working in compilers, I thought that Nicholas did a great job of providing an overview of the problem at hand as well as just enough detail to start developing an intuition for why the problem is tricky.