『[2412.15042] Compiling C to Safe Rust, Formalized...2024/12/23 0:15:00 https://arxiv.org/abs/2412.15042
『XユーザーのGCC - GNU Toolchainさん: 「Compiling C to Safe...2024/12/23 0:15:00 https://x.com/gnutools/status/1870496603003334798