焦點
-
代碼是 AI 寫的,生產事故誰背鍋?
最近在做 Code Review 的時候 ,我發現團隊裏越來越多的年輕工程師 ,開始頻繁提交一些看起來極其規整 、甚至連注釋都寫得完美無缺 ,但稍微往深了一看 ,業務邏輯根本跑不通的代碼 。問他們怎麽寫的 ,答案出 ...
-
AI 範式越遷:使用 XXL
AI 範式越遷 :使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟,業務交付範式正 ...
-
AI 範式越遷 :使用 XXL
AI 範式越遷:使用 XXL-BOOT SKILL 實現一句話直生業務從「一行 SQL 生成代碼」到「一句需求直生業務」——業務開發正式進入 AI 範式新時代。隨著大模型編程助手的成熟 ,業務交付範式正 ...
-
編程語言的「第三條道路」上,走得最遠的其實是 C#
"測試隻能證明 bug 的存在,卻永遠無法證明 bug 的缺席。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ,標題叫《編程 ...
-
AI到底聰明在哪——從手機人臉識別說起
這是 「AI是怎麽回事」係列的第 1篇 。我一直很好奇 AI 到底是怎麽工作的,於是花了很長時間去拆這個東西——手機為什麽換了發型還能認出你,ChatGPT 回答你的那三秒鍾裏究竟在算什麽,AI 為什麽 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試 、自動化運維、自動化運營和安全等一些工作 。自己做產品 、自己做設計、自己做開發 、自己驗收上線還是挺爽滴。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽,或者用了 ...
-
數學建模第五課:從矩形麵積最大問題學會建立優化模型
在數學建模比賽中,優化模型是最常見的數學模型 。引言在實際問題中,優化模型是在一組約束條件下,使得具體目標的評判標準達到最優:例如公司經理要根據生產成本和市場需求確定產品價格,使所獲利潤最高;調度人員要 ...
-
數學建模第五課:從矩形麵積最大問題學會建立優化模型
在數學建模比賽中,優化模型是最常見的數學模型。引言在實際問題中,優化模型是在一組約束條件下 ,使得具體目標的評判標準達到最優:例如公司經理要根據生產成本和市場需求確定產品價格 ,使所獲利潤最高;調度人員要 ...
-
Pretext:值得關注的文本排版引擎
Pretext 是一個用 TypeScript 實現的用於多行文本精確測量和布局的引擎 。不碰 DOM ,不觸發 reflow ,卻能完美匹配瀏覽器字體引擎在各種語言、emoji 、混合文字方向下的真實表現 。 ...
-
為什麽說WEB框架PasteApeart是AI Coding時代的黃金搭檔,從此開啟敏捷開發新思路
在AI代碼生成工具大行其道的今天 ,一個大膽的論斷正在開發者社區流傳 :有一個WEB框架,其開發效率可以超越AI 。這聽起來像是天方夜譚,但PasteApeart即升級版PasteForm)正將這一設想變為 ...
-
AI加持後2天時間將公司的運維自動化提高了一個層次
近期工作安排包括自動化測試、自動化運維 、自動化運營和安全等一些工作。自己做產品、自己做設計、自己做開發、自己驗收上線還是挺爽滴 。這其中工作簡單的就是自動化運維。但我今天真正要講的不是做了什麽,或者用了 ...
-
AI編程實戰 :博客建站+RAG知識庫
大家好 ,我是Java烘焙師。最近利用業餘時間,完成了博客建站+RAG知識庫的搭建,分享一下過程中遇到的選型問題、實現步驟。搭建博客站點和RAG知識庫的初衷,是因為日積月累寫了幾十篇技術文章,希望有一個 ...