- 主题:英伟达和黑客组织互相黑机器，驱动程序源代码还没leak
已经下下来了，正在列出压缩包的文件看看有什么内容。
【 在 z16166 (Netguy) 的大作中提到: 】
: 传言leak了，未经证实
: magnet:?xt=urn:btih:DC718539145BDE27DDDB5E94C67949E6D1C8513C&dn=integdev_gpu_drv.rar&tr=udp%3a%2f%2ftracker.openbittorrent.com%3a80%2fannounce&tr=udp%3a%2f%2ftracker.opentrackr.org%3a1337%2fannounce Nvidia Data Leak
--
FROM 223.72.74.*
之前看到一些资料说 NVIDIA 在使用 Ada/SPARK 语言写一些 RISC-V 的软件，看了压缩包里面 nvriscv 里面有不少 *.ads, *.adb 文件，应该证实了这个说法。
【 在 ArchLinux (a lightweight and flexible distribution) 的大作中提到: 】
: 已经下下来了，正在列出压缩包的文件看看有什么内容。
--
FROM 223.72.74.*
Ada 的主要特点是类型安全，可读性好。Ada 95 是第一个标准化的面向对象语言。Ada 2012 加入了 design by contract. SPARK 是 Ada 的可形式验证的子集，可以利用 Z3, CVC4 等形式验证工具证明程序不会崩溃。
关于 NVIDIA 使用 Ada 语言的资料：
https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/
https://blog.adacore.com/when-the-isa-is-the-weakest-link
【 在 hgoldfish (老鱼) 的大作中提到: 】
: 是不是因为这个语言比较简单，比较自洽。适合写严肃的业务脚本。
--
FROM 103.90.178.*