On: Mirage – A programming framework for building type...

[sprobertson]

I'm intrigued but your site gives me little to go on, I feel like I'm missing a big "what this is" page

[ReleaseCandidat → sprobertson]

Well, they say it's a unikernel (construction kit) in the first paragraph. Of course that doesn't help much if you don't know what a unikernel is ;)

[crabmusket → sprobertson]

This episode of Signals & Threads discusses Mirage, it may be helpful!

https://signalsandthreads.com/what-is-an-operating-system/

[kunley → crabmusket]

This talk is great in its revealing of history, does it in a very meaningful way. I had few romances with OCaml over the last two decades but never had a broad view on the different phases of its evolution. Anil provides a lot of insights about that here