Re:Ask HN: Are advances in AI going to push Linux to a micro...
by kspetkov79 on Tuesday May 19, 2026 @01:45PM
(#48196601)
The microkernel argument makes sense in theory, but the real bottleneck has always been driver complexity. If LLMs can reliably generate verified drivers with formal correctness guarantees, that changes the equation significantly. Until then, Linux's ecosystem inertia wins every time.
[ Parent
| on HN ]
Re:Ask HN: Are advances in AI going to push Linux to a micro...
by snvzz on Tuesday May 19, 2026 @11:14PM
(#48202687)
Drivers need to be updated every now and again due to the lack of stable APIs, and increasingly nobody wants to deal with that.
The resulting trend is drivers for older/less common hardware are being dropped.
Linux complexity comes with a huge cost. At some point, the overhead is such that it'd be easier to start over.
I would argue we're long past that point. But inertia is a bitch, and insane money is being poured on Linux with little to show for it, just because.
Fortunately, seL4 foundation is picking up momentum, with large companies joining every year. There is some hope in the horizon.
Re:Ask HN: Are advances in AI going to push Linux to a micro...
by bigbadfeline on Wednesday May 20, 2026 @02:09PM
(#48211712)
> But inertia is a bitch, and insane money is being poured on Linux with little to show for it, just because.
Or maybe because just like C++ Linux has reached the point of no return, no amount of LLMs can save it, big money is the whole reason for its existence.
A replacement can come soon enough.