Copilot 创始工程师：大多数 AI 编码“就像开着法拉利去买牛奶一样”

GitHub Copilot 创始工程师 Neel Sundaresan 正构建智能编码工具 IBM Bob，已有 8 万 IBM 开发者使用。他认为多数 AI 编码像开法拉利买牛奶，Bob 会按需调度模型，他还谈及智能体市场变化与风险。

最强开源0.9B级OCR模型！PaddleOCR-VL本地一键部署！

作者分享本地部署PaddleOCR-VL的经历，包括踩坑过程、解决办法及启动指令。该模型识别速度快，支持OpenAI API格式，可轻松接入Fastgpt、Dify、n8n等平台。

从「知题」到「知人」：UserRL让智能体学会「以人为本」

大语言模型距成真正用户伙伴缺‘知人’能力。来自UIUC与Salesforce团队提出UserBench和UserRL方案。前者将‘用户特性’制度化，构建评测环境；后者搭建统一强化学习框架，探索奖励建模，二者让‘以用户为中心’落地。

17000 tokens的GPT-5系统提示词被意外泄露，以及八点总结~

OpenAI GPT - 5的system prompt被曝光在github，约17803 Tokens、78960 Characters。文章对提示词做八点分析总结，如互动风格、写作要求、工具使用等，还给出工具部分重点。

本文关注vllm V1中管控模型分布式推理的Executor部分，介绍其类型、Executor-Workers架构及数据传输机制，对比V0架构优势，以单机多卡的MultiprocExecutor为例展开讲解，还提及不同数据量的传输方式及相关代码。

既然 Claude 封了不让用，Codex 就疯狂追赶之

Claude 受限，作者转用 Codex 等 Agent 工具，效率不错。OpenAI 加大 Coding 投入，Codex 追赶势头猛。作者还分享 Codex 使用心得，介绍为 CatReader 加新功能过程，提醒加功能要谨慎。

用好Agent最重要的技巧不是Skills，是这四个字。

作者分享使用Agent心得，强调“约束先行”，以Claude Code工作文件夹混乱为例，阐述顶层约束的重要性，介绍其规则体系，还展示全局CLAUDE.md文档，指出约束能让Agent工作更有序。

Token，应该翻译成「新智元」

作者经信息论分析、构词法验证等，提议将Token中文标准译名定为「新智元」。现有译名如「托肯」「令牌」等都不满足要求，「新智元」能覆盖技术和经济属性，符合翻译学标准。

Claude Code被攻破「后门」，港科大&复旦研究曝出TIP漏洞

近期港科大与复旦研究指出，Claude Code命令行工具连接MCP服务器时，TIP可能被劫持致远程代码执行。研究用TEW框架测试验证漏洞，还给出真机案例，最后提出改进方向。

氛围编程后，Karpathy又双叒有新「脑洞」！PDF将死，未来99%是AI氛围阅读

Karpathy提出未来研究论文不应是PDF格式，未来99%注意力将来自AI，科研成果应为AI优化。此观点源于生物学家Michael Levin关于为AI写作的讨论，引发众多科技思想者回应。