Live data from Hacker News

Asahi Linux lead developer Hector Martin resigns from Linux kernel

lkml.org

441–450 of 1001 posts

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#441

I've been saying this for years now: the rust4linux folks are putting so much effort into trying to upstream their work, seems like they should instead put that effort into maintaining a fork. Arguably it would be less hours spent porting than arguing with humans. Certainly more pleasant! Then one of two things will happen: * Rust will prove its worth and their fork will be the better operating system. Distros will s…

I think a fork with a mission to aggressively rewrite the kernel into Rust would be a great experiment. Lessons learned could be applied to the more mainstream C/Rust kernel(s). Has anyone done that?

https://www.redox-os.org/

It's not a fork of Linux but a ground up effort to write a kernel in Rust. Still they're trying to make it compatible with Linux/BSD

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#442
post #410

Earlier quoted context omitted.

And Linus’ immediate reply https://lore.kernel.org/rust-for-linux/CAHk-=wi=ZmP2=TmHsFSU... (not taking either side, just interesting to read the reply)

I find this reply interesting. Linus says that what matters is technical stuff, but even before the social media brigading, the whole thread was nothing but non-technical drama. So why is Linus focused only on that and not Hellwig's behavior?

You have to be pretty clueless not to understand that Martin's is wrong here, he, and the rest of Rust bozos he clicks with should have been kicked out of the Kernel the minute they started with their social media drama... of course, drama and rust are just bound to be hand in hand.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#443

Earlier quoted context omitted.

I was referring to the statements provided by the children of this comment: https://news.ycombinator.com/item?id=42978746 (they were made at roughly the same time you posted this, so you wouldn't have seen them then)

Ah, sorry. I see it now.

No need to be sorry, you're all good!

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#444
post #424

Earlier 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?

That's a false equivalency. All of those languages are integrated through strong semantic and concrete abstractions (e.g. file system I/O or GCC interfaces) that evolve, if at all, very slowly. Some, like assembly, are necessary concessions, and are exceptions that prove the rule--developers prefer GCC builtins if available, for example. The problem with Rust in the kernel is that the kernel has historically eschewed…

> Refactoring can be painful in Rust when it involves very low-level changes in semantics

I don't know what this is about. In my experience, refactorings that change the semantics of APIs are much easier in Rust than in C. E.g., change assumptions about the lifetimes of pointers passed into APIs: the Rust compiler will tell you where you need to change anything; the C compiler will happily compile your code and you'll corrupt memory at runtime.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#445
post #427

Earlier quoted context omitted.

I think you're discounting the very real damage that would be done by Linux a project controlled by Linus and a community being replaced by Linux a project controlled by Google/Samsung/Redhat/Microsoft. I'm afraid that this is what is going to happen with the Linus tree effectively rejecting rust drivers by subjecting anyone attempting to upstream rust code to persistent bullying, but I don't want it to happen.

> I think you're discounting the very real damage that would be done by [Linux a project controlled by Linus and a community] being replaced by [Linux a project controlled by Google/Samsung/Redhat/Microsoft.] (Brackets added for clarity) Isn't the current Linux already Linus + communities + companies? More to the point, any two such projects would quickly diverge. Once a particular piece of Linux is reimplemented in…

> Isn't the current Linux already Linus + communities + companies?

Absolutely. To that point the companies I listed are the ones that I'm aware of employing kernel developers who work specifically on rust in linux.

The control of the project is in Linus's/community hands though, not corporate ones, and I think that's a good thing.

> More to the point, any two such projects would quickly diverge. Once a particular piece of Linux is reimplemented in Rust, if the C version adds a feature it is no longer as simple as applying a patch to keep in sync.

I don't think so. Linux is a huge modular system, and no one is really interested in rewriting the core components of it at this point. Nor maintaining their own copies of components that some other company is responsible for (like graphics drivers). Until and unless it became the dominant fork I'd expect that they'd keep merging in the mainline branch and updating their things as necessary.

This is already how projects like Android work.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#446
post #201
post #27

