3 ms·

OSv seems like the much more practical alternative. That being said I suspect we will just be using more and more stripped down linuxes and containers for quit

• nicklaf 11y ago
  Interesting; I had not heard of OSv, thanks. I am still hoping that something as radical as MirageOS will eventually take off, since we really seem to need it--at the very least, from a security perspective, if not a complexity one. Just by dumping C and Unix, and using a memory-safe language (such as OCaml) instead, we eliminate an entire class of exploits. I will readily admit, though, that trying to force the entire world to use OCaml will surely be the fastest way to fail at this goal. Perhaps aggressively sandboxing is an adequate alternative, which would allow people to write code in environments sitting on stacks containing code from unsafe languages, without single exploits leading to entire system compromise.
  • pjmlp 11y ago
    Yup, yet another band aid to cover for a wrong turn in the late 70's.
• techdragon 11y ago
  I honestly think the "gnu/linux operating system" model is in its final phase of life. Kernel ABI stability has brought forth options like running docker containers on FreeBSD and Solaris/Illumos/SmartOS Standardised workflows around "containers" are breaking down the need to care what your container is on the inside. Imagine running statically compiled Go binaries that have been compiled against s CloudABI tool chain deployed to CloudABI native hosting with maximum flexibility. I've got a notebook full of details about "Linux compatible" system designs. Throwing away the Linux kernel for fun and profit! It's closer than you think.