➡️
继续阅读
-
Pi Agent 1.0 的 MCP 集成源码解析:工具发现、代码编排与提示词压缩
Pi Agent 1.0 通过 MCP 工具按需发现、Codemode 脚本编排和提示词压缩来降低上下文开销:MCP 工具默认不预先声明,模型可用 sea...
-
ReviewBench:AI代码审查的开放基准
AI正在改变开发者的工作方式,要求强化三项技能:指挥AI智能体、批判性审查其输出、在工作流中保持技术判断力。GitHub Copilot支持用自然语言描述...
-
API 认证与授权:机制、权衡与失效模式的工程深度解析
本文系统讲解七种API认证机制:Basic Auth、API密钥、Bearer Token、JWT、OAuth 2.0、OIDC和mTLS,分析其原理、代...
-
一些关于开发的杂谈话题 - 代码审核
文章探讨AI时代代码审核的变革,认为逐行审核AI代码已无意义,人类应聚焦两端:源头严格审核spec,明确意图与验收标准;终点审核最终产物和证据,而非中间代...
-
NEAREST BY Join: Scaling Vector Search in Databricks Runtime
Vector search originated as a serving problem. The classical use case is a chatbot...
-
The Future of Mathematics
[This is a guest post by Jeremy Avigad. This blog post was initially written ...