焦點
-
AI 編碼 Agent 從原理到可運行代碼
1. 概述過去五年,開發者與 AI 的關係被「Tab 鍵」定義 :模型猜下一行,人決定接不接受。GitHub Copilot 把這件事做到了極致,也把很多人鎖在一個錯誤心智模型裏——以為 AI 寫代碼的 ...
-
編程語言的「第三條道路」上 ,走得最遠的其實是 C#
"測試隻能證明 bug 的存在,卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章,標題叫《編程 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維 、自動化運營和安全等一些工作 。自己做產品 、自己做設計 、自己做開發 、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維 。但我今天真正要講的不是做了什麽 ,或者用了 ...