5000倍速度提升的 CRDT

CRDT 全称 Conflict-Free Replicated Data types. 主要用于在线合作文档编辑等方面. 作者详细介绍了如何提升相关实现和算法的一些过程,并且最终使得提升了 5000 倍的速度.

原文链接

如何写出运行缓慢的 Rust 代码

作者分享了自己如何使用 Rust 重写自己的 Lisp 代码, 如何成功的写出更慢的代码 并且 修复他们的故事.

原文链接

Egglog: 使用 Rust 来证明一个定理

egglog 是一个 prolog-like 语法的库, 作用用他来证明了一个定理.

原文链接

在线 demo

Rust playground at your fingertips

这是一系列的 Rust 教学视频, 本期展示如何使用vim 和 tmux 来搭建自己的 Playground.

油管视频

--

From 日报小组 BobQin，FBI小白

社区学习交流平台订阅：

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