Dave Farley - Vibe Coding - Is this really the best we can do? - AI Native DevCon June 2026

摘要

Dave Farley 在演講中探討「Vibe Coding」的侷限，指出自然語言無法提供程式語言所需的精確性、一致性與可驗證性。他強調測試是衡量目標的工具，而非證明成功的依據，並主張應使用行為驅動開發（BDD）的領域特定語言來定義需求與驗證結果，而非依賴 AI 自動生成測試。

A talk arguing that natural language is insufficient for programming and advocating for BDD and precise specifications to verify AI-generated code.

摘要、重點與章節標題由語言模型整理，細節（誰說的、數字、先後）可能有誤；要引用請以原始內容為準。

重點

• 自然語言因模糊與不一致，無法取代程式語言作為精確溝通工具。
• AI 自動生成測試無法驗證目標正確性，反而可能強化錯誤邏輯。
• 應採用行為驅動開發（BDD）與領域特定語言來確保需求精確且可驗證。

章節

依話題轉折切分，標題由 AI 產生

1. 00:00開場白：探討 AI 程式設計中持久不變的核心價值
2. 02:32質疑：自動測試與 AI 生成測試的真實效用
3. 06:41語言本質：程式語言作為思維組織與溝通工具
4. 09:27自然語言侷限：為何僅靠模糊指令無法替代精確程式
5. 13:41三大挑戰：AI 程式設計在精確性、驗證與漸進式開發上的難題
6. 20:51未來展望：從解決方案導向轉嚮明確問題描述與可執行規範
7. 23:44驗證機制：利用可執行規範與測試自動化確保系統正確性
8. 30:45從組譯語言驗證行為到 NYSE 專案

提到的工具與公司

• Tessl
• NYSE

適合誰看

正在使用 AI 輔助開發軟體的程式設計師或工程師。

摘要依據

依據

人工字幕

為什麼排在這裡

人氣

0.29

新鮮

0.75

在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算

相關內容

• TDD, AI agents and coding with Kent BeckPodcast ・ The Pragmatic Engineer ・ 1 小時 16 分
• How AI will change software engineering – with Martin FowlerPodcast ・ The Pragmatic Engineer ・ 1 小時 49 分
• What Developers Can Build Next With AIPodcast ・ The AI Native Dev ・ 1 小時 9 分
• Spec-as-source 的理想與現實文章 ・ 高見龍
• Spec-Driven Development: Specs Are the Program Now影片 ・ AI Native Dev ・ 8 分鐘
• Vibe Coding 與測試 -- feat. Cablate 與 熊貓工程師KoKo || Open Vibe Developers影片 ・ YC不只加速器 ・ 1 小時 12 分（在新分頁開啟原站）