[lukan]

It has 9 million lines of code. The coding standards alone are 135 pages. Even with smart people, that sounds challenging to maintain that much C++ (I am surprised no one offered the "rust" advice yet)

[_zagj]

> I am surprised no one offered the "rust" advice yet)

ADA/SPARK already owns this space.

[cft]

Rust did not exist back then. I hope they are now using it in drone codebases.

[laweijfmvo]

that’s why it’s important to codify as many of those 135 pages into linters, static analysis tools, and units tests as possible.