Guix is a good candidate for starting with a nominal kernel namely linux, hurd, AND re-using the bulk of the existing (broken) APIs, and softwares. I am more interested in exploring alternative primitives to build an easier developer experience.
tl;dr: 1) explore alternatives API (unlike everything is a file descriptor, hierarchical file system, bsd sockets, IPC all the things) to build a good developper experience, 2) demonstrate how to create applications with those
@worldsendless
Guix is a good candidate for starting with a nominal kernel namely linux, hurd, AND re-using the bulk of the existing (broken) APIs, and softwares. I am more interested in exploring alternative primitives to build an easier developer experience.
tl;dr: 1) explore alternatives API (unlike everything is a file descriptor, hierarchical file system, bsd sockets, IPC all the things) to build a good developper experience, 2) demonstrate how to create applications with those