Tag: AI
All the articles with the tag "AI".
-
LLM 写形式化规约，看着像回事，其实什么都没验证
Published: at 12:00 AMHillel Wayne 分析了 AI 生成的 TLA+ 和 Alloy 规约：代码不能编译、属性只是同义反复、真正有价值的并发和活性属性 LLM 写不出来。形式化方法要普及，光能生成规约远远不够。
-
PRD已死？编程智能体正在重塑EPD协作方式
Published: at 12:00 AMLangChain创始人Harrison Chase的深度观察：编程智能体让代码生成成本趋近于零之后，传统EPD流程的瓶颈从「实现」转向「评审」，通才的价值被放大，专才的门槛反而更高了。
-
用 Agent 自动化搭建机器学习实验
Published: at 12:00 AM微软 ISE 团队分享了如何用 GitHub Copilot Agent 替代繁琐的 ML 实验配置流程：通过四段式 Prompt 驱动 Agent 收集参数、生成配置文件、执行校验清单，实验搭建速度和可靠性大幅提升，同时揭示了模型选择、用户沟通等实际挑战。
-
代理式手工测试：代码会跑，代理才算真的开始工作
Published: at 12:00 AMSimon Willison 这篇新文把一个现实问题说透了：自动化测试全绿，功能照样可能坏在启动、界面和交互细节上。让代理亲手运行 `python -c`、`curl`、Playwright 和可验证的测试笔记，才会把“看起来没问题”变成“真的跑过了”。
-
什么是 Agent Skill（智能体技能）？新手指南
Published: at 08:00 AM你的 AI 智能体拥有渊博的编程常识，却不懂特定偏好和团队规范。为智能体编写简单且可复用的代码专属“技能（Skill）”，让每一次自动生成的回复都能直接命中你的真实诉求。
-
官方 MCP C# SDK 到了 1.0，MCP 在 .NET 里开始像生产工具了
Published: at 12:00 AM官方 MCP C# SDK 发布 v1.0，对齐 2025-11-25 版 MCP 规范，把增量授权、URL elicitation、sampling 工具调用、长请求轮询与 tasks 一次补齐，.NET 开发者终于能更认真地把 MCP 带进真实系统。
-
CLI 就是你所需要的一切
Published: at 12:00 AMMCP 的热潮退去，越来越多的开发者发现：把 AI 代理直接扔进终端、给它 shell 访问权限，才是最高效的编码工作流。Claude Code、Codex CLI、Gemini CLI 这些纯 CLI 代理正在领跑，而 Unix 管道和经典命令行工具从未过时。
-
你的 AI Agent 需要的是 Harness，不是 Framework
Published: at 12:00 AMDan Farrelly 用 Inngest 构建了 Utah — 一个事件驱动的 Agent Harness，把 LLM 调用和工具执行变成可独立重试的步骤，解决了 Agent 开发中上下文管理、并发控制、可观测性等基础设施问题。本文是对这篇架构文章的深度解读。
-
用 Draw.io MCP 生成架构图：为什么值得一试
Published: at 12:00 AMDraw.io MCP 把图表生成从手工拖拽变成了结构化输入驱动的自动化流程。本文介绍它的实际工作方式、在工程工作流中的定位，以及一个真实的 CI/CD 图生成示例，说明为什么它正在成为 AI 辅助开发场景下的标配工具。