Embrace, Extend, Extinguish.
Still living in the 2000s, I see.
The penalty for trusting a stranger who shouldn't be trusted is much higher than the other way around.
Microsoft is creating a new Rust-based programming language for secure coding
21–30 of 207 posts
Re: Microsoft is creating a new Rust-based programming language for secure coding
#22For the hating Microsoft crowd, here are the projects where they are also using Rust,
https://msrc-blog.microsoft.com/?s=rust
And the talks done about the internal adoption,
https://www.youtube.com/watch?v=qCB19DRw_60
https://www.youtube.com/watch?v=o01QmYVluSw
And the author from C++/WinRT is now working on Rust/WinRT.
https://kennykerr.ca/2019/11/05/rust/
So lets wait a bit before going to the castle with the pitchforks and torches.
Re: Microsoft is creating a new Rust-based programming language for secure coding
#23Re: Microsoft is creating a new Rust-based programming language for secure coding
#24Re: Microsoft is creating a new Rust-based programming language for secure coding
#25Video where this was introduced, which has more details: https://vimeo.com/376180843 Slides: https://www.slideshare.net/KTNUK/digital-security-by-design-...
The slides don't really add much detail. They're just a light introduction to the sort of region-based memory management that was already being used by Cyclone, well before the Rust project was even a thing.
Re: Microsoft is creating a new Rust-based programming language for secure coding
#26Found the article to be somewhat vague and found this slideshare presentation which was...a little less vauge.
https://www.slideshare.net/KTNUK/digital-security-by-design-...
It seems like they want to do something like Rust, but with a new focus on regionalized memory management.
Re: Microsoft is creating a new Rust-based programming language for secure coding
#27Earlier quoted context omitted.
It's probably what they did with C#, starting from Java. I don't think there will be any compatibility, only high level similarity.
Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.
Which is pretty much what the posts you replied to said.
Re: Microsoft is creating a new Rust-based programming language for secure coding
#28Re: Microsoft is creating a new Rust-based programming language for secure coding
#29Earlier quoted context omitted.
The penalty for trusting a stranger who shouldn't be trusted is much higher than the other way around.
In the world of for profit corporations I rather trust MS than any of the FAANG.
> than any of the FAANG.
That bar is set very low, to be honest.
On the bright side, Rust is a Mozilla project thus thankfully the problem doesn't really apply.
Re: Microsoft is creating a new Rust-based programming language for secure coding
#30Argh, they couldn't just contribute to the existing project.
Argh, you couldn't just take the time to read the actual article.
"The ownership model in Verona is based on groups of objects, not like in Rust where it's based on a single object.