6 ms·

Gonna write my own kernel, with Rust, blackjack and hookers! That's how this ends. And I'm fine with that. May the best solution win.

hindsightbias 2y ago
Prediction: And in 20 years, Rustnix coders will be gatekeeping the next shiny language.
- minkles 2y ago
  Nah they will be scratching their butts like GNU Herd programmers are. Momentum is a bitch. It's why Windows still exists.
  - generalizations 2y ago
    From what I've understood about Rust, they'll be bogged down in a verbose language, and may never reach feature parity. Their only hope of getting Rust into a mainstream kernel is probably to take over an existing project.
    - minkles 2y ago
      That sounds feasible. I just wrote my first Rust program (search for Ruststrike in this thread) and wow it's stupid verbose and not particularly safe if put in my hands. I can see while there is determinism and fewer footguns, it painful on a C++ level to write. I think just having less in the kernel and moving bits out (like Mach) into isolated domains is probably better than reinventing the universe for some purity argument.
      - hindsightbias 2y ago
        Maybe spec Rust++ with Tevanian? He must be bored by now.
      - iknowstuff 2y ago
        let us roast it
    - klingoff 2y ago
      Nah, an IDE was already a hell of a drug for the first levels of formalism in paradigms.. The most formal language is going to end up with a lot of transpiled code made in a combat between AI and features like a borrow checker, then once their eyes stop bleeding, the most stubborn will make it marginally better than any less formal language can achieve, then others will be able to work with just eye drops.
  - steveklabnik 2y ago
    > Momentum is a bitch. It's why Windows still exists. Windows is already shipping Rust in the kernel, with more to come. They're moving faster on this than Linux is, even with all of that historical baggage.
    - minkles 2y ago
      Microsoft are doing everything at once. Doesn’t mean it’ll stick. Remember managed C++?
      - steveklabnik 2y ago
        It sure has a lot of executive buy in, and millions of dollars of investment, but sure, anything could happen.
arvigeus 2y ago
Welcome to RedoxOS! https://www.redox-os.org/ https://www.redox-os.org/
- wongogue 2y ago
  It is the hobby project of Cosmic DE’s main developer. I don’t think he wants to target the ubiquity of Linux.
- minkles 2y ago
  starts porting Emacs to it
cmrdporcupine 2y ago
I understand some major parts of Fuchsia are Rust-y, and Rust is welcome there. Maybe that's a project people could pile into. Though as a Google project, it's unlikely to have the open community spirit that Linux has.
justincredible 2y ago
[dead]

hindsightbias 2y ago

Prediction: And in 20 years, Rustnix coders will be gatekeeping the next shiny language.

minkles 2y ago
Nah they will be scratching their butts like GNU Herd programmers are. Momentum is a bitch. It's why Windows still exists.
- generalizations 2y ago
  From what I've understood about Rust, they'll be bogged down in a verbose language, and may never reach feature parity. Their only hope of getting Rust into a mainstream kernel is probably to take over an existing project.
  - minkles 2y ago
    That sounds feasible. I just wrote my first Rust program (search for Ruststrike in this thread) and wow it's stupid verbose and not particularly safe if put in my hands. I can see while there is determinism and fewer footguns, it painful on a C++ level to write. I think just having less in the kernel and moving bits out (like Mach) into isolated domains is probably better than reinventing the universe for some purity argument.
    - hindsightbias 2y ago
      Maybe spec Rust++ with Tevanian? He must be bored by now.
    - iknowstuff 2y ago
      let us roast it
  - klingoff 2y ago
    Nah, an IDE was already a hell of a drug for the first levels of formalism in paradigms.. The most formal language is going to end up with a lot of transpiled code made in a combat between AI and features like a borrow checker, then once their eyes stop bleeding, the most stubborn will make it marginally better than any less formal language can achieve, then others will be able to work with just eye drops.
- steveklabnik 2y ago
  > Momentum is a bitch. It's why Windows still exists. Windows is already shipping Rust in the kernel, with more to come. They're moving faster on this than Linux is, even with all of that historical baggage.
  - minkles 2y ago
    Microsoft are doing everything at once. Doesn’t mean it’ll stick. Remember managed C++?
    - steveklabnik 2y ago
      It sure has a lot of executive buy in, and millions of dollars of investment, but sure, anything could happen.

arvigeus 2y ago

Welcome to RedoxOS! https://www.redox-os.org/ https://www.redox-os.org/

wongogue 2y ago
It is the hobby project of Cosmic DE’s main developer. I don’t think he wants to target the ubiquity of Linux.
minkles 2y ago
starts porting Emacs to it

cmrdporcupine 2y ago

I understand some major parts of Fuchsia are Rust-y, and Rust is welcome there. Maybe that's a project people could pile into. Though as a Google project, it's unlikely to have the open community spirit that Linux has.

justincredible 2y ago

[dead]