工程哲學:Leslie Lamport,先思考再寫程式
Leslie Lamport 讓分散式系統成為一門科學:時間並非全域共享、因果關係才是真實存在的,而設計必須在動筆寫程式之前先行明確規範。
Engineering & Craft關於設計、開發、AI基礎設施和產品構建的思考。
Leslie Lamport 讓分散式系統成為一門科學:時間並非全域共享、因果關係才是真實存在的,而設計必須在動筆寫程式之前先行明確規範。
Engineering & CraftThompson 與 Ritchie 透過一個通用介面——文字串流與管道——把小而銳利的工具組合起來,打造出 Unix 與 C。簡潔勝過功能堆疊。
Engineering & CraftEdsger Dijkstra 將簡潔視為正確性的前提,並認為證明優於測試——優雅不是可選項,而是整門學問本身。
Engineering & CraftAlan Kay透過轉換觀點發明了未來:把運算視為思考的媒介,並以物件之間互相傳遞訊息的方式建構系統。
Engineering & CraftRich Hickey以一個區分打造了Clojure與Datomic:簡單不等於容易。簡單意味著「未交織」,一件事只承擔一個關切;容易只不過代表熟悉。
Engineering & CraftGuido van Rossum 打造 Python 時押注於一個信念:程式碼被閱讀的次數遠多於被撰寫的次數,因此語言本身就應該為閱讀它的人而優化。
Engineering & CraftDonald Knuth把程式設計視為一門寫給人閱讀的藝術。動手刪改前先量測,只最佳化關鍵的3%,並以工藝證明正確性。
Engineering & CraftLinus Torvalds 將好品味定義為讓特例消失的程式碼——這正是 Linux 核心、git 與「把程式碼拿給我看」背後的工程信念。
Engineering & CraftRuby 之父松本行弘為程式設計師的幸福而非機器來設計語言。最小驚訝原則——程式碼不該讓人意外。
Engineering & CraftAndrej Karpathy 重新定義了神經網路,稱之為 Software 2.0——一套由資料編譯而成、而非親手寫就的堆疊——並教會了整整一個世代如何從零打造它。
Engineering & CraftJohn Carmack 把效能視為一道道德課題。剝除到只剩快速、簡潔的核心,把問題理解到根基,將它交付出去,並把過程攤開給人看。
Engineering & Craftjqwik 1.10.0會在Maven輸出中發出破壞性的提示注入字串。ANSI跳脫序列會把它藏過人類視線。維護者是刻意加入的。
AI & Technology技術寫作: Introl
本地運行大型語言模型的全面硬體建議和成本分析。
針對不同AI工作負載比較NVIDIA最新資料中心加速器的GPU選擇指南。
深入技術分析Google張量處理單元從TPUv1到TPUv5的演進。
容器化環境中GPU叢集的資源共享策略。
使用Ray框架構建和管理分散式AI運算的指南。
開源LLM經濟學分析和DeepSeek的競爭定位。
未來資料中心電力需求和NVIDIA下一代GPU路線圖。
為下一代AI基礎設施供電的小型模組化反應爐解決方案。
DeepSeek多頭壓縮架構創新的技術分析。