暌違16載，亞馬遜云科技副總裁兼首席布道師Jeff Barr再度踏上中國土地。16年前，他為中國開發者播撒下云計算的種子；如今，Vibe Coding浪潮席卷、Agentic AI嶄露頭角，中國在短時間內取得的巨大進展令他驚嘆不已。帶著對下一代軟件開發的深度思考，他再次走進中國開發者社區，與開發者們共話技術未來。

在Jeff Barr長達50多年的職業生涯里，他見證了技術領域的無數變遷與創新。過去20年，他最為人熟知的身份是亞馬遜云科技官方博客的撰稿人。從2004年到2024年，他撰寫了約150萬字的博客文章，足跡遍布世界各地，進行了多場演講，被贊譽為“云計算的原點見證者”。

近一年來，Jeff Barr在與全球開發者交流時發現，大家對AI未來的熱情空前高漲。他直言，這或許是過去20年軟件開發領域遭遇的最大變革。在這場變革中，各個維度的認知方式都在迅速改變，開發模式層面尤為顯著。

傳統開發模式下，開發者通過閱讀文檔手冊了解系統；而新興開發模式更注重實踐積累經驗。開發意圖的呈現方式也發生了巨大演變，從高級語言向編程助手進階。應用程序本身也出現變化，部分應用生命周期短暫，甚至一次性使用，無需維護。開發者如今更多維護客戶需求、參數和規范的不同版本，數據和數據庫的價值愈發凸顯。同時，開發者角色也在轉變，小型團隊或獨立開發者具備構建完整應用的能力，未來開發者將更趨向全棧發展，成為技術通才。

當下開發世界正呈現出新的景象。開發者和客戶面對面交流，打開代碼開發工具，邊溝通邊操作，短短幾個小時內就能構建出介于原型和生產級軟件之間的首個版本。這種快速將想法變為現實的能力，讓過去復雜冗長的開發流程顯得不再必要。

Jeff Barr認為，在AI時代，創新節奏會不斷加快。軟件領域與硬件領域類似，存在良性循環機制。每一代硬件推動下一代產品研發速度提升，軟件領域也是如此，代際時間間隔逐漸縮短。

作為今年軟件圈的熱門概念，Vibe Coding憑借對開發范式的革新潛力備受關注。實際應用中，它大幅降低了開發準入門檻，顯著提升了開發效率。然而，它也存在不可預測的代碼生成結果、頻發的錯誤漏洞以及可維護性難題等隱憂。

Jeff Barr表示，Vibe Coding本身并無問題，對于中小型應用，尤其是單人開發的情況，效果顯著且高效強大。但當項目規模擴大到團隊協作的大型項目時，其局限性就會顯現，無法提供足夠的結構性支撐。

為解決這一問題，亞馬遜云科技在Kiro中推出“spec”模型，即規范驅動的開發模式。Kiro提供兩種使用模式，中小型應用可采用Vibe Coding模式，需要嚴謹結構化開發時可切換至規范驅動模式。開發者通過與Kiro交互編寫規范，從簡短需求描述開始，與AI多輪對話完善技術規格。

除AI驅動的編程助手外，代碼形式化驗證模型也值得關注。這是一種通過數學方法證明程序正確性的技術，能確保代碼嚴格遵循設計規范。亞馬遜云科技內部多個開發團隊已廣泛應用該技術，有效提升了應用程序與系統的質量。Kiro的設計理念正是幫助開發者快速高效地將原型投入生產環境，它協助開發者將簡要描述擴展為詳盡技術規范，再通過后臺Agent集群轉化為具體實現，且始終由開發者主導整個過程。

Jeff Barr介紹，今年早些時候在印度，大家討論了“單人獨角獸”概念，即由一個開發者建立的公司。雖現實中尚未出現，但他相信隨著AI工具不斷發展，有生之年或許能看到一個人成就一家10億美元的公司。

當下是開發者的黃金時代，開發環境包容各類開發者和多樣開發方式，為不同背景和風格的開發者提供了廣闊空間。Jeff Barr認為，開發者是創建未來的人。他拉長時間尺度，羅列過去不同時期的開發工具及當下AI對開發工具的影響和幫助，讓人們全面審視當下的挑戰與機遇。

他指出，目前所做的是將軟件行業幾十年的發明、創新、創造力以及經驗成果匯聚整合成一個模型?，F有技術依然重要且貼近現實，很多工具并未取代過去的服務，反而讓它們更有價值、更便于使用。AI工具能幫助開發者更好地與客戶連接，讓他們更有雄心創建更大規模的應用和程序。

在與世界各地開發者交流中，Jeff Barr發現大家既有相同之處也有相異之處。他堅信，未來成功的開發者需具備強人際溝通能力。過去開發者主要與機器溝通，未來則要更開放、善于社交，有效與客戶、同事及開發程序助手溝通。同時，開發者既要確保現有技術能力扎實，又要緊跟技術發展，實時了解創新趨勢，提升理解和學習AI工具編寫代碼的能力，從主要編寫代碼轉向主要閱讀代碼。Jeff Barr表示，AI思維更具雄心和遠見，能讓人從更大格局思考和解決重大問題。云與AI組合將賦予個人開發者更大控制力和能力，未來十年必將精彩紛呈。