Haiku Alpha 3 has been in development for more than 14 months. In that time more than 800 bugs have been identified and fixed, major sections have been updated, applications have been added and updated, and great progress has been made in supporting additional hardware. Here is a summary of updates, more details can be found here. Also inside, interviews with some core Haiku developers.

minix isn't a hybrid. it is a true micro-kernel. Technically, none of the above are true micro-kernel OS's. (I think the OS-periment by Hadrien Grasland is attempting to be a true micro-kernel design. At least that is the way I read it).
I don't think Be or Haiku is micro, either, but a hybrid (which is just that, a hybrid. It has micro-kernel features and monolithic features.)

Also, what about Linux's dominance in the server and HPC markets? Those don't count right?

If you think that accounts for the bulk of computing devices, please continue. It also negates the fact that often linux and windows server are often running on the same hardware, often one virtualized. The market split is more like 50% and has been and will continue to be so for a long time.

Last year the PC market was around 300million machines IIRC. who sold 300 million servers last year ?