It is a quandry, the kernel is predominantly C, Rust has demonstrated a path forward, producing safer code without sacrificing performance, but it is undeniable that a mixed code base is far harder to maintain, not impossible. Here's the thing, in the next couple of years languages like Carbon, Zig, even Jai, will come of age. They will have their proponents and people who want to introduce them into kernel code. If…
Asahi Linux lead developer Hector Martin resigns from Linux kernel
941–950 of 1001 posts
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#942I don't have anything to add regarding the Hector v. Linus debate, who was in the wrong, who was in the right, who's to blame etc... All I want to know is what's the long term viability of Asahi Linux or Linux for that matter on M series chip'd Macs? What's the burden going to be for Fedora Asahi if the work remains out of tree? Has Redhat/IBM stated they'll support it via the Fedora project going forward? What if th…
I think right now Marcan can work magic and reverse these chips and other pieces. Long term it's an arms race and Apple has other motivations to lock the platform down further. They may even get told to make it compatible, but they seem to be willing to maliciously comply with those directives. I am reminded of the Beeper messenger stuff. Like it's cool when people hack these things together to do stuff, but the comm…
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#943Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#944Earlier quoted context omitted.
Go on?
Then complaining about that on social media is going to sound a lot like "the leader of this subsystem is sabotaging this thing I'm involved with"
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#945Earlier quoted context omitted.
> We don't have a Rust-killer language yet. The type-system analysis of Rust is smart, but not restricted to the language per se, see https://github.com/ityonemo/clr . One merely has to have proper namespacing and necessary type info from generic code to do annotations and solve them. These things are solved in Rust via trait system. Retroactively patching C to have namespaces will not work and same holds for generic…
There was also Cyclone before Rust, and Checked-C in the meantime. The concepts like regions and affine types existed long before Rust, and Rust started out by copying from older languages ( http://venge.net/graydon/talks/intro-talk-2.pdf ). It's not enough to have just a proof-of-concept compiler that could match Rust's checks — that's where Rust was 10 years ago. Rust had time to polish its compiler, expand tooling…
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#946Earlier quoted context omitted.
Do you feel the same about Make, Device Tree, KConfig, Python, the myriad of machine-specific assembly, POSIX shell, Perl, and every other non-C language currently in the code base?
No, I feel this way about the Linux kernel.
One language per repo rules makes sense when you can have many smaller repos, but for something as immense as the Linux monorepo it's really limiting. Especially considering the lack of desire to add stable interfaces from which other repos could operate independently.
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#947Earlier quoted context omitted.
It's not without merit. Two languages is an extreme cost in complexity compared to one, and you have to be a deep expert in both to fully figure out anything on the boundary. Perhaps rusts potential benefits are worth it, but it's certainly possible to disagree with that
Sure, but (1) that ship has sailed for now, there are already Rust bits in the kernel; and (2) a patch email thread is not the best place to start discussing whether Rust has a place in the kernel.
I'm 100% behind Christoph, the last thing Linux needs is the extra complexity that Rust brings. I'm fairly optimistic that Rust will never be a hard dependency for the foreseeable future.
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#948Earlier quoted context omitted.
Is it impossible to just delete the rust parts and go back to pure C? That ship could come back to port anytime.
I would quite like my laptop to keep working, and half its drivers are rust…
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#949Earlier quoted context omitted.
Is it impossible to just delete the rust parts and go back to pure C? That ship could come back to port anytime.
That's not a decision that can or should come out of a patch review. I agree it's a possible decision, not something unthinkable. But if it were, it should be taken at a completely different level. Basically, it's an obstructionist, uncivilized thing to hold up every discussion about a topic that you get to participate in by insisting the topic shouldn't be discussed in this forum. It's perfectly OK to advocate for t…
Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel
#950Earlier quoted context omitted.
People forget things etc. Should probably have just asked again, or sent a small one-line patch. It's "mention something on Slack" vs "creating a GitHub issue/PR"
Which sounds inefficient and exactly the sort of problem that doesn't happen with a Github issue/PR.
What? PRs or issues being forgotten happens all the time, especially for large projects.