喔！Ada/Spark 泪流满面，我比 Rust 更安全，更易读，更高效，更强大，快来看看我啊～

【 在 ArchLinux 的大作中提到: 】
: 之前看到一些资料说 NVIDIA 在使用 Ada/SPARK 语言写一些 RISC-V 的软件，看了压缩包里面 nvriscv 里面有不少 *.ads, *.adb 文件，应该证实了这个说法。
:
--
FROM 124.64.120.*