That would be nice, but I don't think so. If the Hurd ever reaches a state of work where it has essential drivers, then surely a lot of people will pick it up and try it as their day-to-day driver (I know I will!).
In terms of webservers, supercomputers and corporate computing, Linux will probably be the king for a long time, but the Hurd is still something fun for us to try out!
Monolithic kernels vs microkernels is a debate that is still going on today (I think). They both have pros and cons, which make them good for different use cases (although, I personally agree with this Tanenbaum person 😉).
GuixSD on the Hurd has slow development but I'm extremely excited, as it'll be our first fully GNU distribution!
I've never tried RedoxOS so I couldn't say if it's more stable or not, and I've only ever run Guix on Linux or Linux-libre systems but it would be interesting to see a working copy of Guix on Minix3 or a BSD!
I've heard about the Linux drivers being used in the Hurd, but I'm unsure as to whether or not they're 100% working (no problems so far, but I don't have any current hardware installs so I'm not one to talk).
But to be honest, that bit completely slipped my mind, so thanks for mentioning it!👍
functional.cafe is an instance for people interested in functional programming and languages.