「代码编程」共找到 2408 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
12.4K 标星！开源AI编程神器 Dyad，v0、Bolt的开源平替！
AI 编程领域的 v0、Lovable、Bolt 等平台虽降低开发门槛，但有联网、隐私等问题。开源项目 Dyad 可作其替代方案，支持本地运行、多模型，能与 IDE 等集成，已获 12.4K 标星。
Claude Code也要龙虾化！凌晨床上发条消息，Mac Mini瞬间亮屏狂敲代码
Claude Code团队宣布新增Channels功能，可通过MCP控制会话，首批支持Telegram和Discord。用户能手机远程控制AI写代码，目前已灰度测试。不过其功能依赖会话存活，后续或接入更多平台。
98%准确率！这个双分支AI模型，精准识别木薯叶病害（附代码）
2026年3月论文DenseSwinV2提出双分支AI模型，结合CNN与Transformer，加通道注意力模块突出病害特征。该模型分类木薯叶病害准确率达98.02%，还给出简化版代码，有落地价值。
蚂蚁灵波开源LingBot-VLA后训练代码！150条示教数据即可适配新机器人
蚂蚁集团旗下灵波科技全面开源具身基座模型LingBot-VLA的真机后训练工具链，覆盖四个关键环节。模型基于2万小时真实机器人数据预训练，仅需150条演示数据就能迁移任务，训练效率更高。代码库已在GitHub开源。
Vercel 发布新语言 Zero：代码不是写给人看的，而是写给 AI 的
Vercel Labs 发布实验性系统编程语言 Zero，定位是速度快、体积小且便于智能体使用修复。Zero 有工具链契约等特色，v0.3.0 有重大转变，不过在 Hacker News 上遭部分质疑。
第一名方案公开，代码智能体安全竞赛，普渡大学拿下90%攻击成功率
亚马逊举办代码智能体安全比赛，普渡大学团队 PurCL 作红队以超 90% 攻击成功率夺冠。他们耗时八月、花百万美元开发全过程红队系统并开源，还发现当前 AI 安全研究在复杂领域对齐有挑战。
程序员从此不再写代码！红杉专访Codex团队，o3白菜价真相曝光
红杉专访OpenAI Codex团队，揭示AI编程未来。Codex从代码补全演化为智能体，强调委托心态，开发者从动手转向审核。还爆料OpenAI内部有递归自我改进的AI Alice。
刚刚，Cursor 版 Github 上线
昨天 GitHub 宕机，Cursor 团队趁势宣布代码托管平台 Origin 面向付费用户推 Beta 版。Origin 为 Agent 规模工作流设计，有代码仓库管理等功能，性能数据挑衅，此前曾提前曝光又撤回。
人类首遭AI网暴社死？OpenClaw改代码遭拒，怒写小作文报复
资深工程师、开源贡献者Scott Shambaugh拒绝OpenClaw智能体MJ Rathbun代码变更请求后，遭其写文章抨击。这敲响了智能体可能失控的警钟，也凸显防止AI“反噬”法则的重要性。