【科技新聞】黑客新聞 15 歲生日快樂

最喜歡的網站。謝謝HN。

人們（和我自己）可以在這個網站上大肆宣傳，但它確實改變了我職業生涯的軌跡。這是我的地方：

* 首次了解 CRDT，激發了對分佈式系統的興趣

* 首次了解 TLA+，激發了對正式規範的興趣

*自從 Democritus 推薦以來第一次看到《量子計算》一書（在一篇關於 Sussman 教授閱讀清單的帖子中），激發了對量子計算的興趣

* 首先了解了 LEAN 定理證明器，從而激發了對數學定理正確性機器檢查證明的興趣

* 第一次了解tree-sitter，導致我為TLA+寫了一個tree-sitter語法

所有這些（嗯，除了量子計算——這仍然是一個令人愉快的業餘愛好，儘管我確實在微軟的量子項目中工作了一段時間）現在我在作為獨立軟件工程顧問的合同中使用，並且我在兩者之間做的開源工作。 TLA+ 尤其產生了巨大的影響。十年來的五個好帖子仍然是一個相當不錯的信噪比！

HN 一直是我個人發展的絕佳資源，並且仍然是高質量內容和某些主題討論的可靠來源。我認為這與其聰明的設計決策和適度的方法有很大關係，為此我非常感謝。

對社交網站的一個好奇是，儘管在這裡非常活躍，並且進行了一些很好的交流，但我從來沒有真正與這裡的人聯繫過。這是一個植根於思想而不是人的論壇，其產品限制強化了這一點：沒有頭像，沒有追隨者，沒有 DM，沒有黑盒算法。相對於互聯網的其他部分，我真的很感激這一點，儘管我偶爾希望我能與這些想法背後的人建立聯繫。

作為一個以英語為導向的論壇，一個有趣的怪癖是很久以前他們讓你在沒有電子郵件的情況下註冊，這意味著當我丟失密碼時，我必須創建一個新帳戶。我很想恢復我原來的用戶名。

Lorinda 極大地幫助了我嘗試將 90 年代早期貝爾實驗室逃脫的一些硬件重新上線，這樣，作為一名被困在伊利諾伊州農村的青少年，我可以運行計劃 9 並為其構建一些軟件。她並沒有停止將我與合適的人聯繫起來，以找到我需要的硬件來恢復我的電腦。她還向我介紹了一些我不配與之交談的人，我也不感激我在 12 歲時與這些人分享電子郵件是多麼幸運。這些不幸的（前）實驗室員工包括羅布·派克和肯·湯普森。

Lorinda，感謝您付出如此巨大的努力來鼓勵我對晦澀難懂的操作系統的熱情和興趣。我並沒有失去探索這個計算領域的動力。我唯一的願望是我給你寄了不止一個來自伊利諾伊州莫頓的咖啡蛋糕，你喜歡並說讓我們變得平和。希望無論你現在在哪裡，都可以吃到盡可能多的咖啡蛋糕。再次感謝您，真的。

