從 Lamport 時鐘、Paxos 演算法到拜占庭將軍問題。帶您回顧電腦科學巨擘 Leslie Lamport 的輝煌軌跡。
透過 KPI、學校教育、社群媒體、AI 評估等具體案例，深入探討成為目標的指標如何失去其原有價值，並導致系統崩潰。
深入探討 SOLID 中'利斯科夫替換原則'的背景，以及芭芭拉·利斯科夫的足跡與她對抽象資料型別及分散式系統的貢獻。
描繪 HTTP、HTML 與開放 Web 的思想。
GUI、滑鼠、乙太網路、Smalltalk的發明故事。
半導體與電腦歷史的根基。詳細解說從真空管的極限到貝爾實驗室的發明，以及矽谷的誕生。
橫跨Intel、AMD、Apple與NVIDIA的企業史。深入探討x86、ARM、RISC-V的歷史性架構之爭、行動市場的霸權、Apple Silicon的衝擊，以及開源ISA RISC-V的登場與其地緣政治及技術上的意義。
離散餘弦轉換與人類視覺的連結。從JPEG壓縮的數學基礎深入探討到現代WebP/AVIF的譜系。
從 Adobe 的 PostScript 開始，經歷跨越 OS 差異共享文件的 Camelot Project，為您解析成為數位文件世界標準的 PDF 歷史與技術演進。
從ASCII、Shift_JIS、UTF-8到表情符號的故事。
規格林立、供電、以及與 Thunderbolt 的關係。
作為不依賴供應商的標準化可觀測性基礎設施的維運解說。
GitHub Actions 與 CI/CD 軟體供應鏈防禦完整指南。從 SolarWinds 事件的教訓出發，徹底解說 SBOM (SPDX/CycloneDX) 的生成與管理、SLSA 的 4 個層級，以及如何使用 Sigstore 實作簽章驗證。
AI 代理的進化、ReAct 模式、Plan-and-Solve、記憶機制、反思 (Reflection)，以及多代理系統，構建次世代 AI 系統的全面指南
深入探討 llama.cpp 與量化技術。從記憶體頻寬瓶頸到 PagedAttention、Speculative Decoding，全面解析 Transformer 推論的瓶頸與最新的最佳化技術。
