利用所有权分析将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 页
评论区
写评论还没有评论