Retourner au contenu associé (lien : Ubuntu 25.10's Move To Rust Coreutils Is Causing Major Breakage For Some Executables)
Posté par thoasm le 27 septembre 2025 à 20:04. En réponse au lien Ubuntu 25.10's Move To Rust Coreutils Is Causing Major Breakage For Some Executables. Évalué à 4.
En SPARK plutôt alors : https://blog.adacore.com/an-introduction-to-memory-safety-concepts-and-challenges qui a un système d'ownership de mémoire comme Rust, prouvé statiquement. Le post de blog cité dans le lien indique que c'est l'émergence de Rust qui les a poussé à regarder ça sérieusement.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: suggestion
Posté par thoasm . En réponse au lien Ubuntu 25.10's Move To Rust Coreutils Is Causing Major Breakage For Some Executables. Évalué à 4.
En SPARK plutôt alors : https://blog.adacore.com/an-introduction-to-memory-safety-concepts-and-challenges qui a un système d'ownership de mémoire comme Rust, prouvé statiquement. Le post de blog cité dans le lien indique que c'est l'émergence de Rust qui les a poussé à regarder ça sérieusement.