Post #1278467
2026-04-03 12:11 UTC
@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?
Replies (1)
-
@jyn@tech.lgbt 2026-04-03 15:05
@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.