跳至主要内容

2024-12-22

「我們在 Fastmail 使用我們自己的硬體」

  • Fastmail 選擇使用自己的硬體而非雲端服務,專注於成本優化和長期規劃,並利用25年的經驗。
  • 他們已升級至 NVMe SSD,相較於傳統硬碟機(HDD),提升了效能和可靠性。
  • Fastmail 使用 ZFS 作為儲存系統,這提供了壓縮和加密等優勢,並選擇了新的 2U 伺服器搭配 SSD,以提升輸入/輸出效能、可靠性和成本效益。

評論

  • 「Fastmail 選擇使用自己的硬體而非雲端服務,理由是對於有大量託管需求的企業來說,這樣做更具成本效益。」
  • 關於雲端與自我託管的討論經常被誤解所籠罩,有些雲端支持者缺乏技術見解。
  • 「Fastmail 的策略強調企業自行管理系統的可行性,質疑雲端解決方案普遍優越的假設。」

Rosetta 2 的創建者離開 Apple 全職投入 Lean 的工作

  • 「AWS 和 Lean FRO 的重要人物 Leonardo de Moura 宣布,因在 Apple 創建 Rosetta 2 而聞名的 Cameron Zwarich 已加入 Lean FRO。」
  • 「Cameron Zwarich 將專注於改進 Lean 的代碼生成器,並將他豐富的軟體開發經驗帶入團隊。」

評論

  • Rosetta 2 的開發者已經離開 Apple,專注於 Lean,一種證明輔助工具和程式語言,這突顯了向形式化推理和軟體驗證的轉變。
  • Rosetta 2 因其技術實力而受到認可,在團隊成立之前,這位開發者已經做出了重要貢獻。
  • 轉向 Lean 的動機在於其在人工智慧進步中的潛力,目標是提升可擴展性、可用性和證明自動化。

一個已有數千年歷史的數據表(2020年)

  • 「古代美索不達米亞的帳目記錄使用了帶有行和列的黏土板,類似於現代的數據表格,這一點由伊拉克拉爾薩的一塊黏土板所證實,該板由艾莉諾·羅布森翻譯。這塊在大英博物館編目的黏土板類似於一個建設項目的工資單摘要,展示了超過3500年前的有組織數據,包含標題和計算。這一歷史洞察強調了雖然數據表格有著古老的起源,但它們的持續使用並非保證,因為發明可能會隨著時間的推移而失落和重新發現。」

評論

  • 討論強調了表格式數據表示的永恆相關性,儘管該數據表來自2020年,根據當前標準被視為過時。
  • 「參與者探索桌子的歷史意義和直觀設計,並注意到它們演變成現代試算表和資料庫的過程。」
  • 該對話還考慮了數據保存方面的文化和技術進步,並提出現代數據可能會以類似於古代數據的方式被保存。

緩慢的部署導致會議(2015)

評論

  • 緩慢的部署增加風險並導致更多會議,而頻繁且較小的部署則降低風險並提升價值交付。
  • 自動化測試和基礎設施改進可以減少會議的需求並提高部署效率,但組織通常面臨如官僚作風和技術技能不足等挑戰。
  • 鼓勵非技術人員接受自動化測試並減少手動流程,結合採用微服務,可以提高部署頻率,儘管這需要組織變革和更好的治理。

米歇爾·德·蒙田的隨筆線上版

  • 「HyperEssays 是一個線上專案,提供米歇爾·德·蒙田《隨筆集》的現代版本,包含來自不同歷史翻譯和更新的四個版本。該專案為新讀者提供工具和背景資訊,並提供免費的章節 PDF 和適合各種裝置的格式,方便閱讀,涵蓋宗教、友誼和法律等主題。HyperEssays 是一個不斷發展的資源,歡迎貢獻以維持其可及性和免費提供。」

評論

  • 米歇爾·德·蒙田的隨筆在網路上可以找到,常被比作部落格,因為它們具有個人化但精心撰寫的特質,涵蓋了多樣的主題,如對死亡的接受。
  • 「他在文章〈論經驗〉中的一句名言強調了人類的處境,指出即使坐在最高的寶座上,我們仍然是人。」
  • 現代翻譯和人工智慧輔助的更新旨在使蒙田的著作更易於理解,同時保留其原有的魅力,無論是對富裕讀者還是普通讀者而言。

