11,652 karma · joined June 7, 2014
You won't have to wait long.
seL4 is the choice that allows for a safe system to be built. Any other choice of kernel currently available does lack the mechanisms and guarantees.
It makes me wonder: Coincidence, really? There's enough there to think that there might be some invisible hand behind it.
They'll be left behind, but it clearly doesn't matter to them.
So the solutions need to be structural.
e.g. relative to a monolith kernel, seL4 is small, has no known bugs (AI can try, but so far crickets) and is the only piece that needs to run privileged.
Everything running under seL4 benefits from the guarantees seL4 provides.
Unlike Sol, Luna and Astra. Odd.
Awful.
Extremely annoying.
Not anymore[0]. The Linux kernel has created a permission structure around using AI.
NetBSD will soon realize there's very limited value, to put it nicely, in shipping code full of bugs that an LLM would quickly find.
Either that, or a fork that anybody sensible within NetBSD will embrace.
While we speak, these new apps only get better.
Clever.
An LG device in your home could potentially hop through it for snooping and fw updates.
Today, it's mostly a solved problem for the old chips (TL866 family + minipro[0]), but now chips tend to be soldered rather than socketed, without even some thought in the form of a nearby header.
So you'd need a clip for SOP8/WSON/whatever package used (they are cheap on aliexpress). Tigard[1] is a lovely, cheap, useful board for the interfacing.
Shipping them full of bugs which LLMs already fixed upstream.
Fortunately, as it is an open source project, if anyone actually cares about the distribution, they'll fork it and continue advancing it using modern tools.
(which is gonna be most hosts in a few years)