Live data from Hacker News

Mirage – A programming framework for building type-safe, modular systems

mirage.io

21–30 of 92 posts

Re: Mirage – A programming framework for building type-safe, modular systems

#21
post #10

Earlier quoted context omitted.

Isn’t this the same idea behind unikernels?

Mirage is a unikernel. The catch here is Ocaml. You can design your unikernel "bare metal" in any way you want and make it do nothing but the essentials you need ... and design it in any language you want as long as that language is OCaml.

[deleted]

Re: Mirage – A programming framework for building type-safe, modular systems

#22
post #8

I'm really sold on the idea: Instead of a full-blown OS, you compile your application with a thin layer of support libraries that provide the OS features that your application needs (network, I/O) and that talks to a hypervisor. I mean, if your application runs in a virtualized environment, there's little need to SSH into the system in the first place (except for debugging purposes). Thus, why bother with a full-blow…

But what's the benefit of cutting out the full-blown operating system? It's rare that such things would be the bottleneck.

Re: Mirage – A programming framework for building type-safe, modular systems

#23
post #8

I'm really sold on the idea: Instead of a full-blown OS, you compile your application with a thin layer of support libraries that provide the OS features that your application needs (network, I/O) and that talks to a hypervisor. I mean, if your application runs in a virtualized environment, there's little need to SSH into the system in the first place (except for debugging purposes). Thus, why bother with a full-blow…

But what's the benefit of cutting out the full-blown operating system? It's rare that such things would be the bottleneck.

Performance and security, basically.

Similar to trying to run containers bare metal directly on top of type 1 hypervisors, except unikernels are designed for this purpose.

Re: Mirage – A programming framework for building type-safe, modular systems

#25
post #14
post #8

I'm really sold on the idea: Instead of a full-blown OS, you compile your application with a thin layer of support libraries that provide the OS features that your application needs (network, I/O) and that talks to a hypervisor. I mean, if your application runs in a virtualized environment, there's little need to SSH into the system in the first place (except for debugging purposes). Thus, why bother with a full-blow…

> there's little need to SSH into the system in the first place (except for debugging purposes). Pretty big except though. This concept has been done multiple times and has always failed. It's solving a problem that few care about.

[deleted]

Re: Mirage – A programming framework for building type-safe, modular systems

#26
post #15

Personal pet-peeve (from Requirements page): > (…) They should build on any modern UNIX (or macOS) system with OCaml and OPAM installed. (…) I just checked. MacOS Sonoma is STILL UNIX certified, and I get that wording “any modern UNIX” would not be clear this minor error annoys me. s/or MacOS/including MacOS/

Maybe it's not about "Unix", but "modern"? Although, "modern Unix" is an oxymoron. duck and run

Re: Mirage – A programming framework for building type-safe, modular systems

#27
post #14
post #8

I'm really sold on the idea: Instead of a full-blown OS, you compile your application with a thin layer of support libraries that provide the OS features that your application needs (network, I/O) and that talks to a hypervisor. I mean, if your application runs in a virtualized environment, there's little need to SSH into the system in the first place (except for debugging purposes). Thus, why bother with a full-blow…

> there's little need to SSH into the system in the first place (except for debugging purposes). Pretty big except though. This concept has been done multiple times and has always failed. It's solving a problem that few care about.

> It's solving a problem that few care about.

Security?

Re: Mirage – A programming framework for building type-safe, modular systems

#29
post #18
post #2

Also with a bit living inside Docker. https://mirage.io/blog/2022-04-06.vpnkit

Weren't they at some point acquired by Docker?

Some MirageOS developers were hired/acquired by docker -- though not the (open source) project, beither the code... There's still quite some work on MirageOS itself, including reproducible binary builds, VPN, DNS services, orchestration solutions, ...
Post reply on HN