this post was submitted on 19 Jul 2023
17 points (94.7% liked)

Rust Lang

709 readers
1 users here now

Rules [Developing]

Observe our code of conduct

Constructive criticism only

No endless relitigation

No low-effort content

No memes or image macros

No NSFW Content

founded 1 year ago
MODERATORS
top 5 comments
sorted by: hot top controversial new old
[–] [email protected] 6 points 1 year ago* (last edited 1 year ago) (1 children)

Is (or will) Ferrocene be open source?

... exclusive early access to Ferrocene releases ...
exclusive

This phrase look suspicious, as "open source" and "exclusive" typically does not mix well.

Will it be a special version of rustc with private bugfixes, like in ~"we have fixed 19 bugs in rustc that can lead to miscompilations in your missing-critical program, so you better pay us for better private rustc instead of using buggy upstream version"~?

Or will publicly available source code be exactly the same as in certified version of the compiler, with the difference only being the legal warranties?

Or will it follow something like grsecurity model, i.e. technically open source, but please do not distribute (lest lose the subscription).

[–] [email protected] 3 points 1 year ago (1 children)

One of the founders of Ferrous Systems has answered some questions about it on Hacker News. See here and here.

The spec they created for the certification process is open source. There is some "tiny" amount of the patches that aren't public but it sounds like it is essentially a recent stable release of Rust because the other major changes have been contributed upstream. It's not clear if they definitely plan to eventually release the rest of thier changes as open source or not but they will consider it.

[–] [email protected] 5 points 1 year ago* (last edited 1 year ago)

Well, Rust is MIT + Apache 2.0, so they can do this. It isn't copyleft.

Personally I consider it a a shame that rust and it's ecosystem isn't at least weakly copyleft (e.g. LGPL or MPL) though there are some good reasons not to use those specifically. (LGPL isn't not well defined if you don't use dynamic linking, MPL is younger than rust, but would have been an excellent fit otherwise). And the ecosystem follows the leader for the most part.

But that is neither here nor there, and I'm not interested in arguing about licenses on the Internet. :)

[–] [email protected] 4 points 1 year ago

Any advance in the Ferrocene project are great news. I’m really happy to see Rust make progress in critical areas.

[–] [email protected] 1 points 1 year ago

Does it mention anywhere which version of Rust this will be based on?

load more comments
view more: next ›