Argorak

7 ms·

1.
by Argorak 4mo ago
I mean, all customers got a mid-long email, this does not sound like anyone buries anything.
2.
by Argorak 3y ago
Unless something has drastically changed, PyCon covers itself and earns the PSF quite some money on top. Here are numbers from 2020: https://thefortunate.blog/diversification-is-the-future-for-... > Out of USD4.5MM of re
3.
by Argorak 3y ago
It is and there's the variant where you go bottoms first which is called... "Arschbombe" - "Ass-Bomb".
4.
by Argorak 3y ago
There's an ongoing discussion about potential adoption into upstream, though. The thing here is: it would be harmful if we, Ferrous Systems, claimed or even be confused with a more general Rust spec. That's a) the privilege of the
5.
by Argorak 3y ago
Yes, and this does indeed happen. Turns out publishing such a thing makes people get in touch.
6.
by Argorak 3y ago
He, thanks! Weird how that happened though, as the post _was_ edited by an English speaking person living in Germany :).
7.
by Argorak 3y ago
We're being asked about these regularly, but e.g. bluetooth certification is still too prohibitive to just do without a customer. However, I'm also frustrated with "everything is customer funded", so we're looking a
8.
by Argorak 3y ago
That matches our experience. They were super pragmatic. Also, their feedback was tough, but always technically grounded and from the perspective of "is the user always well informed?".
9.
by Argorak 3y ago
Yes, we built bindings for LynxOS 178 a while ago and demonstrated Rust on QNX at embedded world. https://www.lynx.com/press-releases/rust-compiler-support https://ferrous-systems.com/blog/how-we-b
10.
by Argorak 3y ago
It's certainly an unusual pricing style, but people grok it and appreciate it. Also, note that this is for the "quality managed" version - additional support and documents that I sign off for safety (so enter a liability) are
11.
by Argorak 3y ago
(disclaimer: also a co-founder of Ferrous Systems) The ISO 26262 is certainly an effective standard. The boxes to tick are of the kind "do you have your requirements written down?" ("will someone later know what this thing do
12.
Sudo-rs' first security audit(ferrous-systems.com)
62 points by Argorak 3y ago|59 comments
13.
by Argorak 3y ago
Yep, it's only the target files for lynxos178.
14.
by Argorak 3y ago
We got hit by this: https://www.cloudflarestatus.com/incidents/t53r6tfsg1sj Cloudflare served private preview URLs through the deployed website. Honestly, doing ops for over 10 years, i didn't have this in my card
15.
by Argorak 3y ago
Footer: © Amazon Web Services EMEA SARL (Niederlassung Deutschland) This is probably the AWS lead initiative to place their preferred people into a council they see being formed anyways.
16.
by Argorak 3y ago
This is a German works council, which is the most common outcome of a unionization effort: https://en.wikipedia.org/wiki/Works_council#Germany Its creation can be forced by a vote of the employees and the council has a
17.
by Argorak 4y ago
I've heard someone once say "if Rust is a criticism of C++, it comes from a position of respect" and that was definitely true in the early days of the programming language. Interestingly though, I take the stance that Rust is
18.
by Argorak 4y ago
Sonic Pi is essentially a frontend to Supercollider: https://github.com/sonic-pi-net/sonic-pi/blob/dev/SYNTH_DESI...
19.
by Argorak 5y ago
Feel free to reach out, it's a topic of interest to us. A good place to discuss is for example the AeroRust Discord or just send me an email. https://github.com/AeroRust/Welcome
20.
by Argorak 5y ago
Thanks :).
21.
by Argorak 5y ago
First question: yes. It was hard to talk about the current state of Ferrocene with all the things ongoing last year. Now that I have more bandwidth and we found a development beat, you can also expect more regular updates. Second question:
22.
by Argorak 5y ago
DO-178C has writing and requirements around dynamic memory management. (DO-332 / ED-217, OO.D.1.6) Rust also can also model other things through ownership, like passing a device handle safely between components, to avoid concurrent use
23.
by Argorak 5y ago
Rust makes quite a few things more rigorous (e.g. pairing allocations with deallocations and reference validity). It basically fulfills the job of a static analyzer baked into the language. It's also a vastly more analyzable language (
24.
by Argorak 5y ago
There's rubble. https://github.com/jonas-schievink/rubble We've been approached by multiple parties to finish it and we are up to it, but the final effort, particularly certification is currently prohibitive.
25.
by Argorak 5y ago
Let's first get rustc qualified, but speaking on a high level, I believe Ada/Rust FFI has potential to make `unsafe`... safer. If someone wants to play around with this in the open, please don't hesitate to get in touch.
26.
by Argorak 5y ago
I very much agree. Rust is often seen as C/C++-inspired, but I know a lot of the early team looked at Ada for inspiration. We have also seen in many evaluations of "new stacks" that we were invited in that Ada was evaluated a
27.
by Argorak 5y ago
I can share from Ferrous side that the partnership started "clicking" when we found our common interest in product quality and user service.
28.
by Argorak 5y ago
Thanks for taking a moment to give that feedback!
29.
AdaCore and Ferrous Systems Joining Forces to Support Rust(blog.adacore.com)
357 points by Argorak 5y ago|100 comments
30.
by Argorak 5y ago
What people generally mistake is that compilers are not certified - they are qualified tools. In this case, the regulators check if the vendor of the compiler uphold certain standards and practices - once. After that, you - the vendor - are

More ›