Readit News logoReadit News
Argorak commented on Zig Software Foundation 2024 Financial Report and Fundraiser   ziglang.org/news/2024-fin... · Posted by u/quic5
pid-1 · 2 years ago
> We spent 92% of our money in 2023 on paying contributors for their time.

That's really cool. Sometimes I think about donating to the PSF, but I don't really care about PyCon.

Argorak · 2 years 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 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.

Argorak commented on Berlin's indoor pools   bbc.com/travel/article/20... · Posted by u/pseudolus
lostlogin · 2 years ago
> As the article mentioned, it took a direct hit from a bomb during WW II but it landed in the pool so the building survived.

Pools near me (New Zealand) have ‘no bombing’ signs. I wonder if the jump-into-pool-holding-knees manoeuvre is called ‘bombing’ in German?

Argorak · 2 years ago
It is and there's the variant where you go bottoms first which is called... "Arschbombe" - "Ass-Bomb".
Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
thesuperbigfrog · 2 years ago
They have explicitly stated that a Rust language specification is a non-goal for Ferrocene:

https://news.ycombinator.com/threads?id=thesuperbigfrog&next...

Argorak · 2 years 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 Rust project and b) problematic if consumers were to understand it that way.

Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
stefanoco · 2 years ago
On this topic (certified libraries) I suspect an interesting evolution might happen: by observing how you guys at Ferrous achieved this milestone while keeping a consistent openness, other actors (companies, consultancies and academic institutions) start seriously thinking about the possibility of contributing with high quality and certified libraries for a lot of scenarios. In other words I’d look at this as a milestone that opens to new and disrupting ideas
Argorak · 2 years ago
Yes, and this does indeed happen. Turns out publishing such a thing makes people get in touch.
Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
KwanEsq · 2 years ago
If someone from Ferrous sees this, I'd advise putting the price in English punctuation when writing the article in English. It's a needless stumbling block having the comma and period in the wrong place.
Argorak · 2 years ago
He, thanks! Weird how that happened though, as the post _was_ edited by an English speaking person living in Germany :).
Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
Sytten · 2 years ago
Will you guys provide certified libraries as well? Like an async executor, http client, bluetooth, etc? That would be something even companies outside the target for certification would probably be interested in.
Argorak · 2 years 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 at ways to make this things happen.

Sorry to be vague.

Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
bonzini · 2 years ago
According to (second-hand) experience with auditors with respect to open source, they were quite open to considering things like CI, good commit messages etc. are useful when evaluating the development process, and even considered them sufficient (with adequate explanation) towards some of the ISO26262 requirements. However, that was for ASIL B only.
Argorak · 2 years 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?".
Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
Game_Ender · 2 years ago
This is very exciting, the interop with C really opens the ability to fold this into an existing OS and drivers. Any existing examples of operating system integration, for example working with SafeRTOS [0].

0 - https://www.highintegritysystems.com/safertos/

Argorak · 2 years 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-supporthttps://ferrous-systems.com/blog/how-we-built-our-embedded-w...

Porting Rust to RTOSes is reasonably easy.

Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
the_duke · 2 years ago
Side question:

Is your pricing in line with the norms in this sector? It seems really cheap to me.

Argorak · 2 years 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 more expensive.

But on the other side, there's so many that would buy if it were more accessible.

Argorak commented on Officially Qualified – Ferrocene   ferrous-systems.com/blog/... · Posted by u/jamincan
londons_explore · 2 years ago
What impact does certification have on the safety of the resulting systems?

Is this one of those standards which involve a lot of questionnaires and box-ticking, but has negligible effect on the bug-free-ness of the resulting software?

Argorak · 2 years 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 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.

u/Argorak

KarmaCake day6239September 16, 2010View Original