#每日新闻 # 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 -- 标题 [闲聊] 写程式的时候要吃甜食 推 del680202:我写程式的时候 都想脱光衣服 推 lgzenith:双脚放到桌上反而容易进入状况 → loveme00835:看吉泽明步... #1Hc6x55S (Soft_Job) --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.25.40.183 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1581650250.A.64B.html