#每日新聞 # 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/m.aspx?n=bbs/Soft_Job/M.1581650250.A.64B.html