Good human.

I took notes for the benefit of anyone who doesn’t like their info in video form.

I love you.

Thank you for the write-up!!

vi versus emacs

You write "vi versus the world" funny.

So probably there will be some systems other than Linux that do use Rust.

Isn't there Redox OS?

Edit: yes, it's still alive and kicking.

Doing the lord's work, thank you.

This is a great summary. Thanks!

On a tangential note, what does Linus used, Vi or Emacs?

C, C-like, or Rust

As always, Ada gets no respect.

So probably there will be some systems other than Linux that do use Rust

There's one called Redox that is entirely written in Rust. Still in fairly early stages, though. https://www.redox-os.org/

Thank you for the summary!

there have been attempts at writing kernels using stuff like Coq https://www.cs.columbia.edu/~rgu/publications/cacm19-gu.pdf

I also dont like videos for this stuff. Summarized using kagi's universal summarizer, sharing here:

• The integration of Rust into the Linux kernel has been a contentious topic, with some long-term maintainers resisting the changes required for memory-safe Rust code.
• The debate over Rust vs. C in the Linux kernel has taken on "almost religious overtones" in certain areas, reflecting the differing design philosophies and expectations.
• Linus Torvalds sees the Rust discussion as a positive thing, as it has "livened up some of the discussions" and shows how much people care about the kernel.
• Not everyone in the kernel community understands everything about the kernel, and specialization is common - some focus on drivers, others on architectures, filesystems, etc. The same is true for Rust and C.
• Linus does not think the Rust integration is a failure, as it's still early, and even if it were, that's how the community learns and improves.
• The challenge is that Rust's memory-safe architecture requires changes to the existing infrastructure, which some long-time maintainers, like the DRM subsystem people, are resistant to.
• The Linux kernel has developed a lot of its own memory safety infrastructure over time for C, which has allowed incremental changes, whereas the Rust changes are more "in your face."
• Despite the struggles with Rust integration, Linus believes Linux is so widely used and entrenched that alternative "bottom-up grown-up from the start Rust kernels" are unlikely to displace it.
• Linus sees the embedded/IoT space as an area where alternative kernels built around different languages like Rust may emerge, but does not see Linux losing its dominance as a general-purpose OS.
• Overall, Linus views the Rust debate as a positive sign of the community's passion and an opportunity to learn, even if the integration process is challenging.

FWIW, it's a 9 min video and doesn't contain anything earth shattering or easily summarized. Basically there is some friction between C and Rust devs, and Linus doesn't think that it's such a bad thing (there has be interesting discussion) and it's way too early to call Rust in the kernel a failure.