< 返回版块

damody 发表于 2020-02-14 11:03

为什么你写的代码糟透了?

發現昨天看的英文新聞有人翻譯成簡中了

分享一下

read more

Sealed Rust

Sealed Rust是Ferrous Systems 的努力的目標

希望從理論上驗證軟體的安全性,並以實作即規範的方式來開發。

目標是通過將Rust編程語言用於安全關鍵軟件開發,

從而改善安全關鍵領域中質量和正確性的現狀。

他們目前制定了一些計劃

  1. 制定Rust語言以及最小環境所需的所有關鍵庫與工具
  2. 制定Rust編譯器前端產生並由Rust編譯器後端或靜態/動態分析工具使用的Rust語言的IR
  3. 驗證Rust編譯器前端能否根據與Rust語言規範相一致的並給程式碼輸入生成正確的IR
  4. 驗證Rust編譯器後端從給定的IR生成正確的機器碼的能力
  5. 制定特定領域資格認證,例如:適用於汽車,醫療或航空電子相關的工具鑑定標準

read more

看nnethercote怎麼優化程式的

他利用Callgrind來看程式碼的執行時間

265,344,872 ( 2.97%)  :rustc::ty::query::on_disk_cache::__ty_decoder_impl
236,097,015 ( 2.64%)  :<rustc::ty::query::on_disk_cache::CacheEncoder<E>
213,551,888 ( 2.39%)  :rustc::ty::codec::encode_with_shorthand
165,042,682 ( 1.85%)  :<rustc_target::abi::VariantIdx
 40,540,500 ( 0.45%)  :<u32 as serialize::serialize::Encodable>::encode
 24,026,292 ( 0.27%)  :serialize::serialize::Encoder::emit_seq
 20,160,540 ( 0.23%)  :<rustc::dep_graph::serialized::SerializedDepNodeIndex
  9,661,323 ( 0.11%)  :serialize::serialize::Decoder::read_tuple
  4,898,927 ( 0.05%)  :<rustc::ty::query::on_disk_cache::CacheEncoder<E>
  3,384,018 ( 0.04%)  :<rustc_metadata::rmeta::encoder::EncodeContext
  2,296,440 ( 0.03%)  :<rustc::ty::UniverseIndex

一步一步的迭代 最後優化了11~13%

read more

這禮拜的Rust

Alex Crichton:減少對Rust的參與。

將異步/等待帶入嵌入式Rust。

Rust宣布成立ICE-breaker組。

Rust遊戲開發生態系統調查的結果。

std::future::Rusoto的未來。

在VSCode中調試Rust。

從React的角度來看Rust和GTK。

Rust Async入門。

解決Rust中的稀疏矩陣系統。

Markedit。

創建交互應用程式。

Async採訪6:Eliza Weisman。

read more


From 日报小组 @Damody

日报订阅地址:

独立日报订阅地址:

社区学习交流平台订阅:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页