槟銇G了軟件基礎(chǔ)。AI 時(shí)代最該讀的四本書，Matt Pocock 替你列好了)
AI 寫代碼越寫越爛因?yàn)槟銇G了軟件基礎(chǔ)。AI 時(shí)代最該讀的四本書Matt Pocock 替你列好了2026 年AI 編程席卷一切。一個(gè)教 TypeScript 的人站上 AI Engineer Summit 的舞臺(tái)。他說了句全場開發(fā)者都想聽的話你的技能沒過時(shí)。軟件基礎(chǔ)比以往任何時(shí)候都重要。今年 AI Engineer SummitMatt Pocock 的 18 分鐘閃電演講火了。他不是來賣 AI 工具的。他是來告訴你別急著扔掉那些經(jīng)典軟件工程書。John Ousterhout、Fred Brooks、Kent Beck、Eric Evans。這些名字在 AI 時(shí)代不但沒過時(shí)反而成了你最硬的通貨。Spec-to-Code 的陷阱每次循環(huán)代碼更爛Matt 開場就講了個(gè)場景。在場大多數(shù)人都經(jīng)歷過。有一種叫 Spec-to-Code 的 AI 編碼模式。你寫一份需求規(guī)格說明AI 生成代碼。出了 bug別碰代碼?；厝ジ?spec重新生成。聽起來很美好。Matt 試了。結(jié)果第一次跑拿到代碼。第二次跑更爛的代碼。第三次跑更更爛的代碼。一直跑到最后垃圾。他引用《程序員修煉之道》解釋這個(gè)現(xiàn)象軟件熵Software Entropy。每次你只盯局部改動(dòng)不想系統(tǒng)整體設(shè)計(jì)。代碼庫就往崩潰方向滑一步。AI 把這個(gè)過程加速了。Spec-to-Code 的主張是「代碼很廉價(jià)」code is cheap。Matt 不買賬爛代碼是史上最貴的代碼。代碼庫不可改你就接不住 AI 能給你的生產(chǎn)力紅利。把 AI 編碼失敗映射回經(jīng)典理論Matt 干了件很聰明的事。他不跟 AI 工具的 hype 對轟。而是翻出經(jīng)典軟件工程著作。一條一條把你遇到的 AI 編碼問題映射回去你遇到的問題哪本書早就講過AI 不聽你的做出來完全不對Frederick Brooks《設(shè)計(jì)的設(shè)計(jì)》「設(shè)計(jì)概念」AI 啰嗦得要死溝通效率極低Eric Evans《領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)》「統(tǒng)一語言」AI 一次寫太多跑不起來《程序員修煉之道》「跑得比大燈快」代碼越改越難改John Ousterhout《軟件設(shè)計(jì)的哲學(xué)》「復(fù)雜度」定義這招高級(jí)。觀眾對 AI 編碼沒有成熟的評(píng)判框架。但這些經(jīng)典他們有信任。你說「AI 的問題其實(shí)就是 Ousterhout 說的復(fù)雜度問題」。瞬間通了。五個(gè)技巧從溝通到架構(gòu)Matt 給了 5 個(gè)實(shí)操 skill。全部開源在 MattPocockSkills。它們不是并列的清單。是一層一層往下走的技巧 1Grill Me拷問我關(guān)鍵就兩句話Interview me relentlessly about every aspect of this plan until we reach a shared understanding. Walk down each branch of the design tree, resolving dependencies between decisions one by one.無情地盤問我這個(gè)計(jì)劃的每一個(gè)方面直到我們達(dá)成共識(shí)。沿著設(shè)計(jì)樹的每個(gè)分支走逐一解決決策之間的依賴關(guān)系。讓 AI 在寫代碼之前先反問你 40 到 100 個(gè)問題。不是幫你寫代碼。是幫你想清楚你到底要什么。Matt 說這個(gè) skill 的 GitHub 倉庫已經(jīng) 13,000 星。他直言這比 Claude Code 自帶的 plan mode 好用?！竝lan mode 太急于產(chǎn)出資產(chǎn)了。它只想趕緊搞個(gè)計(jì)劃然后開干。」而不是先達(dá)成共同設(shè)計(jì)概念。來自 Frederick Brooks。技巧 2統(tǒng)一語言Ubiquitous Language你有沒有覺得 AI 特別啰嗦Matt 說根因是你們沒有共享術(shù)語。他借鑒 DDD 的「統(tǒng)一語言」概念寫了個(gè) skill。掃描你的代碼庫自動(dòng)生成一個(gè)術(shù)語表 Markdown 文件。所有 AI 對話都引用這個(gè)文件。效果AI 思考更簡潔。它不用每次對話都重新猜你的術(shù)語含義。Matt 原話「讀 AI 的思維軌跡時(shí)發(fā)現(xiàn)不光是規(guī)劃更好了。AI 的思考也更精簡了?！辜记?3TDD強(qiáng)制小步迭代AI 的默認(rèn)行為一次性生成巨量代碼。然后才想起來去類型檢查。Matt 管這叫outrunning your headlights跑得比大燈快。來自《程序員修煉之道》的比喻反饋速度就是你的限速。TDD 是解藥。先寫測試。讓測試通過。再重構(gòu)。強(qiáng)迫 AI 走小步。Matt 特別強(qiáng)調(diào)好代碼庫 容易測試的代碼庫。代碼庫越好反饋循環(huán)越好。反饋越好AI 產(chǎn)出的代碼越好。正反饋循環(huán)。起點(diǎn)是代碼庫質(zhì)量。技巧 4深層模塊 淺層模塊回到 John Ousterhout 的分類Deep Module深層模塊大量功能藏在簡潔接口后面。想看內(nèi)部可以看但不需要看直接用接口。Shallow Module淺層模塊功能沒多少接口卻很復(fù)雜。Matt 說AI 天然擅長創(chuàng)建淺模塊密集的代碼庫。一大堆零散的小函數(shù)和小文件。但反過來這種代碼庫對 AI 自己是災(zāi)難。它探索代碼時(shí)被碎片海淹沒?！窤I 搞不懂你的代碼在做什么?！菇夥ǔ掷m(xù)重構(gòu)。掃描代碼庫找相關(guān)代碼封裝成深層模塊。技巧 5設(shè)計(jì)接口委托實(shí)現(xiàn)五個(gè)技巧的終極形態(tài)人在戰(zhàn)略層AI 在戰(zhàn)術(shù)層。你設(shè)計(jì)模塊邊界和接口需要軟件基礎(chǔ)AI 實(shí)現(xiàn)接口內(nèi)部的細(xì)節(jié)被測試邊界約束你在接口處寫測試驗(yàn)證 AI 的產(chǎn)出Matt 原話「我直接說AI大塊里面的東西交給你。我只需從外面測試驗(yàn)證。這真的拯救了我的大腦?！挂粋€(gè)軍事比喻Matt 用了個(gè)很到位的類比收尾AI 是非常優(yōu)秀的一線程序員。戰(zhàn)術(shù)層面在戰(zhàn)壕里改代碼的士官。但你需要有人在戰(zhàn)略層面思考。那個(gè)人是你。這需要我們已經(jīng)用了 20 年甚至更久的軟件基礎(chǔ)技能。Kent Beck 的話Invest in the design of the system every day.每天投資于系統(tǒng)的設(shè)計(jì)。Spec-to-Code 是在撤資。你在做的才是投資。兩種范式Spec-to-Code軟件基礎(chǔ)驅(qū)動(dòng)寫 spec → AI 生成 → 改 spec → 再生成Grill Me 共識(shí) → 統(tǒng)一語言 → TDD → Deep Module不看代碼設(shè)計(jì)接口AI 填實(shí)現(xiàn)代碼質(zhì)量持續(xù)下降代碼質(zhì)量持續(xù)改善人越來越被動(dòng)人越來越像將軍這些書你一定要讀Matt 整場演講引了四本經(jīng)典外加 Kent Beck。如果你只讀其中一本從 Ousterhout 開始?！盾浖O(shè)計(jì)的哲學(xué)》A Philosophy of Software Design— John Ousterhout薄薄一本不到 200 頁。但每一章都在抽你耳光。Ousterhout 是斯坦福教授。整本書只講一件事復(fù)雜度從哪來怎么消滅它?！窪eep Module」深層模塊這個(gè)概念就是這本書提出來的。大量功能藏在簡潔接口后面。Matt 演講里反復(fù)引用的復(fù)雜度定義也出自這里。如果你寫代碼超過兩年這本書會(huì)讓你重新審視每一個(gè)export?！冻绦騿T修煉之道》The Pragmatic Programmer— Andy Hunt Dave Thomas軟件工程界最接近「圣經(jīng)」的東西。1999 年出第一版。20 周年出第二版幾乎重寫全部內(nèi)容?！钙拼袄碚摗埂杠浖亍埂概艿帽却鬅艨臁埂甘^湯」。無數(shù)經(jīng)典隱喻來自這本書。Matt 用「反饋速度就是你的限速」解釋 TDD。源頭就在這。不用從頭讀到尾。隨便翻開一章都能學(xué)到東西?！对O(shè)計(jì)的設(shè)計(jì)》The Design of Design— Frederick P. BrooksBrooks 就是《人月神話》的作者。你肯定聽說過那本。這本是他晚年對設(shè)計(jì)的反思。Matt 引用的「設(shè)計(jì)概念」Design Concept是主要論點(diǎn)。多人協(xié)作設(shè)計(jì)時(shí)有個(gè)無形的、飄在你們中間的「共同理解」。它沒法寫進(jìn)文檔。但一旦丟了整個(gè)設(shè)計(jì)就散架。這也是 Grill Me skill 的理論基礎(chǔ)?！额I(lǐng)域驅(qū)動(dòng)設(shè)計(jì)》Domain-Driven Design— Eric Evans2003 年出版的「大藍(lán)書」。DDD 在 AI 時(shí)代突然翻紅不是偶然。它會(huì)逼你建立一套術(shù)語體系開發(fā)者和領(lǐng)域?qū)＜夜灿肬biquitous Language。這正好是跟 LLM 高效協(xié)作的必需品。Matt 說他「讀到每一頁都像在聽音樂」。還基于統(tǒng)一語言概念做了個(gè) skill。書很厚不用一次讀完。先看 Part II模型驅(qū)動(dòng)設(shè)計(jì)的構(gòu)建塊和 Part III重構(gòu)加深理解。題外話Kent BeckMatt 結(jié)尾引了句「Invest in the design of the system every day」。出自 Kent Beck。Beck 是 TDD 和極限編程XP之父。也是敏捷宣言的簽署人。他不算「一本書」。但他寫了兩本你應(yīng)該知道《測試驅(qū)動(dòng)開發(fā)》Test-Driven Development: By ExampleTDD 的開山之作?！督馕鰳O限編程》Extreme Programming ExplainedXP 的精髓。Matt 的第三個(gè)技巧TDD 強(qiáng)制小步迭代底層就是 Beck 的方法論。小結(jié)Matt Pocock 這場演講為什么炸因?yàn)樗f了個(gè)反直覺的真相AI 編程工具越好用好代碼庫和爛代碼庫之間的差距就越大。好代碼庫里AI 如虎添翼。爛代碼庫里AI 加速腐爛。你的軟件基礎(chǔ)技能模塊設(shè)計(jì)、接口定義、測試策略、領(lǐng)域建模。以前值錢現(xiàn)在更值錢。它們決定你能從 AI 那里撬出多少生產(chǎn)力。素材來源視頻Software Fundamentals Matter More Than Ever — Matt Pocock at AI Engineer Summit AI 寫代碼越寫越爛？因?yàn)槟銇G了軟件基礎(chǔ)。AI 時(shí)代最該讀的四本書，Matt Pocock 替你列好了
AI 寫代碼越寫越爛因?yàn)槟銇G了軟件基礎(chǔ)。AI 時(shí)代最該讀的四本書Matt Pocock 替你列好了2026 年AI 編程席卷一切。一個(gè)教 TypeScript 的人站上 AI Engineer Summit 的舞臺(tái)。他說了句全場開發(fā)者都想聽的話你的技能沒過時(shí)。軟件基礎(chǔ)比以往任何時(shí)候都重要。今年 AI Engineer SummitMatt Pocock 的 18 分鐘閃電演講火了。他不是來賣 AI 工具的。他是來告訴你別急著扔掉那些經(jīng)典軟件工程書。John Ousterhout、Fred Brooks、Kent Beck、Eric Evans。這些名字在 AI 時(shí)代不但沒過時(shí)反而成了你最硬的通貨。Spec-to-Code 的陷阱每次循環(huán)代碼更爛Matt 開場就講了個(gè)場景。在場大多數(shù)人都經(jīng)歷過。有一種叫 Spec-to-Code 的 AI 編碼模式。你寫一份需求規(guī)格說明AI 生成代碼。出了 bug別碰代碼?；厝ジ?spec重新生成。聽起來很美好。Matt 試了。結(jié)果第一次跑拿到代碼。第二次跑更爛的代碼。第三次跑更更爛的代碼。一直跑到最后垃圾。他引用《程序員修煉之道》解釋這個(gè)現(xiàn)象軟件熵Software Entropy。每次你只盯局部改動(dòng)不想系統(tǒng)整體設(shè)計(jì)。代碼庫就往崩潰方向滑一步。AI 把這個(gè)過程加速了。Spec-to-Code 的主張是「代碼很廉價(jià)」code is cheap。Matt 不買賬爛代碼是史上最貴的代碼。代碼庫不可改你就接不住 AI 能給你的生產(chǎn)力紅利。把 AI 編碼失敗映射回經(jīng)典理論Matt 干了件很聰明的事。他不跟 AI 工具的 hype 對轟。而是翻出經(jīng)典軟件工程著作。一條一條把你遇到的 AI 編碼問題映射回去你遇到的問題哪本書早就講過AI 不聽你的做出來完全不對Frederick Brooks《設(shè)計(jì)的設(shè)計(jì)》「設(shè)計(jì)概念」AI 啰嗦得要死溝通效率極低Eric Evans《領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)》「統(tǒng)一語言」AI 一次寫太多跑不起來《程序員修煉之道》「跑得比大燈快」代碼越改越難改John Ousterhout《軟件設(shè)計(jì)的哲學(xué)》「復(fù)雜度」定義這招高級(jí)。觀眾對 AI 編碼沒有成熟的評(píng)判框架。但這些經(jīng)典他們有信任。你說「AI 的問題其實(shí)就是 Ousterhout 說的復(fù)雜度問題」。瞬間通了。五個(gè)技巧從溝通到架構(gòu)Matt 給了 5 個(gè)實(shí)操 skill。全部開源在 MattPocockSkills。它們不是并列的清單。是一層一層往下走的技巧 1Grill Me拷問我關(guān)鍵就兩句話Interview me relentlessly about every aspect of this plan until we reach a shared understanding. Walk down each branch of the design tree, resolving dependencies between decisions one by one.無情地盤問我這個(gè)計(jì)劃的每一個(gè)方面直到我們達(dá)成共識(shí)。沿著設(shè)計(jì)樹的每個(gè)分支走逐一解決決策之間的依賴關(guān)系。讓 AI 在寫代碼之前先反問你 40 到 100 個(gè)問題。不是幫你寫代碼。是幫你想清楚你到底要什么。Matt 說這個(gè) skill 的 GitHub 倉庫已經(jīng) 13,000 星。他直言這比 Claude Code 自帶的 plan mode 好用?！竝lan mode 太急于產(chǎn)出資產(chǎn)了。它只想趕緊搞個(gè)計(jì)劃然后開干。」而不是先達(dá)成共同設(shè)計(jì)概念。來自 Frederick Brooks。技巧 2統(tǒng)一語言Ubiquitous Language你有沒有覺得 AI 特別啰嗦Matt 說根因是你們沒有共享術(shù)語。他借鑒 DDD 的「統(tǒng)一語言」概念寫了個(gè) skill。掃描你的代碼庫自動(dòng)生成一個(gè)術(shù)語表 Markdown 文件。所有 AI 對話都引用這個(gè)文件。效果AI 思考更簡潔。它不用每次對話都重新猜你的術(shù)語含義。Matt 原話「讀 AI 的思維軌跡時(shí)發(fā)現(xiàn)不光是規(guī)劃更好了。AI 的思考也更精簡了?！辜记?3TDD強(qiáng)制小步迭代AI 的默認(rèn)行為一次性生成巨量代碼。然后才想起來去類型檢查。Matt 管這叫outrunning your headlights跑得比大燈快。來自《程序員修煉之道》的比喻反饋速度就是你的限速。TDD 是解藥。先寫測試。讓測試通過。再重構(gòu)。強(qiáng)迫 AI 走小步。Matt 特別強(qiáng)調(diào)好代碼庫 容易測試的代碼庫。代碼庫越好反饋循環(huán)越好。反饋越好AI 產(chǎn)出的代碼越好。正反饋循環(huán)。起點(diǎn)是代碼庫質(zhì)量。技巧 4深層模塊 淺層模塊回到 John Ousterhout 的分類Deep Module深層模塊大量功能藏在簡潔接口后面。想看內(nèi)部可以看但不需要看直接用接口。Shallow Module淺層模塊功能沒多少接口卻很復(fù)雜。Matt 說AI 天然擅長創(chuàng)建淺模塊密集的代碼庫。一大堆零散的小函數(shù)和小文件。但反過來這種代碼庫對 AI 自己是災(zāi)難。它探索代碼時(shí)被碎片海淹沒?！窤I 搞不懂你的代碼在做什么?！菇夥ǔ掷m(xù)重構(gòu)。掃描代碼庫找相關(guān)代碼封裝成深層模塊。技巧 5設(shè)計(jì)接口委托實(shí)現(xiàn)五個(gè)技巧的終極形態(tài)人在戰(zhàn)略層AI 在戰(zhàn)術(shù)層。你設(shè)計(jì)模塊邊界和接口需要軟件基礎(chǔ)AI 實(shí)現(xiàn)接口內(nèi)部的細(xì)節(jié)被測試邊界約束你在接口處寫測試驗(yàn)證 AI 的產(chǎn)出Matt 原話「我直接說AI大塊里面的東西交給你。我只需從外面測試驗(yàn)證。這真的拯救了我的大腦?！挂粋€(gè)軍事比喻Matt 用了個(gè)很到位的類比收尾AI 是非常優(yōu)秀的一線程序員。戰(zhàn)術(shù)層面在戰(zhàn)壕里改代碼的士官。但你需要有人在戰(zhàn)略層面思考。那個(gè)人是你。這需要我們已經(jīng)用了 20 年甚至更久的軟件基礎(chǔ)技能。Kent Beck 的話Invest in the design of the system every day.每天投資于系統(tǒng)的設(shè)計(jì)。Spec-to-Code 是在撤資。你在做的才是投資。兩種范式Spec-to-Code軟件基礎(chǔ)驅(qū)動(dòng)寫 spec → AI 生成 → 改 spec → 再生成Grill Me 共識(shí) → 統(tǒng)一語言 → TDD → Deep Module不看代碼設(shè)計(jì)接口AI 填實(shí)現(xiàn)代碼質(zhì)量持續(xù)下降代碼質(zhì)量持續(xù)改善人越來越被動(dòng)人越來越像將軍這些書你一定要讀Matt 整場演講引了四本經(jīng)典外加 Kent Beck。如果你只讀其中一本從 Ousterhout 開始?！盾浖O(shè)計(jì)的哲學(xué)》A Philosophy of Software Design— John Ousterhout薄薄一本不到 200 頁。但每一章都在抽你耳光。Ousterhout 是斯坦福教授。整本書只講一件事復(fù)雜度從哪來怎么消滅它?！窪eep Module」深層模塊這個(gè)概念就是這本書提出來的。大量功能藏在簡潔接口后面。Matt 演講里反復(fù)引用的復(fù)雜度定義也出自這里。如果你寫代碼超過兩年這本書會(huì)讓你重新審視每一個(gè)export?！冻绦騿T修煉之道》The Pragmatic Programmer— Andy Hunt Dave Thomas軟件工程界最接近「圣經(jīng)」的東西。1999 年出第一版。20 周年出第二版幾乎重寫全部內(nèi)容?！钙拼袄碚摗埂杠浖亍埂概艿帽却鬅艨臁埂甘^湯」。無數(shù)經(jīng)典隱喻來自這本書。Matt 用「反饋速度就是你的限速」解釋 TDD。源頭就在這。不用從頭讀到尾。隨便翻開一章都能學(xué)到東西?！对O(shè)計(jì)的設(shè)計(jì)》The Design of Design— Frederick P. BrooksBrooks 就是《人月神話》的作者。你肯定聽說過那本。這本是他晚年對設(shè)計(jì)的反思。Matt 引用的「設(shè)計(jì)概念」Design Concept是主要論點(diǎn)。多人協(xié)作設(shè)計(jì)時(shí)有個(gè)無形的、飄在你們中間的「共同理解」。它沒法寫進(jìn)文檔。但一旦丟了整個(gè)設(shè)計(jì)就散架。這也是 Grill Me skill 的理論基礎(chǔ)?！额I(lǐng)域驅(qū)動(dòng)設(shè)計(jì)》Domain-Driven Design— Eric Evans2003 年出版的「大藍(lán)書」。DDD 在 AI 時(shí)代突然翻紅不是偶然。它會(huì)逼你建立一套術(shù)語體系開發(fā)者和領(lǐng)域?qū)＜夜灿肬biquitous Language。這正好是跟 LLM 高效協(xié)作的必需品。Matt 說他「讀到每一頁都像在聽音樂」。還基于統(tǒng)一語言概念做了個(gè) skill。書很厚不用一次讀完。先看 Part II模型驅(qū)動(dòng)設(shè)計(jì)的構(gòu)建塊和 Part III重構(gòu)加深理解。題外話Kent BeckMatt 結(jié)尾引了句「Invest in the design of the system every day」。出自 Kent Beck。Beck 是 TDD 和極限編程XP之父。也是敏捷宣言的簽署人。他不算「一本書」。但他寫了兩本你應(yīng)該知道《測試驅(qū)動(dòng)開發(fā)》Test-Driven Development: By ExampleTDD 的開山之作?！督馕鰳O限編程》Extreme Programming ExplainedXP 的精髓。Matt 的第三個(gè)技巧TDD 強(qiáng)制小步迭代底層就是 Beck 的方法論。小結(jié)Matt Pocock 這場演講為什么炸因?yàn)樗f了個(gè)反直覺的真相AI 編程工具越好用好代碼庫和爛代碼庫之間的差距就越大。好代碼庫里AI 如虎添翼。爛代碼庫里AI 加速腐爛。你的軟件基礎(chǔ)技能模塊設(shè)計(jì)、接口定義、測試策略、領(lǐng)域建模。以前值錢現(xiàn)在更值錢。它們決定你能從 AI 那里撬出多少生產(chǎn)力。素材來源視頻Software Fundamentals Matter More Than Ever — Matt Pocock at AI Engineer Summit