专栏首页Rust语言学习交流【Rust日报】 2019-07-28:Rust Unsafe:把它们看作公理和定理

【Rust日报】 2019-07-28:Rust Unsafe:把它们看作公理和定理

关于 Web 前端开发框架 Seed 的一些资料

Seed(https://seed-rs.org/) 也是一个前端 Web 开发框架。这是用 Seed 写的一个前端网站(https://seed-rs-realworld.netlify.com/),这里是一些相关的资源(https://github.com/MartinKavik/awesome-seed-rs)。

Repo

已经用上 wasm 技术的一些网站

这里列举一些,不完整,会不断增加

  • https://apps.karthikkaranth.me/spherro/
  • https://lukaslueg.github.io/macro_railroad_wasm_demo/
  • https://sandspiel.club/ 落沙游戏

Rust Unsafe:把它们看作公理和定理

这篇文章https://iandouglasscott.com/2019/07/26/rust-safe-and-unsafe-as-theorems-and-axioms/ 作者从另一个视角来探讨了 Rust 中的 unsafe 的概念,他建议,可以将 Rust Unsafe 类比看作数学上的公理和定理。基于这个观点,做出了详细的剖析。详情请看原文。

SCalc - 保证不会溢出的计算库

很简单的思路,如果发现溢出了,结果就置为 1。一定程度上,可保证计算安全,不会由于偶然的原因,导致系统崩溃。

比如:

use scalc::SCell;

fn main() {
   let a = SCell::<i32>::new(12) * SCell::<i32>::new(3);
   assert_eq!(*a.get_data(), 36);

   // `error_tag` will be `true` in the presence of overflow behavior(s)
   let a = SCell::<i32>::new(std::i32::MAX) + SCell::<i32>::new(1);
   assert_eq!(a.is_overflowed(), true);
   assert_eq!(*a.get_data(), 1);
}

https://github.com/XCH-CEB/xch-project/tree/master/scalc

cargo-cache - 帮助你管理你本地的 registry 缓存

比如会给出这样一个报告。

Total:                              3.81 GB
  107 installed binaries:         916.89 MB
  Registry:                       163.43 MB
    Registry index:               156.47 MB
    5 crate archives:               6.96 MB
  Registry: dl.cloudsmith.io        4.18 KB
    Registry index:                 3.21 KB
    1 crate archives:                971  B
  Registry: github.com              1.34 GB
    Registry index:                98.51 MB
    5522 crate archives:          812.62 MB
    743 crate source checkouts:   426.25 MB
  Registry: home                     478  B
    Registry index:                  478  B
  Registry: ship.rs                  478  B
    Registry index:                  478  B
  Git db:                           1.40 GB
    138 bare git repos:             1.37 GB
    6 git repo checkouts:          23.53 MB

还有相关其它配套功能。使用下面命令安装:

cargo install cargo-cache

Bayes-O-Matic - 帮助你对一些问题做贝叶斯推演的一个Webapp程序(用wasm实现)

演示地址在这里:https://vberger.github.io/Bayes-O-Matic/

讲解文章在这里:https://vberger.github.io/Bayes-O-Matic/help.html

kmean-rs - 实现 K 均值聚类的小而快的库

这是一个例子:

use kmeans::*;

fn main() {
    let (sample_cnt, sample_dims, k, max_iter) = (20000, 200, 4, 100);

    // Generate some random data
    let mut samples = vec![0.0f64;sample_cnt * sample_dims];
    samples.iter_mut().for_each(|v| *v = rand::random());

    // Calculate kmeans, using kmean++ as initialization-method
    let kmean = KMeans::new(samples, sample_cnt, sample_dims);
    let result = kmean.kmeans(k, max_iter, KMeans::init_kmeanplusplus, &mut rand::thread_rng());

    println!("Centroids: {:?}", result.centroids);
    println!("Cluster-Assignments: {:?}", result.assignments);
    println!("Error: {}", result.distsum);
}

https://github.com/seijikun/kmean-rs

Animate code with awoo!

https://phaazon.net/blog/introducing-awoo 这篇文章,从风格上,我觉得挺诡异,没看懂,各位看观有兴趣来点评一下?

本文分享自微信公众号 - Rust语言学习交流(rust-china),作者:Mike Tang

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2019-07-28

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 【Rust日报】 2019-08-29:在 Postgres 中运行 WebAssembly

    OSINT 就是“公开资源情报”,常见于安全和黑客领域。这个 sn0int 是给 IT 安全专业人士和 bug 捕获者设计的 OSINT 框架及包管理器。它用于...

    MikeLoveRust
  • ​Substrate 环境安装提速文档

    Substrate 环境安装提速文档(Mike版,仅限Debian/Ubuntu Linux 和 Mac brew)

    MikeLoveRust
  • 【Rust日报】2020-03-16 sheeit:一个速度飞快的网页版电子表格引擎

    AWS 在其博客中介绍了该团队最新的开源项目 Bottlerocket。据介绍,Bottlerocket 是一种新的基于 Linux 的开源操作系统, 用于在虚...

    MikeLoveRust
  • 好用的批量扫米工具DomainMegaBot

    项目地址 https://github.com/Har-Kuun/DomainMegaBot

    Huramkin
  • 编译安装php的swoole扩展

    操作系统 linux Debian PHP版本 7.3.6 swoole版本 4.3.5

    ianzhi
  • Sql Server 存储过程中查询数据无法使用 Union(All)

      微软Sql Server数据库中,书写存储过程时,关于查询数据,无法使用Union(All)关联多个查询。

    张传宁老师
  • 51 个深度学习目标检测模型汇总,论文、源码一应俱全!

    目标检测(Object Detection)是深度学习 CV 领域的一个核心研究领域和重要分支。纵观 2013 年到 2019 年,从最早的 R-CNN、Fas...

    OpenCV学堂
  • 51 个深度学习目标检测模型汇总,论文、源码一应俱全!

    目标检测(Object Detection)是深度学习 CV 领域的一个核心研究领域和重要分支。纵观 2013 年到 2019 年,从最早的 R-CNN、Fas...

    小小詹同学
  • 正式开启全站HTTPS加密之旅

    2、微语不见了 当初emlog弄上微语的时候我就感觉那是多此一举了,弄的很粗糙,但等到大家都熟悉了之后,又去掉了,未免有点。。。 其实这也能用第三方插件...

    阿珏
  • 云桌面解决高安全、易管理等办公场景需求

    自从思杰在国内开始应用云桌面并伴随着云计算的应用,这几年云桌面又开始火了起来,云桌面在多种场景下发挥了巨大的用途。云桌面(Virtual Desktop...

    希望的田野

扫码关注云+社区

领取腾讯云代金券

玩转腾讯云 有奖征文活动