RE: https://social.ferrous-systems.com/@ferrous/116333635406627261
writing for a corporate blog was kinda fun actually. i like working on cool things :)
i did spend a disproportionate amount of time fixing up the CSS but that just means the next posts will take less time ^^
@jyn a very interesting read, thanks for writing it up!
Will I eventually be able to use a compiler driver like this one to make sure my uncertified (and probably uncertifiable) rust code can't panic?
Or will this stay in the certified world as a differentiator?
@hunger almost all the work that Ferrocene does is open source, and I would expect the panic detection to be open source if we implemented it. ideally it would even be an (allow-by-default) lint built in to rustc.
however that assumes it actually gets implemented. I want to write it! But company policy is that we don’t do this much work unless a customer pays for it.
@jyn I am aware that most of the code produced by you people is open source. That's why I am asking: I would not have bothered elsewhere.
I hope you can find someone to sponsor this, if would be so neat.
kulupu jyn
Tobias Hunger