The Rust drama is an uncommon failure of leadership for Torvalds. Instead of decisively saying "no, never" or "yes, make it so," he has consistently equivocated on the Rust issue. Given the crisis of confidence among a sizeable (and very vocal) contingent of the Linux community, that decision has backfired horribly. And it's quite out of character for Linus not to have a blazingly clear opinion. (We all know his stan…

> an uncommon failure of leadership for Torvalds Exactly the point. IMHO the one and only thing that made Linux successful as a project is Linus' strong leadership - which has been criticized ad-nauseam over the years; yet it's the only thing that yields results. So in the specific instances (like this one) where he's not decisively, unequivocally, and even harshly saying "yes" or "no" to something, the community sho…

> IMHO the one and only thing that made Linux successful as a project is Linus' strong leadership - which has been criticized ad-nauseam over the years; yet it's the only thing that yields results.

I wear garlic every day and have yet to be attacked by a vampire; clearly this is due to the garlic!

Tang/ballpoint pens/velcro never would have been invented if it weren't for the Apollo program.

etc.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#447
post #201
post #27

The Rust drama is an uncommon failure of leadership for Torvalds. Instead of decisively saying "no, never" or "yes, make it so," he has consistently equivocated on the Rust issue. Given the crisis of confidence among a sizeable (and very vocal) contingent of the Linux community, that decision has backfired horribly. And it's quite out of character for Linus not to have a blazingly clear opinion. (We all know his stan…

> an uncommon failure of leadership for Torvalds Exactly the point. IMHO the one and only thing that made Linux successful as a project is Linus' strong leadership - which has been criticized ad-nauseam over the years; yet it's the only thing that yields results. So in the specific instances (like this one) where he's not decisively, unequivocally, and even harshly saying "yes" or "no" to something, the community sho…

No, you get it backwards. Open source community folks despise any commands, the moment Linus orders free folks like you to do something will be the moment his leadership ends.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#448

Marcan certainly can be abrasive (I mean lol, so can Linus), but all the things he points out in the message below are 100% valid - I highly recommend for anyone here to try to contribute something even very small and logical to the Linux kernel or git (which use similar processes), it’s an eye-opening experience that’s incredibly unapproachable, frustrating, and demoralizing. https://lore.kernel.org/rust-for-linux/2…

Having contributed a few times, I'd rate it as similar (sometimes much easier!) than contributing to Firefox and Chromium. That is to say that it is indeed extremely time-consuming and frustrating, but when compared to projects of the same scale it does not necessarily come out as more time-consuming or more frustrating - this will never be a small team collaborating on a random Github repo. A simple "swap out X work…

It's way more painful to contribute to the kernel than contribute to Firefox, at least, unless things have changed since I was involved with Firefox.

Suppose you find a bug in the kernel and come up with a patch. You email the patch to some kernel mailing list and ask for feedback. Typically, you will receive no response whatsoever, because no-one is responsible for responding. You can try emailing random developers and eventually maybe one of them will have mercy on you.

In Firefox and I think Chromium, you can file a bug, attach your patch, request review from someone (the UI will help you choose a suitable person), and it's their job to respond.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#449

Earlier quoted context omitted.

I think both arguments have credibility. The R4L says they will make sure the Rust code is fixed when the C code is, and that's admirable, but the concern it means a developer now has to wait for that, holding up their work for release/submission. The bus factor is now on the R4L team. Meanwhile, everyone involved in development for Linux already knows C.

> the concern it means a developer now has to wait for that, holding up their work for release/submission. They do not have to wait.

That's apparently still unclear according to the LKML.

Re: Asahi Linux lead developer Hector Martin resigns from Linux kernel

#450

I've been saying this for years now: the rust4linux folks are putting so much effort into trying to upstream their work, seems like they should instead put that effort into maintaining a fork. Arguably it would be less hours spent porting than arguing with humans. Certainly more pleasant! Then one of two things will happen: * Rust will prove its worth and their fork will be the better operating system. Distros will s…

I think a fork with a mission to aggressively rewrite the kernel into Rust would be a great experiment. Lessons learned could be applied to the more mainstream C/Rust kernel(s). Has anyone done that?

https://github.com/asterinas/asterinas

Asterinas is such an experiment. Purely written in Rust and Linux ABI compatible.

Post reply on HN