Xylakant

20 ms·

271.
by Xylakant 3y ago
There's a line of reasoning that argues that chemical/biological weapons have not been banned because they're inhumane, but rather because they're costly and ineffective against a technologically advanced peer. Few thing
272.
by Xylakant 3y ago
I forgot to add the relevant blog post where Jonathan writes about that change https://ferrous-systems.com/blog/rust-for-mission-critical-a...
273.
by Xylakant 3y ago
We really don't plan that far out in the future regarding open trainings. So the best option for you is probably to get in touch with us via the website and we're happy to ping you when we schedule new dates.
274.
by Xylakant 3y ago
I mean, it’s definitely indirectly related to the entire certification thingy. After all, we do want to see rust code in space. That what kicked off that whole idea :)
275.
by Xylakant 3y ago
The second one was for a demo at an ESA symposium about rust in space, so it‘s not directly related to the certification.
276.
by Xylakant 3y ago
We wrote a blog post about it which lists some of the things we upstreamed https://ferrous-systems.com/blog/how-ferrocene-improves-rust...
277.
by Xylakant 3y ago
You are correct, the technical differences are negligible for most intents and purposes. However, the certification covers not only the source that was used to build, but rather the entire process to produce the binary for the source, that
278.
by Xylakant 3y ago
Depends on what you mean with „supported“ - the qualification is at the moment for ARMv8-A bare metal (aarch64), see https://public-docs.ferrocene.dev/main/qualification/report/... , mostly because that‘s what
279.
by Xylakant 3y ago
Thank you, we appreciate the compliment :)
280.
by Xylakant 3y ago
I’m happy to outline our general reasoning of how we arrived at the pricing, though I’ll obviously not go into specifics. First of all, our competition is the open source rust compiler. Current Ferrocene is a downstream of rust 1.68 and a d
281.
by Xylakant 3y ago
> In automotive safety critical systems ISO 26262 is a legally well established, necessary (but not necessarily sufficient) prerequisite for that. That is true, but an ISO 26262 qualified toolchain is neither sufficient nor required to a
282.
by Xylakant 3y ago
The joint venture with AdaCore is no longer, so yes, we're doing this seperately.
283.
by Xylakant 3y ago
A lot of the timeline depends on the partner we're working with to achieve qualification. Initial qualification definitely takes longer, but we're having discussions on how we can cut down on the manual part of the certification.
284.
by Xylakant 3y ago
No, not at all.
285.
by Xylakant 3y ago
Aerospace would be DO-178, which is on the roadmap, but will take some effort (a year or two, give or take). Medical is closer: While there are dedicated certifications for medical, they are relatively close to the IEC 61508 industrial sta
286.
by Xylakant 3y ago
> I see human behavior a more problematic issue to overcome than the toolchains, hence why I mentioned the toolings being more modern than what many are willing to adopt. I absolutely agree. I agree that this is what's holding back
287.
by Xylakant 3y ago
Disclaimer: I'm one of the founders of Ferrous Systems > I was really hoping that certification involved some kind of testing to insure that the compiler always produces correct code, though I'm not sure that's even possib
288.
by Xylakant 3y ago
Disclaimer: I'm one of the founders of Ferrous Systems. Ferrocene as a compiler is not inherently more suitable for safety critical applications than stock rustc as distributed by the rust project. It is for all intents and purposes th
289.
by Xylakant 3y ago
Disclaimer: I'm one of the founders of Ferrous Systems To some extend I agree, but from our conversations with OEMs, Tier 1 and Tier 2 suppliers we do see a significant interest in moving to rust, much more than moving to a new C/
290.
by Xylakant 3y ago
No constituional protection is absolute, as they usually contradict each other to at least some extend. The difference where different societies place the focus - the US is strongly in favor of freedom of speech, whereas European states usu
291.
by Xylakant 3y ago
I could conceivably get a DUI conviction for riding my bike sufficiently drunk here in Germany.
292.
by Xylakant 3y ago
Yes, indeed. And Russia violated the Treaty and now there's war in Ukraine. But it upheld the treaty regarding the Dardanelles strait, probably because Turkey is a NATO member and war with the NATO is really not something anyone wants,
293.
by Xylakant 3y ago
But unlike the Black Sea, there’s no legal contract that gives any of the states the power that Turkey has: Block warships from entering and leaving. Even the Black Sea is open for civilian shipping from and to Russia, including Russian fla
294.
by Xylakant 3y ago
"not so bad" is relative: It's two flights of a spacex dragon 2 launcher: 3,307 kg (7,291 lb) to ISS https://en.wikipedia.org/wiki/SpaceX_Dragon_2
295.
by Xylakant 3y ago
Left and right are usually (at least here in Germany) defined relative to “standing on the side the door will open towards and facing the door”.
296.
by Xylakant 3y ago
Interrail is great - we spent 3 month last year seeing all of Europe. But it doesn’t include your country of residence, so visiting the parents on the other side of the state is not an option. And traveling with the cheap tickets and kids i
297.
by Xylakant 3y ago
On commute distances with a monthly ticket, train has been competitive for a while, but longer distances are tough, especially if you’re multiple people.
298.
by Xylakant 3y ago
> Would malicious actors attack an iPhone 8 It depends. The iPhone 8 might belong to someone they’re interested in for reasons as mundane as being a control freak and the iPhone belongs to their partner. Or just someone that annoyed them
299.
by Xylakant 3y ago
Cool that you have a working backup, but restores are what counts. And they’re not instantaneous in almost all cases. So asking before certain destructive actions is still a good practice.
300.
by Xylakant 3y ago
> Is there any high-level description of the downstream changes in ferrocene: The list of relevant changes to the compiler is the empty set. We wanted to certify the compiler without forking it or restricting the supported language featu

More ›