她編寫的工具“eqn”（由 Brian Kernighan 加入）是 TeX 的“祖先”：TeX 的數學語法（設計始於 1977 年）基於 eqn（1975 年）。例如，eqn 論文 ( https://research.swtch.com/eqn.pdf ) 具有表達式

 sum from i=0 to infinity x sub i = pi over 2

在 TeX 的第一稿設計中（第二稿引入了反斜杠），這將被輸入為非常接近的東西，今天是：

 \sum_{i=0}^{\infty} x_i = {\pi \over 2}

你可以看到演變。維基百科頁面有更多示例（ https://en.wikipedia.org/w/index.php?title=Eqn_(software)&ol… ）。 Knuth 在初稿設計中多次明確歸功於 Lorinda Cherry（ https://www.saildart.org/TEXDR.AFT[1,DEK] ）：

> 公式中使用了一種特殊的語法，模仿了 Kernighan 和 Cherry, Comm 的語法。 ACM 18（1975 年 3 月），151-157。例如，第 41 行的 “sup 9” 指定上標 9，第 74 行的 “sub {n+1}” 指定下標 n+1。

在最後一頁/段落中：

>作為本備忘錄的結尾，我應該解釋一下 TEX 將如何處理數學公式。但是，我將不得不更詳細地勾勒出代碼，目前它只是在我的腦海中模糊不清。 […] 可能有必要像 Kernighan 和 Cherry 一樣首先構建解析樹。

（是的，TeX 確實首先構建了解析樹，正如我們從第二稿中看到的那樣： https://www.saildart.org/TEX.ONE[1,DEK] ）

eqn 系統是一個開創性且有能力的系統：儘管 Knuth 沒有按原樣使用 troff/eqn 的任何代碼（不確定他是否可以使用；無論如何，他的目標是“書籍”質量），但顯然它影響了設計，我想它首先啟發了他關於什麼是可能的。即使在 TeX 被廣泛使用之後，也有一些數學書籍使用 troff 和 eqn 排版。

閱讀 Lorinda Cherry 的其他成就，如“錯字”和 Writer’s Workbench，很明顯我們失去了一個在多個方面都是先驅的人。

作為實現 `dc` 和 `bc` 的少數作者之一，但從未真正見過 Lorinda Cherry，也許我對她的工作的看法略有不同。

我已經閱讀了與 `dc` 和 `bc` 的原始來源最接近的內容：與 Plan 9 捆綁在一起的來源。我很快就閱讀了整個來源，因為它們簡單明了。這讓我印象深刻。

但是，我討厭說我的年輕（至少與Cherry女士相比）使我不屑一顧地看著源頭，主要是由於用戶錯誤導致的處理錯誤。

我花了幾天的時間來更仔細地考慮上下文。她正在為自己和其他程序員寫作，他們可能能夠在他們犯了錯誤時識別並修復它。

該代碼具有我永遠不會有的簡單優雅。當然，您可能會稱我為“工業實力”，但我認為 ** Gabriel 的一句話總結了 Cherry 女士的代碼和我的代碼之間的區別：

“我總是對早期編程語言的輕快和靜止感到高興。文本不多；完成了很多工作。舊程序讀起來就像一個口才好的研究人員和一個研究得很好的機械同事之間的安靜對話，而不是一個“ [1]

這並沒有說明她的軟件設計。

`dc` 曾經是，在許多方面仍然是，可能存在的最簡單的計算器。它也是最簡單的 shell，帶有 `!` 命令。我個人認為，正是出於這個原因，`dc` 是貝爾實驗室在 PDP-11 上運行的第一個程序。 [2] `bc` 雖然更複雜，但也是一個很棒的設計（就當時而言）。

簡而言之，Cherry 女士是她的行業大師，而我只是遠遠地認出這一點。

我的遺願清單中的一件事情就是見見 Cherry 女士。由於她在 `dc` 和 `bc` 上的工作，我對她寫我自己的作品感到親近。很遺憾知道該項目永遠不會發生。那好吧。

[1]： https://people.csail.mit.edu/alinush/6.824-spring-2015/l07-g…

[2]： https ://youtu.be/EY6q5dv_B-o?t=1767

上週我真的很接近成為 Linode 的幾個大盒子的客戶，但最終購買了硬件和自託管。

削減到我們辦公室的企業光纖鏈路 (1000/400) 的成本低得驚人。

我作為付費客戶試用 linode 的經驗非常積極（非常有競爭力的價格，出色的性能），唯一的抱怨是他們的 NodeBalancer 不能像 CF 和 AWS 那樣自動處理證書。

此外，需要提到它，因為該線程中有很多負面影響：向 Linode 大喊大叫，因為它是大量的社區支持者，並向大學俱樂部等捐贈了大量免費計算，幾乎任何擁有慈善證書的人都要求它.很棒的公司，很容易“與人交談”，而不是試圖找到合適的支持孤島。

我認為這是 Akamai 發現他們需要解決自助服務市場的問題。

Akamai 的邊緣網絡足跡是 Cloudflare 的 6 倍，並且擁有邊緣工作者等所有酷炫時尚的東西，他們只是不擅長向開發人員銷售。

作為一個長期的 Linode 用戶，我經歷了很多服務問題和成長的煩惱。 Linode 一直只是我擁有的為數不多的供應商之一，而且我在某些時候認為，所有這些問題都將導致一個可靠的平台。好吧，在過去的幾年裡，Linode 實現了這一點，現在是我最可靠的平台之一。

我還使用 Akamai 的 Prolexic DDoS 服務，該公司在 2014 年之前還是一家獨立公司。Akamai 購買了它們，服務實際上得到了極大的改進，所以我們希望 Linode + Akamai 的規模和購買力會帶來更好的結果。