< 返回版块

Mike Tang 发表于 2024-07-15 15:27

开发一个Vector db

这是一个新项目,刚起步,很适用于学习如何开发一个Vector db。

https://github.com/kn0sys/valentinus

高阶:使用地址净化器解决Rust编译出的可执行文件与C/C++库链接的问题

在底层的场景下,Rust需要用FFI与底层C/C++库打交道,这个过程其实挺麻烦的,还会遇到各种头痛的问题。这是一篇记录。

https://geo-ant.github.io/blog/2024/rust-address-sanitizer-with-c/

Rust得奖了,这次是 SIGPLAN 2024编译语言软件奖

ACM SIGPLAN,全称为计算机协会编程语言特别兴趣小组,是一个致力于编程语言研究与发展的专业团体。SIGPLAN 为研究人员、教育工作者和实践者提供了一个交流平台,使他们能够分享与编程语言及编程系统相关的工作和知识。

评委会评价如下:

Rust 是第一个在工业级编程语言中成功应对安全系统编程语言挑战的语言:它能够对低级资源进行细粒度控制,同时避免不安全语言的安全漏洞。Rust 提供了以下特性:

  • 通过类似 C 的编程模型对低级资源进行控制,具有最小运行时并避免垃圾回收,以实现可预测的性能。
  • 通过类型系统提供安全性,系统地消除越界访问、释放后使用(use-after-free)错误和数据竞争。

Rust 通过结合学术编程语言研究中的创新——线性/仿射类型、所有权类型、特征(traits)——和可用的标准库来实现这一目标。Rust 诞生于多年的研究和实验,解决了实际应用所需的现实挑战和问题。Rust 被美国国家标准与技术研究院(NIST)认可为少数几种更安全的语言之一,并因其安全性优势而被越来越多的大公司和小公司在工业中部署使用。

https://www.sigplan.org/Awards/Software/

--

From 日报小组 Mike

社区学习交流平台订阅:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页