< 返回版块

Mike Tang 发表于 2023-03-25 12:05

利用所有权分析将C代码安全地转换到Rust代码

Bristol大学的研究人员(看论文名字都是华人),利用Rust的所有权概念,研发了一个静态所有权分析工具:Crown, 将C指针安全地转换为Rust代码。目前尝试在真实世界中使用,转换50w行代码只需要10秒。

论文地址:https://arxiv.org/pdf/2303.10515.pdf

meeting.rs 在线会议

使用Rust和Wasm基于WebRTC实现了会议工具。在两个浏览器tab页输入同一个地址就可以视频了。

目前还是原型阶段。

https://github.com/williamlsh/meeting.rs

wasmer 的宣传:使用Rust构建通用库

通用库的意思就是可以几乎给所有语言使用的库,当然,使用的是WASM中间介质。及配合wasmer定义的插件规范。

https://www.youtube.com/watch?v=uKlHwko36c4

Rust in HPC

爱丁堡的科研人员在HPC上做了Rust,Fortran, C的对比(实现流体模拟)。然后今天开源了, 代码写得相当糟糕,被吐曹了。

https://github.com/lmoran94/eurocc_cfd

From 日报小组 Mike

社区学习交流平台订阅:

  • Rust.cc 论坛: 支持 rss
  • 微信公众号:Rust 语言中文社区

评论区

写评论

还没有评论

1 共 0 条评论, 1 页