今天看《深入理解計算機系統》一書，dijskstra提出了同步執行不同執行緒的方法，想起來最短路徑演算法，於是上網搜尋一番，摘錄如下：
pv名字的起源
edsger dijkstra出生於荷蘭，名字p和v**於荷蘭單詞proberen(測試)和verhogen(增加)。
edsger wybe dijkstra((1972 turing award) 1930-5-11 2002-8-6)
edsger wybe dijkstra是計算機先驅之一，主要成就：結構化程式設計(建議取消goto)，提出併發pv抽象（用在作業系統層面），演算法(dijkstra最短路徑演算法)。
語錄：「有效的程式設計師不應該浪費很多時間用於程式除錯，他們應該一開始就不要把故障引入。」
「程式測試是表明存在故障的非常有效的方法，但對於證明沒有故障，除錯是很無能為力的。」
這句也可作為乙個名詞 voodoo programming的最好解釋 ，程式正確性的證明是非常重要的。
ref:
dijkstra生平介紹
王選：從dijkstra談帥才的洞察力
八卦一下g9的八卦
八卦一下g9的八卦 早就想八卦一下g9老大 的技術八卦 了。國內技術社群能把技術和八卦整合得如此天衣無縫的，就我所知，僅此一家，別無分號。有時我就想不通乙個問題，為什麼這哥們文章中的八卦總是那麼源源不絕，信手拈來呢？我暗地裡琢磨這老大肯定私下有乙個小本本，上面的名人技術八卦按字母索引按年代索引按語言...
八卦一下g9的八卦
八卦一下g9的八卦 早就想八卦一下g9老大 的技術八卦 了。國內技術社群能把技術和八卦整合得如此天衣無縫的，就我所知，僅此一家，別無分號。有時我就想不通乙個問題，為什麼這哥們文章中的八卦總是那麼源源不絕，信手拈來呢？我暗地裡琢磨這老大肯定私下有乙個小本本，上面的名人技術八卦按字母索引按年代索引按語言...
八卦一下Starlark語言
編譯移植tensorflow時用到bazel這一構建工具，bazel用starlark語法來編寫workspace build檔案，它們是類似於make中的makeifle cmake中的cmakelists的存在。早些年google用make makefile構建 後來 多了，發現make不適合 ...