Hacker News
- Mirage – A programming framework for building type-safe, modular systems https://mirage.io/ 88 comments
- MirageOS 4.0 – Self-managed internet infrastructure with unikernels https://mirage.io/blog/announcing-mirage-40 37 comments
- MirageOS 3.0 (2017) https://mirage.io/blog/announcing-mirage-30-release 26 comments
- Mirage OS https://mirage.io 2 comments
- Functoria, a library to create arbitrary MirageOS-like DSLs https://mirage.io/blog/introducing-functoria 2 comments
- Irmin: Git-like distributed DB https://mirage.io/blog/introducing-irmin 25 comments
- Easy HTTPS Unikernels with mirage-seal https://mirage.io/blog/mirage-seal 4 comments
- Reviewing the Bitcoin Piñata https://mirage.io/blog/bitcoin-pinata-results 14 comments
- MirageOS v2.5 with full TLS support https://mirage.io/blog/announcing-mirage-25-release 9 comments
Lobsters
- Announcing MirageOS 4.0.0 https://mirage.io/blog/announcing-mirage-40 2 comments release , virtualization
- Reviewing the Bitcoin Pinata https://mirage.io/blog/bitcoin-pinata-results 2 comments ml , security
- Mirage – A programming framework for building type-safe, modular systems https://mirage.io/ 2 comments programming
- Announcing MirageOS 3.9.0 https://mirage.io/blog/announcing-mirage-39-release 3 comments ocaml
- Announcing MirageOS 3.0.0 https://mirage.io/blog/announcing-mirage-30-release 13 comments programming
- MirageOS - Introducing Functoria https://mirage.io/blog/introducing-functoria 4 comments ocaml
- Mirage-www's built-in stat now on a nice automatically-updating chart https://mirage.io/stats/gc 4 comments ocaml
Linking pages
- Unikernels are secure. Here is why. | Unikernels http://unikernel.org/blog/2017/unikernels-are-secure 166 comments
- The search for the killer app of unikernels | Unikernels http://unikernel.org/blog/2017/the-search-for-the-killer-app-of-unikernels 123 comments
- Docker Acquires Unikernel Systems As It Looks Beyond Containers | TechCrunch http://techcrunch.com/2016/01/21/docker-acquires-unikernel-systems-as-it-looks-beyond-containers/ 119 comments
- GitHub - seeker89/unikernels: State of the art for unikernels https://github.com/seeker89/unikernels 68 comments
- tihle: a unique TI calculator emulator | ã¿ãª https://www.taricorp.net/2020/introducing-tihle/ 57 comments
- Hack for backward compatibility | OCaml vs Haskell https://blog.regnat.ovh/posts/ocaml-vs-haskell/ 50 comments
- A Unikernel Firewall for QubesOS - Thomas Leonard's blog http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 41 comments
- GitHub - dysinger/restack: Full Stack ReasonML Tutorials https://github.com/dysinger/restack/#restack-full-stack-reasonml 36 comments
- runtime.js — JavaScript library OS | by Serge | Medium https://medium.com/@iefserge/runtime-js-javascript-library-os-823ada1cc3c 30 comments
- GitHub - solo-io/unik: The Unikernel & MicroVM Compilation and Deployment Platform https://github.com/emc-advanced-dev/unik 19 comments
- NFV Platforms with MirageOS Unikernels | Unikernels http://unikernel.org/blog/2016/unikernel-nfv-platform 17 comments
- Configuration files suck.. Just use a programming language. | by James Fisher | HackerNoon.com | Medium https://medium.com/@MrJamesFisher/configuration-files-suck-6daa9812f601#.166rdajdv 16 comments
- BuckleScript: The 1.0 release has arrived! | Bloomberg LP https://www.techatbloomberg.com/blog/bucklescript-1-0-release-arrived/ 10 comments
- GitHub - anmonteiro/ocaml-h2: An HTTP/2 implementation written in pure OCaml https://github.com/anmonteiro/http2af 7 comments
- Release 1.7 and the story behind BuckleScript | Bloomberg LP https://www.techatbloomberg.com/blog/release-1-7-story-behind-bucklescript/ 6 comments
- Just-in-Time Summoning of Unikernels (v0.2) http://www.skjegstad.com/blog/2015/08/17/jitsu-v02/ 5 comments
- GitHub - mirage/ocaml-cohttp: An OCaml library for HTTP clients and servers using Lwt or Async https://github.com/mirage/ocaml-cohttp 5 comments
- GitHub - solo-io/unik: The Unikernel & MicroVM Compilation and Deployment Platform https://github.com/cf-unik/unik 4 comments
- The coming era of OS kernel modularity - DEV Community 👩💻👨💻 https://dev.to/yonkeltron/the-coming-era-of-os-kernel-modularity-5emc 3 comments
- Playing with Caml Light on DOS | Frederic Cambus https://www.cambus.net/playing-with-caml-light-on-dos/ 3 comments