休閑
-
經常用 Codex 後,我發現 AGENTS.md 隻該管一件事
讓 Codex 少走彎路:一份全局 AGENTS.md 的取舍Codex GPT-5.6、Claude Fable 這一代模型變強後,我反而開始刪 Prompt。以前總怕 AI 理解錯。恨不得把“先看 ...
-
AI 不會淘汰你,但會淘汰「隻會點發送」的那類人
同事小李用 AI 半小時拚完周報 ,會議室裏老板隻問了一句 :「第三段數據從哪來的?錯了你負責嗎?」小李愣住——他隻點了發送,從沒點開過鏈接 。這不是 AI 不行,是人把「會用 AI」和「能扛事」混成了一件 ...
-
數學建模第五課:從矩形麵積最大問題學會建立優化模型
在數學建模比賽中,優化模型是最常見的數學模型 。引言在實際問題中 ,優化模型是在一組約束條件下 ,使得具體目標的評判標準達到最優 :例如公司經理要根據生產成本和市場需求確定產品價格,使所獲利潤最高;調度人員要 ...
-
編程語言的「第三條道路」上,走得最遠的其實是 C#
"測試隻能證明 bug 的存在,卻永遠無法證明 bug 的缺席 。"—— Edsger Dijkstra寫在前麵最近讀到一篇基於 OCaml 之父 Xavier Leroy 深度訪談的文章 ,標題叫《編程 ...