Stellar Consensus Protocol: Proof and Code
I'm excited for the ideas here and have been following Stellar.<p>But I'm hugely disappointed to see that they went with C and C++ for their new core codebase. This is the kind of code that needs strong safety, security, and correctness guarantees, and here in 2015 we have several mature languages with better safety & correctness guarantees.<p>C# and Java are both mature and mainstream, and either would have been a sane choice. Go is slightly less mature but also a safe and conservative choice.<p>(I personally love where Rust is going too, but I could excuse people for not choosing it yet due to immaturit.)