Oh sure! That's why we didn't mark the OP as a dupe. These links are just for curiosity (as kencausey said). I'd like to find a way to communicate that when posting those, but none I've found is succinct enough. It gets old quickly to say "This is just for curiosity" every time.
meta: what happened with Docker+MirageOS? Seems like the whole team that was acquired a while ago left to found this new company (Tarides)? Not sure if anybody has more background, just curious :-)
and 2014: https://news.ycombinator.com/item?id=8053687