Názor k článku
Tor chce přepsat kód do jazyka Rust, vzniká nová implementace Arti od klokan - To je rozdíl, céčko "nějak funguje" protože spousta...

To je rozdíl, céčko "nějak funguje" protože spousta věcí je nedefinovaných a nic se nedá pořádně prokázat. Ale u Tier3 platforem v Rustu je to tak, že "nějak funguje" překladač, tj. netestuje se rigorózně a v podstatě vůbec není zaručené, že generuje správný kód. Prostě rustc generuje SSA graf pro LLVM a LLVM má jakýsi více či méně podporovaný back-end pro danou architekturu, ale jestli tahle kombinace vážně funguje, zvlášť v těch subtilnějších případech (a těch je v Rustu hodně) kde je složitý pointer aliasing nebo se překladač snaží o autovektorizaci, to doopravdy nikdo neví.