Oh, wow - this is really cool. I'd like to see a programming environment that integrated something like this directly; this seems like it could, if done clever

Oh, wow - this is really cool. I'd like to see a programming environment that integrated something like this directly; this seems like it could, if done cleverly, do an enormous amount for the leaky-abstractions problem. Something that was designed such that you could easily work with and analyze your code in the high-level and low-level views. Not to mention, having the machine be right there next to your code, with their correspondences clearly marked, would do an enormous amount to demystify what your code's really doing on the lower levels. (I think there's a glimmer of an idea in here for what a future programming system might look like, that allows us to use high-level abstractions and other ergonomic programming concepts AND actually think about the metal and how to use it directly at the same time. Something something interactive compilation...)