vy@dabeaz I don't get why people don't want to do CS research. This is from ACM Communications on Docker.
David Beazley@vy I'm surprised no one got an IEEE award for that.
Dinosaure@dabeaz @vy We have updated this piece of software with OCaml 5, which is available here if you are interested in such an implementation 🙂 : https://discuss.ocaml.org/t/ann-mnet-a-new-tcp-ip-stack-for-unikernels-in-ocaml/17851
[ANN] mnet, a new TCP/IP stack for unikernels in OCaml
I am pleased to announce a series of releases for developing unikernels with OCaml 5 and Miou. After extensive testing, we are now able to offer a new TCP/IPv4 and IPv6 stack in OCaml that aims to replace mirage-tcpip and pave the way for direct-style unikernel development. Below is an overview of the libraries we have built to make this possible. mkernel mkernel is a small library that provides the essentials for developing a unikernel targeting Solo5 or Unikraft. Its purpose is to expose hype...
@dinosaure @dabeaz im busy writing assembly using ed, but thanks for the offer . Are you affiliated with Jane st?
@vy @dabeaz no, we are a cooperative (https://robur.coop & https://github.com/robur-coop/) and we mainly work on unikernels. The OCaml community is quite small so we already did some works which have an implication on Jst but not really interested also to participate into the HFT