無符號 8 位元數字的除法

  • 本文探討了使用 SIMD(單指令多數據)指令來劃分無符號 8 位元數字的方法,重點在於浮點數除法和長除法演算法。
  • 它強調了使用 SSE、AVX2 和 AVX-512 指令實現這些方法,並在 Ryzen 7、Skylake-X 和 IceLake 等 CPU 上進行性能比較。
  • 值得注意的是,AVX-512 的長除法實作在 Intel CPU 上是最快的,而使用近似倒數的 AVX2 在 Ryzen 上是最快的,相關原始碼可在 GitHub 上找到。

評論

  • 無符號 8 位元數字的除法可以透過使用倒數的乘法來優化,這個倒數可以用二進制有理數來近似,例如,對 3 的除法可以透過乘以 171 並右移 9 位來實現。
  • 「此優化在硬體和優化編譯器中是有益的,並且還有其他技術如模組化乘法、查找表和 SIMD(單指令多資料流)指令,儘管每種技術都有其限制。」
  • 某些指令集架構(ISAs),如 RISC-V 向量擴展,支援 SIMD 整數除法,但這種支援並不常見,因此為了優化,會探索包括浮點運算和微查找表在內的各種技術。

「JEP 483:提前類別載入和連結」

評論

  • 「JEP 483 提議為 Java 提供預先編譯(AOT)的類別載入和連結,旨在提升啟動時間,這對於命令列介面(CLI)應用程式特別有利。」
  • 該提案著重於緩存類別載入和連結數據,而非即時編譯(JIT)代碼,這在像 AWS Lambda 這樣的無伺服器環境中可能具有優勢。
  • 「在增加容器大小與提升類別載入速度之間存在取捨,這需要特別謹慎地評估,尤其是對於較大型的應用程式。」

「解碼平克·弗洛伊德《迷牆》中的電話信號」

  • 「Corelatus 部落格深入探討電信硬體,特別是 E1/T1 和 SDH/SONET 介面,最近分析了平克·佛洛伊德《The Wall》中的電話信號。- 分析透過檢查音頻頻譜圖並與 DTMF 和 CAS R2 等已知標準進行比較,識別出 SS5 信令系統,這是一種在 1980 年代初期使用的系統。- 研究結論認為,音頻可能來自真實的通話,提供了一種真實的長途連接感覺,並在歌曲《Young Lust》中出現了延長版本。」

評論

  • 「詹姆斯·古思里透露,為了象徵巡演時所經歷的孤立感,《平克·弗洛伊德:迷牆》中錄製了一位電話接線員的聲音。」
  • 這張專輯的錄製過程以藝術自由為特徵,沒有商業限制,從而創造出廣闊而複雜的曲目。
  • 「訪談中還強調,由於倫敦區域代碼多年的變更,導致難以辨識錄音中使用的電話號碼。」

Singlefile:一個將完整網頁儲存為單一 HTML 檔案的網路擴充功能

  • SingleFile 是一款多功能的網頁擴充套件和命令列工具,讓使用者能夠將整個網頁儲存為單一的 HTML 檔案,並與 Chrome、Firefox、Edge 和 Safari 等主流瀏覽器相容。
  • 它提供了儲存選擇內容、多重標籤、註釋、自動儲存,以及與 Google Drive 和 GitHub 的整合等功能,儘管在某些網域和檔案名稱字元上有一些限制。
  • 該工具是開源的,採用 AGPL 授權,並被用於像 ArchiveBox 和 Zotero Connector 這樣的專案中,並有來自各地翻譯者的貢獻。

評論

  • SingleFile 是一款網頁擴充功能,旨在將整個網頁儲存為單一的 HTML 檔案,提供一種使用 UTF-16 編碼的緊湊儲存方法。此擴充功能提供了一種替代方案,將頁面儲存為自解壓縮的 ZIP/HTML 檔案,解決了標準瀏覽器儲存功能的限制並增強了 PDF 列印功能。隱私問題曾被討論過,但開發者確認 SingleFile 尊重使用者隱私,使其成為離線存取和分享的寶貴工具。