水木社区手机版
首页
|版面-编程技术(Programming)|
新版wap站已上线
返回
1/1
|
转到
主题:英伟达和黑客组织互相黑机器,驱动程序源代码还没leak
18楼
|
Dieken
|
2022-03-07 20:28:39
|
展开
喔!Ada/Spark 泪流满面,我比 Rust 更安全,更易读,更高效,更强大,快来看看我啊~
【 在 ArchLinux 的大作中提到: 】
: 之前看到一些资料说 NVIDIA 在使用 Ada/SPARK 语言写一些 RISC-V 的软件,看了压缩包里面 nvriscv 里面有不少 *.ads, *.adb 文件,应该证实了这个说法。
:
--
FROM 124.64.120.*
19楼
|
Dieken
|
2022-03-07 20:31:04
|
展开
Ada 最早是给嵌入式领域用的,Ada/Spark 支持形式化验证,在硬件领域要求高可靠,错的代价太高了。
【 在 hgoldfish 的大作中提到: 】
: 是不是因为这个语言比较简单,比较自洽。适合写严肃的业务脚本。
:
--
FROM 124.64.120.*
22楼
|
Dieken
|
2022-03-09 10:21:06
|
展开
搞起搞起,pharo, cuis smalltalk, squeak smalltalk,体验沉浸式元宇宙编程~
【 在 saynothing 的大作中提到: 】
: 听群里诸君介绍,才知道什么叫孤陋寡闻。
: 总觉得ada,smalltalk这些很少有人用的语言,是落后的代表。。
: 去年得知m4用于bison的后端生成,很惊讶。 去查了,m4是大佬写的,图灵完备的宏语言。
: ...................
--
FROM 114.242.250.*
23楼
|
Dieken
|
2022-03-09 10:23:30
|
展开
http://www.opencobalt.net/home
Smalltalk 那帮人搞的,现在元宇宙吹的刚刚的,人家早就弄了。
【 在 Dieken 的大作中提到: 】
: 搞起搞起,pharo, cuis smalltalk, squeak smalltalk,体验沉浸式元宇宙编程~
--
FROM 114.242.250.*
1/1
|
转到
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版