「程序理论」共找到 394 篇相关文章
狂涨 10.3k star！共享虚拟浏览器，太酷了！
今天分享项目`Neko`，是基于Docker的虚拟浏览器，用WebRTC技术服务。能在安全隔离环境上网、浏览、运行程序，适合和人共享页面，可一起观影、购物、协同工作，目前在Github获10.3K star。
再见，程序员！硅谷全员AI Coding，卡帕西宣告9级地震来了
2025年12月27日，Andrej Karpathy推文指出软件工程职业正被重塑，引发开发者恐慌。知名博主Theo称该领域已到永久性拐点，现在70% - 90%代码由AI生成，程序员角色将重构，还给出应对指南。
手术刀式去噪突破LLM能力上限，从头预训练模型下游任务平均提高7.2% | 中科院＆阿里
中科院计算所与阿里Qwen等团队联合提出RefineX框架，通过程序化编辑任务实现预训练数据精炼。它将专家指导结果蒸馏为删除程序，训练优化模型。用其净化数据训练模型，下游任务平均提高7.2%。
猹与猹发布丨好产品，值得被更多人看见！
猹与猹团队分享过去一年进展，先做AI产品大众点评「观猹」，举办黑客松活动，发布「TokenDance」。针对产品增长和内容创作痛点推出「猹与猹」，用OMG理论助AI团队，孵化优质内容。
图灵奖得主首度入局中国物理AI公司：曹操出行凭什么？｜甲子光年
Robotaxi行业竞争重点转向安全可信能力建设。6月29日，图灵奖得主约瑟夫·希发基思出任曹操出行AI创新中心首席科学顾问，其理论可补全自动驾驶可信论证体系，助曹操出行搭建全链路可信AI底层安全框架。
本科必学Dijkstra算法被超越！清华段然团队打破图灵奖得主证明的普遍最优性
本科经典算法Dijkstra被清华段然团队超越，新算法运行速度比任何Dijkstra及其改进算法都快，还解决了“排序障碍”问题。该算法改进了图灵奖得主Tarjan的算法，在理论和实际应用中意义重大。
详尽地带你从零开始设计实现一个AI Agent框架
文章详尽介绍AI Agent框架，从理论到实践，涵盖多种模式、主流框架对比，强调上下文工程是核心，还给出极简框架实现及应用示例，虽有不足但能助看清Agent本质。
PyPI遭投毒！LiteLLM用户Python启动就中招，个人凭证秒泄露
PyPI被投毒，LiteLLM的1.82.7和1.82.8版本被植入信息窃取程序，安装后SSH密钥等数据会泄漏。该漏洞源于Trivy被篡改，攻击者借此发布恶意版本。已给出自检流程，供应链攻击或常态化。
刚刚，LeCun团队开源首款代码世界模型！能像程序员一样思考的LLM来了
Meta官宣发布代码世界模型CWM，将世界模型引入代码生成任务。它基于编程和世界建模数据训练，能模拟程序执行与交互。在编程基准测试中表现不错，算是Meta的概念验证，目前可看作Demo。
100 页 Agentic RL 综述！牛津、新国立、AI Lab 等联合定义 LLM 下半场
2025 年大语言模型热潮持续，但当前主流训练范式显瓶颈。牛津、新国立等 16 家机构学者发布 100 页 Agentic RL 综述，明确定义从‘会说’到‘会做’进化路径，剖析理论、结构与实践，展望未来挑战。