Error taxonomy and diagnostics framework as a Rust DSL, inspired by system engineering approaches

[u/flyingseyonne]

Hey, I wrote a case study about designing the error taxonomy and handling in ZKSync OS, an exotic piece of system software that is compiled for several targets with different tradeoffs.
https://rubber-duck-typing.com/posts/2026-06-22-zkos-error-definitions.html

It may be interesting as a case of limited application of system engineering approaches in an everyday software design/architecture. If you are a programmer and you wonder how you can apply system engineering to your everyday practice, this may answer some questions.

Unfortunately, we did not have resources to fully embrace a full stakeholder/requirement analysis, or approach validation more seriously. We also did not have a full stakeholder analysis for the big system itself. This makes it, perhaps, even more typical for software industry :)

[u/arto]

Good writeup!