GNU Guix Wants to Replace the Linux-Libre Kernel with the Hurd Micro-Kernel | Hacker News Reader