Redox OS 0.8(redox-os.org)
redox-os.org
Redox OS 0.8
https://www.redox-os.org/news/release-0.8.0/
41 comments
"In addition to the exciting technical changes, there is also organizational news to share. Redox OS received a donation of $400,000 (USD). This donation was anonymous, and the way in which it was made anonymous has made it not possible to use at this time. Presently, I am working with a legal team on determining specifically how the OFAC sanctions on Tornado Cash apply to this donation, which was made through Tornado Cash. At present, as I am a US citizen, I have blocked the transfer of this donation in order to comply with potential OFAC sanctions."
Is it me or the author is overly cautious?
Is it me or the author is overly cautious?
It is just you.
Has that money come from a sanctioned person? Is it a drug dealer trying to launder funds? Is it from a hostile state? Is it really a bribe? Is it a mistake?
When the auditors (or worse) come knocking, you want to be able to account for the source of funds in your projects.
Has that money come from a sanctioned person? Is it a drug dealer trying to launder funds? Is it from a hostile state? Is it really a bribe? Is it a mistake?
When the auditors (or worse) come knocking, you want to be able to account for the source of funds in your projects.
Unless you have a proof that the money come from illegal source can't you consider it innocent? Presumption of innocence ...
> Unless you have a proof that the money come from illegal source can't you consider it innocent?
Tornado Cash is a sanctioned entity. Author knows the money came through Tornado. That information is sufficient to potentially make accepting the donation criminal, regardless of whether the original source of funds is a privacy-conscious, legit crypto investor, or a ransomware group in North Korea.
Tornado Cash is a sanctioned entity. Author knows the money came through Tornado. That information is sufficient to potentially make accepting the donation criminal, regardless of whether the original source of funds is a privacy-conscious, legit crypto investor, or a ransomware group in North Korea.
That is how you land in court in a case titled *United States v $400,000 in digital currency".
In which the main problem here is "United States", not the digital currency donation.
US agencies have too many overreaching regulations like the OFAC one, together with a lot of fake regulations.
The SEC was close to FTX and totally blind to the whole fraud operation that was going on. Likewise, many things in traditional finance markets (debt collaterization, etc.) are legal and regulated, but they're often nothing else but outright scams.
US agencies have too many overreaching regulations like the OFAC one, together with a lot of fake regulations.
The SEC was close to FTX and totally blind to the whole fraud operation that was going on. Likewise, many things in traditional finance markets (debt collaterization, etc.) are legal and regulated, but they're often nothing else but outright scams.
I agree with your first point, but I don't think OFAC is the problem here; civil asset forfeiture is what I was describing. In this case, it's not an obvious nor historical requirement that a charitable organization must perform AML/KYC on their donors; however, the use of Tornado gives an ambitious prosecutor the necessary pretext to seize the funds in a civil action.
So seizing the money without any proof of it being illegal?
How fair is it?
It's totally unfair, which is why it must be made completley illegal as something available for the government to do, but this is really hard to do because government is full of money grubbing authoritarians and the electorate isn't pissed enough about this generally yet to make it a bipartisan supported issue where if you support this you don't get elected (which tells us more about the reasoning ability of the electorate than anything). It's an utter travesty that your assets are guilty until proven innocent these days in the USA and that this is infecting other places such as Canada as well.
Some additional discussion: https://www.newamerica.org/digital-impact-governance-initiat...
Breaking Bad taught me you have to be extra cautious with the US tax\finance system.
Also from other source it sounds like when it comes to money it's rather "presumption of guilt" where you have to prove the source of your income is legal etc.
Also from other source it sounds like when it comes to money it's rather "presumption of guilt" where you have to prove the source of your income is legal etc.
It's wise to be cautious when it comes to anonymously donated money.
it's a decent sum of anonymous money sent though tornado cash right when the sanctions were applied
Hello, I am Jeremy Soller, the creator of Redox OS. Let me know if you have any questions!
Hi Jeremy
I noticed a large number of laptops on the website. Are you going for a support a large number of devices(Microsoft&Linux) approach?
I think you should go for an Apple/System76 approach. Less hardware, but fully supported.
I would buy a tablet/laptop/desktop preinstalled with Redox.
I noticed a large number of laptops on the website. Are you going for a support a large number of devices(Microsoft&Linux) approach?
I think you should go for an Apple/System76 approach. Less hardware, but fully supported.
I would buy a tablet/laptop/desktop preinstalled with Redox.
Counterpoint: I am a filthy casual and won't buy a computer just to run Redox, but I will try it out on a computer I own or in a VM just to kick the tires.
I prefer Redox OS to support as wide a set of hardware as possible.
I see. Oh well, good luck with the project.
See my comment here: https://news.ycombinator.com/item?id=33750810
My question is: is there any potential for sharing nvme code between a rust Linux driver and redox?
My question is: is there any potential for sharing nvme code between a rust Linux driver and redox?
It is unlikely. The driver models are very different, ine being a microkernel, the other monolithic.
NVMe is supported (via nvmed)
I've also heard of an experimental Rust NVMe implementation proposed for Linux. I wonder if and hope that these implementations can share code. Perhaps Fuchsia would wish to reuse portions as well.
https://lwn.net/Articles/907685/
I've also heard of an experimental Rust NVMe implementation proposed for Linux. I wonder if and hope that these implementations can share code. Perhaps Fuchsia would wish to reuse portions as well.
https://lwn.net/Articles/907685/
I'd only expect code sharing to be worthwhile if the interface between the NVMe driver and the rest of the OS's storage stack is quite similar. NVMe over PCIe is pretty simple, so there's not much logic that would be wholly contained within the driver itself.
Redox is a project I'm very interested in.
I think it has the capability to be the next "just a small hobby project".
I think it has the capability to be the next "just a small hobby project".
The problem perhaps is that it's mostly a RIIR project. Then again, Rust has given birth to a lot of those that ended up veing pretty great. Like ripgrep.
I wouldn't call it a RiiR. It takes inspiration from other projects (namely Minix, Plan9, and ZFS for the filesystem) but is otherwise it's own thing and makes some interesting design decisions (e.g. being URL-centered).
It's clear that C is a dated language that leads to numerous security problems. It is inevitable that we will switch to OS's written in Rust or similar safe languages, or will see most of Linux rewritten.
It was already dated when compared against something like Modula-2 (1978), pity that OS vendors decided to go with UNIX clones.
The problem with some C belivers is that they lack the imagination to accept how systems programming used to be like before Bell Labs released UNIX V6 source code into the wild, or the paths trailed by other companies before UNIX clones won the server room.
So just like with St. Thomas, apparently we need all those Rewrite in Safe Systems Language XVYZ, to bring the non-belivers into the righteous path.
Which is anyway only half of the battle, as Joe Duffy points out in one of his talks, several developers on the WinDev team dimissed Midori efforts, even with the system running in front of them, providing them wrong in all their remarks about the system.
So just like with St. Thomas, apparently we need all those Rewrite in Safe Systems Language XVYZ, to bring the non-belivers into the righteous path.
Which is anyway only half of the battle, as Joe Duffy points out in one of his talks, several developers on the WinDev team dimissed Midori efforts, even with the system running in front of them, providing them wrong in all their remarks about the system.
[deleted]
I enjoy how defensive Rust fans are over their language, it's fun to poke at in my spare time. First of all, Rust is a great language with great ideas in my opinion, but not really fit for systems programming unless you mean on top of an OS like cd grep etc. I think most Rust fans have never written an embedded project or dabbled in lower level code so they assume that it's just perfect for low level.
First you have to work around things like direct memory access, writing a "safe" wrapper around direct memory access doesn't really take it from unsafe to safe and you have to fight the language to do the things you have to do when doing kernel work. Then you have to deal with badly optimized output of the compiler which is fine in an user space program but a no-go in a kernel or even worse on embedded. I know some might say "well you aren't supposed to do that, you need X safety measure" but the hardware doesn't work like that, if you try to apply those concepts to out-of-order execution for example you will incur a heavy performance cost.
tl;dr Rust fanboys should read some kernel device driver code and lower level code before giving their input
First you have to work around things like direct memory access, writing a "safe" wrapper around direct memory access doesn't really take it from unsafe to safe and you have to fight the language to do the things you have to do when doing kernel work. Then you have to deal with badly optimized output of the compiler which is fine in an user space program but a no-go in a kernel or even worse on embedded. I know some might say "well you aren't supposed to do that, you need X safety measure" but the hardware doesn't work like that, if you try to apply those concepts to out-of-order execution for example you will incur a heavy performance cost.
tl;dr Rust fanboys should read some kernel device driver code and lower level code before giving their input
Somehow Google has managed to ship drivers written in Rust since Android 12.
I explicitly mentioned Safe Systems Language XVYZ, because the defensive reaction is to complain about Rust, as if systems programming languages safer than C didn't exist since 1958, with JOVIAL being one of the earliest ones worthy of mention.
I explicitly mentioned Safe Systems Language XVYZ, because the defensive reaction is to complain about Rust, as if systems programming languages safer than C didn't exist since 1958, with JOVIAL being one of the earliest ones worthy of mention.
>but not really fit for systems programming
Ironically you say this on a submitted project that uses Rust for systems programming.
Ironically you say this on a submitted project that uses Rust for systems programming.
I was trying to make an aarch64 RedoxOS VM a couple weeks ago and ran into some issues, eventually learning that aarch64 seemed like it was in better shape earlier and not quite there for 0.7 (or at least that was my impression). Eventually got it to cross-compile from an x86 box but it then wouldn't accept the default login for some reason (an x86 vm worked fine). Will have to give it another shot and see how far I get with 0.8!
I am guessing it can't run a browser right? But looking at its capability, what is it missing other than porting of the browser?
I hope some rich person donates money to the Servo project, or if the devs can crowdsource funding, I wouldn't mind helping.
I hope some rich person donates money to the Servo project, or if the devs can crowdsource funding, I wouldn't mind helping.
It could run at least NetSurf about 4.5y ago.
https://www.youtube.com/watch?v=NgzjQfocCIE
https://www.youtube.com/watch?v=NgzjQfocCIE
Can I download Cargo and compile/install things? That would be great but I've tried this a few weeks ago in an earlier version and those tools were not available from the package manager.
cargo is really close to working. rustc is working.
Awesome news. Any ports to Risc-V or Openpower?
> Redox is a general purpose operating system written in pure Rust. Our aim is to provide a fully functioning Unix-like microkernel, that is both secure and free.
> We have modest compatibility with POSIX, allowing Redox to run many programs without porting.
> We take inspiration from Plan9, Minix, Linux, and BSD. Redox aims to synthesize years of research and hard won experience into a system that feels modern and familiar.