首页
学习
活动
专区
工具
TVP
发布

Rust语言学习交流

专栏作者
1533
文章
1072003
阅读量
141
订阅数
【Rust日报】2023-01-10 BlackBerry 和 Elektrobit 通过支持 Rust 编程语言加强汽车安全
BlackBerry 是将 Rust 语言集成到 BlackBerry QNX 微内核实时操作系统中,Elektrobit 与 BlackBerry QNX 在 Rust 项目上密切合作,贡献代码,确保代码质量,处理项目管理以及与 Rust 社区的互动。 Elektrobit 公司是AUTOSAR专家,深耕汽车软件行业,和 BlackBerry QNX 是很多年合作伙伴。
MikeLoveRust
2023-02-15
3440
【Rust日报】2022-06-18 Rust 嵌入式生态系统和工具概述
CreuSAT,用 Rust 实现的 SAT 求解器(SAT solver,https://en.wikipedia.org/wiki/SAT_solver),已通过 Creusot(Creusot,https://github.com/xldenis/creusot) 验证。这意味着 CreuSAT 解决了布尔可满足性问题(Boolean Satisfiability Problem,称为 SAT)。
MikeLoveRust
2022-11-28
2560
[Rust笔记] 朴素而有效的`Rust newcomer`上手路数
Mozilla Rust官方团队提供的电子书与技术文档涵盖面全且质量高,咱们直接读这些资料就足够了。而且,我保证你读不完,因为它们时刻都在随rust版本更新而增补,甚至还时不时地有专题方向的新书上线(比如,async programming, macros, cargo book, rustc book等)。我感觉官方再聘个讲师直接可以开网课或办学校了。
MikeLoveRust
2022-11-28
2690
【Rust日报】2022-05-13 rustdecimal 恶意库
Druid 的作者,Raph Levien,发现即便是 Druid 架构也很难契合 Rust 这种 强类型、不允许共享可变性 的编程语言,于是决定重新尝试一些新点子,目标是做一个现代响应式(Reactive)、声明式UI(组件容易组合)并且具有高性能的架构。
MikeLoveRust
2022-06-10
2060
【Rust日报】2022-05-06 - 用 Rust 构建爬虫:抓取和解析 HTML
事实证明,几十年来,我们在输出无 bug 程序方面表现不佳。试图去寻找“银弹”逻辑的计算机程序似乎注定要失败。代码审查是一个比较好的解决办法,虽然代码审查的实践还在逐步进行,尤其是在开源文化成为主导的情况下,但情况仍然不是太乐观:原因是因为它需要花费大量时间和金钱。相反,如果我们可以有一个伙伴,随时可用,永不疲倦,并且锦上添花,这不会花费开发人员的薪水,这将帮助我们在软件投入生产之前避免软件中的错误?让我们看看现代编译器和类型系统如何帮助防止许多错误,从而帮助提高每个人的安全性并降低软件生产和维护的成本。
MikeLoveRust
2022-06-10
8510
【Rust日报】2022-3-18 介绍 Rustler 预编译
Rustler 是几年前由 Hans Elias J.创建的,它是一个旨在成为 Rust 和 Elixir/Erlang 之间的桥梁的项目。由于 Rust 正被广泛用于系统编程。并且由于它的安全性和性能,它是一种将 (NIF)[https://www.erlang.org/doc/tutorial/nif.html] 写入 BEAM 生态系统的好语言,就算使用令人敬畏的 Rustler 项目编写它们也会变得相当容易。
MikeLoveRust
2022-04-18
4170
【Rust日报】2022-02-16 - 2021年 rust 调查结果
9354 名受访者,90% 的受访者表示他们正在使用 Rust,而 5% 的人表示他们过去曾使用过 Rust 但现在不再使用,4% 的人表示他们根本没有使用过 Rust。
MikeLoveRust
2022-03-24
2360
【Rust日报】2022-01-27 Meilisearch 获 500 万美元种子轮融资
Ayush Singh 将为 KConfig 开发一个 Rust wrapper 。有了这个 wrapper ,以及针对 qmetaobject 和 ki18n 的现有 wrapper ,在 Rust 中开发 KDE 应用程序将变得更加容易。可以在 kde-devel 邮件列表中找到更多信息。
MikeLoveRust
2022-03-24
3150
【Rust日报】2021-08-16 如何写出高效的 Rust 代码
作者写了 <<如何写出非常慢的 Rust 代码>> 之后, 收到了很多反馈, 这些反馈提供了非常多的意见来改进代码, 让代码变的更高效. 作者给出了很多编写高效 Rust 代码的示例.
MikeLoveRust
2021-09-08
4270
【Rust日报】2021-01-05 Rust 1.49.0 正式发布
在又经过六周的迭代开发,Rust 1.49.0 现在已经发布了!大家可以通过以下命令更新:
MikeLoveRust
2021-01-21
4930
【投稿】actix-websocket 使用 protocol的一点个人理解
actix的docs和example对protocol的使用有点省略,对着源码实验了下,终于搞清楚了。
MikeLoveRust
2021-01-07
9380
【Rust日报】2020-09-04 Rust 2021 Roadmap 计划
Rust的2021 Edition提上日程了,官方发布了一篇博客提到未来几周会同步进行两项重要的任务:
MikeLoveRust
2020-09-15
1K0
Rust FFI 编程 - Rust导出共享库04
错误对于软件来说是不可避免的,错误处理是保证程序健壮性的前提,编程语言一般都会有一些机制来处理出现错误的情况,大致分为两种:抛出异常和作为值返回。
MikeLoveRust
2020-08-04
5520
【Rust日报】2020-07-19 Trait 工作组 2020 Sprint 3 总结
Trait 工作组的目标是完善 Chalk ,以便将其最终用于 rustc 中解决 trait的各种问题。看上去,工作组的一个Sprint周期是6周左右。
MikeLoveRust
2020-07-21
6060
【Rust日报】2020-06-29 - cargo alias
ANSSI(法国国家网络安全局),信息系统安全国家机构是一项法国服务,创建于2009年7月7日,负责计算机安全。国家网络安全局向国防和安全事务秘书长报告,以协助总理履行其国防和国家安全职责。ANSSI取代了计算机安全中央局,该局于2001年7月31日取代了SCSSI。
MikeLoveRust
2020-07-02
4290
Rust FFI 编程 - 手动绑定 C 库入门 04
本篇,我们说明 Rust 调用 C 的另外一种场景:内存在 Rust 这边分配,在 C 中进行填充。
MikeLoveRust
2020-06-28
1.1K0
【Rust 日报】2020-04-22 佐治亚理工学院 CS-3210 课程实验:用 Rust 为树莓派写一个操作系统
Rust UI 工具库 OrbTk 发布新版本. OrbTk的目标是快速、易用以及跨平台. 灵感来自于Flutter、React、Yew.
MikeLoveRust
2020-04-26
8650
【Rust项目推荐】造了一个可以用来写爬虫的轮子nipper
写了一个轮子nipper,顾名思义就是用来像镊子一样操作HTML的。 可以使用css选择器的语法在给定的html里查询需要的元素,甚至是修改这些元素。 use nipper::Document; let html = include_str!("../test-pages/hacker_news.html"); let document = Document::from(html); document.select("tr.athing").iter().for_each(|athing| {
MikeLoveRust
2020-04-14
1.5K0
【Rust日报】 2020-03-26 PingCAP:使用 Go 工具快速在线查找 Rust 程序瓶颈
在线分析大型 Rust 应用程序很困难,目前常见的分析器无法胜任该工作。来自 PingCAP 官博的分享,介绍了他们在工程上是如何使用 go 工具分析 Rust 程序性能瓶颈的。
MikeLoveRust
2020-03-31
4130
【Rust日报】2020-03-07 考虑使用Rust
越来越多的公司正在考虑是否应该将Rust添加到其技术栈中,这个演讲希望可以帮助做出决定。
MikeLoveRust
2020-03-10
6660
点击加载更多
社区活动
RAG七天入门训练营
鹅厂大牛手把手带你上手实战
Python精品学习库
代码在线跑,知识轻松学
博客搬家 | 分享价值百万资源包
自行/邀约他人一键搬运博客,速成社区影响力并领取好礼
技术创作特训营·精选知识专栏
往期视频·千货材料·成员作品 最新动态
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档