Redox OS：硬件上有突破性进展，目前专注于 rustc 相关优化

System76 Galago Pro (galp3-c) 笔记本上运行 Redox OS：

原本地址：https://www.redox-os.org/news/focusing-on-rustc/

reddit 上参与讨论。

async-std 1.2.0 版本更新

这个版本主要是一些功能优化，包括新增了 Stream::unzip API 和详细的网络类型错误。

使用示例：

use async_std::prelude::*;
use async_std::stream;

let s  = stream::from_iter(vec![(1,2), (3,4)]);

let (left, right): (Vec<_>, Vec<_>) = s.unzip().await;

assert_eq!(left, [1, 3]);
assert_eq!(right, [2, 4]);

项目地址：https://github.com/async-rs/async-std/releases/tag/v1.2.0

reddit 上参与讨论：https://www.reddit.com/r/rust/comments/e2i3kn/asyncstd_120_released/

硬核：使用 Rust 实现简单的 JVM

来自 Ben Evans 的演讲，油管地址：https://youtu.be/7ECbwgkHdAE。

reddit 讨论请看。

纯 Rust 实现现代 Prolog - Scryer Prolog

Scryer Prolog 的目标是成为ISO Prolog，就像GHC之于Haskell:一个开放源码的工业强度生产环境，也是逻辑和约束编程的前沿研究的试验台。通常它是用高级语言实现。

mthom/scryer-prolog 使用 Rust 实现，README 上介绍了很多很棒的特性，以及一些使用指导，详细请看：https://github.com/mthom/scryer-prolog。

reddit 上参与讨论：https://www.reddit.com/r/rust/comments/e1z0hj/modern_prolog_implementation_in_pure_rust/

From 日报小组 @Jancd

日报订阅地址：

独立日报订阅地址：

• Telgram Channel
• 阿里云语雀订阅
• Steemit
• GitHub

社区学习交流平台订阅：

• Rust.cc论坛: 支持rss
• Rust Force: 支持rss
• 微信公众号：Rust语言学习交流