Wow. This is really sad, they’ve done exceptional work in the practical application of formal methods.
Even if you want to “focus on AI”, ditching your one-of-a-kind asset is a questionable move IMO.
I suspect that by “focus on AI” they really mean “focus on attracting more funding”.
If NeXT didn’t pick up Mach would there be anyone using it today?
Unless you can force people to use it, it’s got to be commercially viable. But even Minix being so prolific, Intel kicked in nothing so it’ll fade away despite being so incredibly wide spread
Nobody said development will cease, there’s an independent foundation with people continuing the work.
The timing was great for the foundation, in hindsight.