工程哲學:Radia Perlman
Radia Perlman 發明了生成樹協定(Spanning Tree Protocol),打造出能自我修復的網路——無迴圈、能自我穩定,即便節點說謊也依然正確。把穩健性當成第一原則。
Engineering & Craft關於設計、開發、AI基礎設施和產品構建的思考。
Radia Perlman 發明了生成樹協定(Spanning Tree Protocol),打造出能自我修復的網路——無迴圈、能自我穩定,即便節點說謊也依然正確。把穩健性當成第一原則。
Engineering & CraftDemis Hassabis從第一原理打造通用智慧——以遊戲為試煉場、以神經科學為靈感——再將其指向蛋白質摺疊,最終贏得諾貝爾獎。
Engineering & CraftSalvatore Sanfilippo 圍繞單一原則打造了 Redis——少做一點。一個小巧、單執行緒、記憶體內的儲存系統,小到能裝進你的腦海,並以 C 語言寫成,供人閱讀。
Engineering & CraftGeoffrey Hinton 在整個領域訕笑類腦神經網路時,挺過了兩次 AI 寒冬而堅持押注——信念勝於潮流,直覺勝於形式化。
Engineering & CraftFoundation Models 給您的是 Apple 封裝完整的裝置端 LLM;MLX 則讓您在 Apple Silicon 上執行自己的模型——量化後的開放權重模型與 LoRA 微調成果。
AI & TechnologyAlan Kay透過轉換觀點發明了未來:把運算視為思考的媒介,並以物件之間互相傳遞訊息的方式建構系統。
Engineering & CraftLeslie Lamport 讓分散式系統成為一門科學:時間並非全域共享、因果關係才是真實存在的,而設計必須在動筆寫程式之前先行明確規範。
Engineering & CraftRich Hickey以一個區分打造了Clojure與Datomic:簡單不等於容易。簡單意味著「未交織」,一件事只承擔一個關切;容易只不過代表熟悉。
Engineering & CraftEdsger Dijkstra 將簡潔視為正確性的前提,並認為證明優於測試——優雅不是可選項,而是整門學問本身。
Engineering & CraftBjarne Stroustrup 以「零開銷原則」打造 C++:絕不在表達力與貼近硬體的速度之間二選一。好的抽象不應付出任何代價。
Engineering & CraftGrace Hopper打造了第一個編譯器,讓程式得以用人類語言書寫;她用一段電線把延遲化為實體,並終生對抗陳腐的教條。
Engineering & CraftTim Berners-Lee發明了全球資訊網,並將它無償奉獻出去:普及性與免許可的去中心化——任何人、在任何地方都能發布與連結,無需請求許可。
Engineering & Craft技術寫作: Introl
本地運行大型語言模型的全面硬體建議和成本分析。
針對不同AI工作負載比較NVIDIA最新資料中心加速器的GPU選擇指南。
深入技術分析Google張量處理單元從TPUv1到TPUv5的演進。
容器化環境中GPU叢集的資源共享策略。
使用Ray框架構建和管理分散式AI運算的指南。
開源LLM經濟學分析和DeepSeek的競爭定位。
未來資料中心電力需求和NVIDIA下一代GPU路線圖。
為下一代AI基礎設施供電的小型模組化反應爐解決方案。
DeepSeek多頭壓縮架構創新的技術分析。