Hm, why didn't they join https://www.redox-os.org/ instead?
Theseus: A modern experimental OS written from scratch in Rust
111–120 of 153 posts
Re: Theseus: A modern experimental OS written from scratch in Rust
#112Earlier quoted context omitted.
By that logic you would need to call like half of all useful phenomena that most people's lives consist of and depend on, as "man-made delusion". We still need to interact with our lives, and many of the abstractions help us do that. BTW if you just replace the word "delusion" with "abstraction" you'll probably see how it makes a lot of sense. Every abstraction is a delusion by definition, is it not? Because the abst…
> By that logic you would need to call like half of all useful phenomena that most people's lives consist of and depend on, as "man-made delusion". We still need to interact with our lives, and many of the abstractions help us do that. And they are, and they might help you, but trying to ask scientific or metaphysical quæstions about it, is an exercise in futility. > BTW if you just replace the word "delusion" with "…
> a meaningful, rigorous distinction between “same identity” an “different identity” — I reject that
I reject that? No I don't. I need to stop putting words in I's mouth.
Re: Theseus: A modern experimental OS written from scratch in Rust
#113Earlier quoted context omitted.
Certified UNIX means having a userspace POSIX library, completely unrelated to kernel architectures. So if Microsoft bothers to certify WSL2 then Windows is now UNIX?!?
What defines a “UNIX kernel” anyway?
Plenty of CS books explain it better than me on an HN comment.
Re: Theseus: A modern experimental OS written from scratch in Rust
#114Earlier quoted context omitted.
IBM i (OS/400) has had single address space, tagged pointers, and an number of other "novel" things in the loop for eons. Many people interact with it daily, indirectly, in most of your big box retail stores (think stores like Costco, Lowes, etc).
I'm curious about tagged pointers, do those relate to the single address space design? Might you or someone else have any good links on this?
You can start by the links on my comment, https://news.ycombinator.com/item?id=25743690
Re: Theseus: A modern experimental OS written from scratch in Rust
#115Earlier quoted context omitted.
You seem to assume that any process reasoning or thinking has to be scientific to be useful. A very dubious proposition. Given your example, thinking about who is beautiful and who isn't (not "Scientific Study", just thinking) would be pointless is well, and in reality, in practical objective reality of a lot of people, isn't. > quickly leading to reductions to the absurd such as here. That is the whole point of the…
> You seem to assume that any process reasoning or thinking has to be scientific to be useful. A very dubious proposition. No, in fact, I clearly said that they were useful but not scientific. My problem with The Ship of Theseus , is that it prætends to be scientific, whereas it is merely a futile quibble of semantics. > Giving your example, thinking about who is beautiful and who isn't (not "Scientific Study", just…
> it pr(e)tends to be scientific, whereas it is merely a futile quibble of semantics.
It doesn't pretend to be scientific. The question predates science.
> I... My... I... I...
Identity, identity, identity, identity!
Re: Theseus: A modern experimental OS written from scratch in Rust
#116The name alludes to the Ship of Theseus, a thought experiment where, over the course of many repairs, every piece of a ship is eventually replaced. Given that, I found it interesting that this is applied to a novel greenfield OS effort, instead of a project to rewrite an existing OS in Rust piece-by-piece.
Theseus also slayed the Minotaur of the labyrinth. Maybe they want to kill a monster.
Re: Theseus: A modern experimental OS written from scratch in Rust
#117Earlier quoted context omitted.
Are you thinking of HP’s Dynamo? http://cseweb.ucsd.edu/classes/sp00/cse231/dynamopldi.pdf
It was almost definitely HP Dynamo. (Edit: if you combine ideas from HP Dynamo, SafeTSA JIT-optimized bytecode, and IBM's AS/400's TIMI/Technology Independent Machine Interface, you get a better version of the current Android Run Time for bytecode-distributed apps that compile ahead of time to native code and self-optimize at runtime based on low-overhead profiling.) The really nice thing about Dynamo was that it was…
This is exactly it! Thank you very much.
Re: Theseus: A modern experimental OS written from scratch in Rust
#118Earlier quoted context omitted.
Redox is a unix style operating system with a unix style design and ABI. This operating system shares none of those goals, it seems to focus on a particular challenge related to the abstraction between subsystems of the operating system, following a term they call "state spilling". The goal appears to be to design an architecture that supports in-place updates of most components due to them having tightly constrained…
I wouldn't call micro-kernels a " unix style operating system with a unix style design", quite the opposite. The only thing in common with UNIX from current Redox is the POSIX support.
Redox isn't a kernel: it's an operating system, and being POSIX compatible definitely makes it a “unix-style” operating system.
Here, nobody claimed that the Redox kernel was unix-style, so you're fighting a strawman…
Re: Theseus: A modern experimental OS written from scratch in Rust
#119I love the idea of using Rust for this kind of thing. Is there any chance that specific drivers for modules for the Linux kernel be written in Rust? Has there been any interesting research or discussion on the topic?
Re: Theseus: A modern experimental OS written from scratch in Rust
#120I did a ctrl+F for the word "redox" here, since that's already modern experimental OS being written in Rust that's existed for some time, and I was surprised not to see it mentioned at all; I figured there would be a section for modern OS neophytes like me comparing and constrasting the two. Anyone have any insight into how this project differs from Redox?
I've searched for redox in Google and this is the first time I see this layout ( https://imgur.com/a/tVoKxBE ) in Google search pages. Anyone knows if they planning redesign?
I think Google is constantly fiddling with search results design