Argorak | 2 years ago | on: Zig Software Foundation 2024 Financial Report and Fundraiser
Argorak's comments
Argorak | 2 years ago | on: Berlin's indoor pools
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
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 Rust project and b) problematic if consumers were to understand it that way.
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
However, I'm also frustrated with "everything is customer funded", so we're looking at ways to make this things happen.
Sorry to be vague.
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
https://www.lynx.com/press-releases/rust-compiler-support https://ferrous-systems.com/blog/how-we-built-our-embedded-w...
Porting Rust to RTOSes is reasonably easy.
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
But on the other side, there's so many that would buy if it were more accessible.
Argorak | 2 years ago | on: Officially Qualified – Ferrocene
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 does?").
So, we do have to tick boxes, but we're free to pick on how to tick boxes :). What TÜV now certified is that our box-ticking process is fine.
I have absolutely no problem with framing this as box-ticking in some way, but that box-ticking has _meaning_. However, on an existing tool, that means you write the spec (spec.ferrocene.dev) and check if everything has a test implemented. Yep, that's an amount of pretty dumb and repetitive work. And pretty often, on widely-used software, for the happy path, you'll find that it's rather bug-free. So, yes, you tick the box, but you now know that this is in order.
In other cases and on less popular platforms, we frequently find issues like e.g. changes in code size between versions (which could hint to a bug). And it's not just super-niche targets, the last version had a size regression on certain arm targets.
Details on some of the fixes over the last years can be found here: https://ferrous-systems.com/blog/how-ferrocene-improves-rust.... We find a lot of things in corners and better ways to improve the Rust compiler.
As we're a downstream to Rust, we're actually incentivised to push changes upstream with preference, so yes, we contribute to the general quality of the Rust compiler (also of older versions) and with that to bug-free-ness of the resulting software.
So, we're over here, ticking boxes, informing parties when one box doesn't tick.
Argorak | 2 years ago | on: Ferrocene – Rust for Critical Systems
Argorak | 2 years ago | on: Open Sourcing Ferrocene
Cloudflare served private preview URLs through the deployed website.
Honestly, doing ops for over 10 years, i didn't have this in my cards ;).
Argorak | 2 years ago | on: AWS Works Council Germany
This is probably the AWS lead initiative to place their preferred people into a council they see being formed anyways.
Argorak | 2 years ago | on: AWS Works Council Germany
Its creation can be forced by a vote of the employees and the council has a legal special status. This probably comes as a reaction to multiple distribution centers around Germany doing exactly that and forcing the creation of local work councils with the help of unions.
Argorak | 3 years ago | on: NSA guidance on how to protect against software memory safety issues [pdf]
Interestingly though, I take the stance that Rust is much closer to C than C++.
Argorak | 3 years ago | on: Sonic Pi – The Live Coding Music Synth for Everyone
Argorak | 4 years ago | on: AdaCore and Ferrous Systems Joining Forces to Support Rust
Argorak | 4 years ago | on: AdaCore and Ferrous Systems Joining Forces to Support Rust
Argorak | 4 years ago | on: AdaCore and Ferrous Systems Joining Forces to Support Rust
Second question: that was the discussion about higher assurances in the compiler in general. The group did not form, but that's on the project side, where I'm not part of anymore. We're very ready to participate there though.
Argorak | 4 years ago | on: AdaCore and Ferrous Systems Joining Forces to Support Rust
Rust also can also model other things through ownership, like passing a device handle safely between components, to avoid concurrent use.
https://thefortunate.blog/diversification-is-the-future-for-...
> Out of USD4.5MM of revenue for the PSF in 2019, around 63% of it came from PyCon. USD1.9MM was the costs of having PyCon, which means that for every dollar spent on PyCon, the PSF gets back 1.50 dollars.
https://pyfound.blogspot.com/2020/03/psfs-projected-2020-fin...
Obviously, the revenue has sharply dropped for a time because of COVID, but I'd be surprised if PyCon is run at a loss nowadays.
So you can assume none of your sponsorship money goes to running PyCon.