#每日新闻
# 2020-2-14 每日新闻
# FB: http://bit.ly/2UizW6X
# 四元交换排序 quadsort
在各种情况都赢快速排序法
http://bit.ly/2HmTyPM
# 为什么你写的代码糟透了？
发现昨天看的英文新闻有人翻译成简中了
分享一下
http://bit.ly/2SLA7Fo
# Sealed Rust
Sealed Rust是Ferrous Systems 的努力的目标
希望从理论上验证软件的安全性，并以实作即规范的方式来开发。
目标是通过将Rust编程语言用于安全关键软件开发，
从而改善安全关键领域中质量和正确性的现状。
他们目前制定了一些计划
1. 制定Rust语言以及最小环境所需的所有关键库与工具
2. 制定Rust编译器前端产生并由Rust编译器后端或静态/动态分析工具使用的Rust语言的
IR
3. 验证Rust编译器前端能否根据与Rust语言规范相一致的并给程式码输入生成正确的IR
4. 验证Rust编译器后端从给定的IR生成正确的机器码的能力
5. 制定特定领域资格认证，例如：适用于汽车，医疗或航空电子相关的工具鉴定标准
http://bit.ly/2UOPpvZ
# 看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%
http://bit.ly/2OTrffR
# 这礼拜的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。
http://bit.ly/38qmvX5
# Volkswagen C++
让你的C++程式能在各种CI上执行
AppVeyor
Azure pipelines
Bamboo
Bitbucket Pipelines
Buildkite
CircleCI
Codeship
Drone.io
GitLab CI
GoCD
Hudson
Jenkins CI
Magnum CI
Semaphore CI
TaskCluster
TeamCity
Travis CI
http://bit.ly/2URnLhY
# C++ 隐藏大绝 编译期反射
http://bit.ly/38lOze1
# Gitea 1.11.0
http://bit.ly/38sAZp4
# GopherFileManager GTK3+GO写的档案总管
http://bit.ly/2uJolna