PTT評價

[心得] 2020-2-14 每日新聞

看板Soft_Job標題[心得] 2020-2-14 每日新聞作者
damody
(天亮damody)
時間推噓 1 推:3 噓:2 →:3

#每日新聞
# 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語言規範相一致的並給程式碼輸入生成正確的IR4. 驗證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 留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.25.40.183 (臺灣)
PTT 網址

iceman556602/14 13:15你怎還沒被捅

DCTmaybe02/14 14:18為什麼會被捅?

kvjo02/14 14:32是一位工程師性格的朋友

MoMoShota02/14 15:21回2樓,之前有偷渡徵才文的樣子

iceman556602/14 16:05刪文就是違反版規 版主如果要這樣當就下台吧

baby0326sky02/15 01:46

wix300002/15 10:30之前是覺得徵才很有趣所以分享吧 沒注意到會違規

wix300002/15 10:30我相信阿D師 qq