• 0 Posts
  • 180 Comments
Joined 1 year ago
cake
Cake day: June 20th, 2023

help-circle






  • Things just weren’t like that then. Otherwise all PC peripherals would be locked down too, so no device drivers. That was already a problem with cheap windows crap. But the better stuff was documented.

    Maybe there would be no Linux but that isn’t as bad as it sounds, since BSD Unix was being pried loose at the time, plus there were other kernels that had potential. And the consumer PCs we use now weren’t really foreseen. We expected to run on workstation class hardware that was more serious (though more expensive) than PCs were at the time. They would have stayed less locked down.

    Asded: PCs were an interesting target because there was a de facto open hardware standard, making the “PC compatible” industry possible. So again, without that, we would have used different hardware.






  • Can anyone explain why Wayland exists or who cares about it? X has been around forever, it sucks but it works and everything supports it. Alternatives like NeWS came around that were radically better, but were too soon or relied too much on corporate support, so they faded. The GNU project originally intended to write its own thing, but settled for using X. Now there’s Wayland though, which seems like a slight improvement over X, but mostly kind of a lateral move.

    If you’re going to replace X, why not do something a lot better? If not actual NeWS, then something that incorporates some of its ideas. I think Squeak was like that but I don’t know much about it.





  • Forth is fun but not really suitable for large, long-lasting projects with huge developer communities. Linux isn’t being bootstrapped, it’s already here and has been around for decades and it’s huge. And, I think bootstrapping-by-poking-around on a new architecture has stopped being important. Today, you have compiler and OS’s targeted to the new architecture under simulation long before there is any hardware, with excellent debugging tools available in the simulator.


  • I don’t think Ada in the kernel would get any cultural acceptance. Rust has been hard enough. C++ was vehemently rejected decades ago though the reasons made some sense at the time. Adopting C++ today would be pretty crazy. I don’t see much alternative to Rust (or in a different world, Ada) in the monolithic kernel. But Rust seems like it’s still in beta test, and the kernel architecture itself seems like a legacy beast. Do you know of anything else? I can’t take D or Eiffel or anything like that seriously. And part of it is the crappiness of the hardware companies. Maybe it will have to be left to future generations.


  • I have played with Ada but not done anything “real” with it. I think I’d be ok with using it. It seems better than C in most regards. I haven’t really looked into Rust but from what I can gather, its main innovation is the borrow checker, and Ada might get something like that too (influenced by Rust).

    I don’t understand why Linux is so huge and complicaed anyway. At least on servers, most Linux kernels are running under hypervisors that abstract away the hardware. So what else is going on in there? Linux is at least 10x as much code as BSD kernels from back in the day (idk about now). It might be feasible to write a usable Posix kernel as a hypervisor guest in a garbage collected language. But, I haven’t looked into this very much.

    Here’s an ok overview of Ada: http://cowlark.com/2014-04-27-ada/index.html