『XユーザーのGCC - GNU Toolchainさん: 「Compiling C to Safe Rust, Formalized by Aymeric Fromherz (INRIA), Jonathan Protzenko (Microsoft Research) https://t.co/N7G77lsjBF」 / X』2024/12/22 15:15:00 https://x.com/gnutools/status/1870496603003334798