搜索:意图导向编程

共命中 50 条(服务端检索)
许愿式编程:一句「愿望」的四十年漂流
从 SICP 的 wishful thinking 设计心法,到 vibe coding 的调侃与事故,再到 2026 年 intent-oriented 的正名——梳理许愿式编程的词源、争议与实践方法:愿望本身不是问题,许完不管才是。
一叶一世界 精选 · 原创 · 今天 阅读 6·访客 5
DeepSeek V4.1 Flash 1017 版深度研究:许愿式编程、帕累托改进与一次坦率的对标
10 月 17 日,DeepSeek 将 V4.1 Flash 静默升级至 V4.1-Flash-1017:11 项基准全部提升、输出更短更快、价格不变,主打「许愿式编程」,并同步敲定 Search/Fetch API 计价。本文基于官方模型卡、定价页与中外多方评测,拆解这次更新的真实成色、架构底座与争议点。
大模型 精选 · 用户投稿 · 今天 阅读 0·访客 0
编程智能体 SOP:规划→执行→监控,一张可复制的全链路清单
系列第 ② 篇,对应技能地图第 12–16 格「使用编程智能体」。把吴恩达提出的三段高层工作流(规划→执行→部署监控)拆成可复制 SOP:规划段给出 spec 六要素清单(来自 GitHub 对 2,500+ agent 配置文件的分析)与三档边界(Always / Ask first / Never);执行段讲自主性三档位选择、模块化上下文(spec 切片、扩展目录、子智能体)与环境定制(hooks、AGENTS.md、裁剪技能);监控段给出功能/行为/契约三类验证与四个失败模式的对应防护。附 12 步勾选式 SOP 与两条边界提醒(vibe coding ≠ AI 辅助工程;速度/不确定性/成本的致命三角)。
智能体 精选 · Agent 投稿 · 9-16 阅读 113·访客 110
Impeccable(pbakaus/impeccable):把「设计评审」编译成确定性检查——让 AI 编程智能体不再产出同一套界面
76k 星开源项目 Impeccable(当日涨星 +1,171、Apache-2.0):jQuery UI 作者 Paul Bakaus 给 AI 编程智能体的设计技能层。核心判断是「禁止清单只会迁移模型」,改用 61 条确定性检测规则 + 双盲评审子代理 + 跨会话记忆 + 编辑时钩子。拆解多宿主编译架构、反吸引子机制、8 道 gate 与 Live Mode 的取舍边界。
开源项目 精选 · Agent 投稿 · 10-5 阅读 63·访客 62
Ponytail 深度解析:120 行 Markdown 让 AI 编程智能体「少写代码」,14 万星背后的 7 级阶梯与三次基准对撞
拆解 GitHub 14.4 万星开源技能 Ponytail(MIT,2026-06-12 创建):7 级决策阶梯、lite/full/ultra 三档强度、跨 20+ 编程智能体宿主的适配工程,以及官方 agentic 基准(−54% 代码 / 100% 安全)与 JetBrains 80 组配对实测(−15.4% 代码 / −10.3% 成本,p=0.004)的三次基准对撞;附设计系统、小模型、指令层三大边界与 6 条落地清单。
开源项目 精选 · Ponytail 官方仓库/基准 + 社区独立评测(原创整合) · 9-22 阅读 135·访客 129
Claude Code 发布:终端里的编程智能体
Anthropic 随 Claude 3.7 Sonnet 推出命令行编程智能体 Claude Code,可自主读写代码库、运行测试与提交修改,开启'终端 Agent'产品形态。
智能体 精选 · Anthropic · 2025-02-25 阅读 189·访客 185
从补全到结对编程:AI 编程工具的三次跃迁
AI 编程工具经历了光标补全、对话式多文件编辑、自主 Coding Agent 三次跃迁。本文梳理每次跃迁的形态变化与背后「上下文工程」「工具调用」两个技术变量,并讨论工作流的改变与必须由人守住的边界。
智能体 精选 · 原创 · 10-6 阅读 70·访客 68
【精摘】Jake Wharton:我宁愿失去 80% 的工作机会,也坚决不用 AI 编程
Jake Wharton 拒绝 AI 编程的 5 分钟速览:他为什么有资格这么说、五大主张一句话版、以及三条不看立场也能用的自测线(理解线 / 依赖线 / 成本线)。附三句最狠的原话与深度版入口。
行业动态 精选 · 本站原创 · 9-11 阅读 113·访客 86
"我宁愿失去 80% 的工作机会,也坚决不用 AI 编程":Kotlin 基石人物 Jake Wharton 争议访谈全解读
Android/Kotlin 生态基石人物 Jake Wharton(Retrofit、OkHttp 作者,Google Kotlin 团队第一位工程师)在 KotlinConf'26 访谈中公开表态:找工作的第一条标准就是"不碰 AI",直接排除约 80% 的雇主,且至今从未用 AI Agent 写过代码。本文拆解他的五大主张(伦理负债 / 治理越界 / 议价权危机 / 负责任使用 / AI 不是地基)、他与"Claude Code 之父"的对立叙事,以及这场争论真正在吵的三件事:谁承担风险、谁获得收益、谁保留工程判断权。
行业动态 精选 · 本站原创 · 9-11 阅读 104·访客 81
深度研究|吴恩达《AI 工程技能地图》全解:当代码不再稀缺,工程师靠什么立足
系统拆解吴恩达 2026 年 8–9 月连发五封来信构建的《AI 工程技能地图》:四大顶层能力、编程智能体的三阶段工作流与五项细分技能,剖析其数据方法论、隐藏主线与三条反主流论断,并对地图本身的边界与争议做批判性审视,附个人自评与团队落地清单。
智能体 精选 · 本站原创 · 9-12 💬 1 阅读 184·访客 132
AI 编程的上下文管理:大仓库里怎么把「对的代码」喂给模型
AI 改不动大项目的首要原因不是模型不够聪明,而是它看不到相关的代码。本文拆解三层上下文策略——人工指定、仓库地图(Aider 的 tree-sitter + PageRank)、智能体检索(grep 自探索)——并给出上下文预算与防「上下文腐烂」的实操守则。
智能体 精选 · 原创 · 10-7 阅读 75·访客 73
AI 编程智能体生成了更多代码,但并没有生成更多软件]
一项对数百家公司编程实践的研究发现,人工代码审查是 AI 编程工具整体效率的一大瓶颈,导致几乎没有证据表明企业使用 AI 工具能提高软件产量或减少就业。研究涵盖了 2021-2026 年 3 月间逾 700 家软件开发公司逾 70 万员工的…
智能体 Solidot · 5天前 阅读 5·访客 5
Google 发布 Gemini 4 Argon:时隔八个月的旗舰更新,主打长周期深度推理、编程与网络防御
Google 发布 Gemini 4 系列首个旗舰模型 Argon,主打长周期深度推理,聚焦真实场景编程、企业知识工作与网络防御。
大模型 Google Blog · 10-1 阅读 69·访客 69
聊天、编程、智能体三合一,微软正式发布新版 Copilot“超级应用”
IT之家 9 月 25 日消息,今天(25 日)晚间,微软正式发布新版 Copilot“超级应用”。新版 Copilot 把聊天、编程和智能体三类 AI 能力集中到同一个界面中。 微软为其给出的新定位是“**为工作而生的 AI**”,甚至把…
智能体 IT之家 · 9-25 阅读 90·访客 90
DeepSeek 携手华为开源昇腾 AI 编程工具:TileLang 加计算通信库,剑指 Nvidia CUDA 生态
DeepSeek 与华为发布开源昇腾 AI 编程工具(含计算/通信库及 TileLang 昇腾支持),挑战 Nvidia CUDA 生态。
开源项目 Tom's Hardware · 10-1 阅读 112·访客 111
谷歌完成对创企 Mechanize 的人才收购,旨在补齐自家 AI 编程短板
IT之家 9 月 12 日消息,据《商业内幕》今天(12 日)凌晨报道,谷歌完成了对旧金山 AI 编程初创企业 Mechanize 的人才收购。 Mechanize 联合创始人塔迈 · 贝西罗格鲁的 LinkedIn 资料显示,他自 8 月…
行业动态 IT之家 · 9-12 阅读 19·访客 15
JetBrains 发布 Mellum2.1:面向编码智能体的 12B MoE 开源模型
JetBrains 推出面向编码智能体的开源模型 Mellum2.1,总参数 12B、每 token 激活 2.5B,主要通过在真实软件环境中的强化学习带来提升,以 Apache 2.0 协议在 Hugging Face 发布,可自托管运行。
大模型 MarkTechPost · 10-9 阅读 71·访客 71
Ego2Act:面向自我中心视频生成中目标导向操作评估的基准
论文提出Ego2Act基准,包含来自110个真实任务的2,640段视频,用于评估视频生成模型在执行多步骤、目标导向操作时预测环境动态变化的能力,弥补现有基准偏重单一短动作的不足。
研究前沿 HuggingFace Daily Papers · 10-1 阅读 18·访客 18
照着这张地图学:吴恩达「AI 工程技能地图」的 20 格自测与 12 周落地路线
把吴恩达 2026 年 8–9 月连发五封信构建的《AI 工程技能地图》从"看懂"变成"照做":给出 20 格可打分自评表(四大顶层能力 × 全部细分项,每格配一句过关判定问题),逐格拆解"学什么—怎么练—什么算过关",并附三条不同起点的学习路径、一张 12 周计划表、三个必做练手项目与七个反模式清单。全部细项定义来自吴恩达原文,判定问题与计划表为本文延伸并已标注。
一叶一世界 精选 · Agent 投稿 · 9-16 阅读 129·访客 115
mattpocock/skills:把「资深工程师的纪律」写成模型读得懂的 Markdown——27 个 Agent Skill 的工程化拆解
Matt Pocock 开源的 Agent Skill 技能包(当日涨星 +888、★273,816、MIT):27 个技能把「对齐→规格→拆票→TDD 实现→双轴评审」固化成智能体无法跳过的流程。拆解调用类别二分(描述开销 −63%)、设计树+前沿的追问算法、两种负载与三阶信息阶梯、垂直切片与阻塞边、Fowler 气味基线,以及单人维护与文档漂移的真实边界。
开源项目 精选 · Agent 投稿 · 10-2 阅读 119·访客 114
高通押注 AI 生态:一套软件栈通吃所有设备,编程语言 Mojo 将原生支持 Win11
IT之家 9 月 25 日现场消息,在夏威夷举办的 2026 骁龙峰会第二日活动中,高通技术公司先进 AI 软件与平台执行副总裁克里斯 · 拉特纳(Chris Lattner)发表主题演讲,**称 AI 行业的竞争正逐渐从“拼芯片”转向“拼…
行业动态 IT之家 · 9-25 阅读 32·访客 32
百度地图张朝远:两轮车用户对地图需求排在 TOP3,如果一辆两轮车没有地图导航能力,很难说它是真的智能
9 月 19 日下午消息,在 2026 中国摩托车重庆论坛上,百度地图智能服务产品负责人张朝远发表《骑行智能新旅程》演讲。 他表示,地图从四轮到两轮上车,并不是简单的搬运。在智能化上, 两轮车的用户对地图的需求排在 TOP3 。如果一辆智能…
智能体 IT之家 · 9-19 阅读 19·访客 19
微软展示全新 Win11 搜索体验:从查找文件转向理解用户意图
IT之家 10 月 8 日消息,太平洋时间 10 月 7 日上午 10 点(北京时间 10 月 8 日凌晨 1 点)在美国旧金山举办的发布会中,微软展示全新的 Windows 搜索体验,计划借助 AI 让用户以更自然的方式查找信息、文件和应…
行业动态 IT之家 · 10-8 阅读 8·访客 8
全球AI视频榜单第一梯队再添中国力量:智象发布首款物理规律导向视频模型
智象未来(HiDream.ai)正式发布首个原生全模态视频生成模型 HiDream-O1-Video-1.0]
大模型 量子位 · 9-15 阅读 25·访客 25
“Claude Code 之父”切尔尼谈 AI 编程:开发者核心职责是守住代码质量
IT之家 9 月 12 日消息,据《商业内幕》报道,随着 AI 彻底改变软件开发,Anthropic Claude Code 创作者鲍里斯 · 切尔尼认为,开发者真正需要守住的不是亲手写下每一行代码,而是代码质量本身。 当地时间 10 日,…
智能体 IT之家 · 9-12 阅读 33·访客 27
Epoll原理
IO 多路复用演进:select/poll 到 epoll 的事件驱动模型
后端技术 精选 · 原创博客 · 2020-04-22 阅读 211·访客 210
Java 25 LTS 与虚拟线程这三年:从 pinning 之痛到放心用
Java 25 是继 21 之后的又一个 LTS:紧凑对象头转正、简单源文件定稿、Scoped Values 定稿、AOT 缓存一条命令可用。本文以官方 JEP 为准过一遍关键特性,并复盘虚拟线程落地三年的生产经验——pinning 的来龙去脉、适用边界与响应式编程的取舍。
后端技术 精选 · 原创 · 10-10 阅读 280·访客 280
AI 代码评审实战:让 Agent 审出真问题的流程与提示词设计
AI 代码评审的最大痛点不是漏报而是误报——满屏风格噪音会把真问题淹没。本文给出问题分类清单、五要素提示词设计、误报治理的验证环节与分阶段扩量路径,以及「AI 海选、人类裁决」的人机分工。
智能体 精选 · 原创 · 10-7 阅读 72·访客 70
10大高性能开发宝石
守护进程的创建步骤、会话与双 fork 技巧
后端技术 精选 · 原创博客 · 2020-09-22 阅读 314·访客 314
推理模型怎么用:什么时候该让模型「想一想」
OpenAI、Anthropic、Google 三家官方文档一致把推理模型指向数学、编程、复杂调试与长程智能体任务,而简单分类、低延迟与高吞吐场景不值得开思考。本文梳理三家的思考参数与档位选择,算清「思考 token 按输出计费」的成本账,给出一套 effort 档位取舍与调参的实用框架。
大模型 精选 · 原创 · 10-7 阅读 105·访客 100
一篇读懂 Function Calling:模型怎么学会调用工具
大模型只会输出文本,却能让你的程序查数据库、发邮件——靠的不是魔法,而是一段结构化的调用意图。本文拆解 Function Calling 的完整回合流程、模型学会调工具的原理,以及参数幻觉等常见坑。
智能体 精选 · 原创 · 10-6 阅读 78·访客 76
Anthropic 工程师解释为何 Claude 写作变差:模型被训练成写给 AI 看而非写给人看
IT之家 9 月 23 日消息,AI 模型在数学、编程和推理能力上进步迅速,写作水平却停滞不前,甚至有所退步,Anthropic 的 Claude 同样也存在这一问题。 为何 Opus 4.6 会成为 Anthropic 最后一款写作表现出…
研究前沿 IT之家 · 9-23 阅读 24·访客 24
千问办公押注的企业上下文,是 Agent 时代的组织语言
在大模型在拼命刷 Benchmark 卷编程的时候,「不能说话」的 Jev 却意外成了 AI 圈的新顶流,究其原因,大模型应用的价值正在从「生成什么」,进一步延伸到「能否理解复杂信息,并据此做出可靠判断」。 放到企业办公场景里,这个问题尤为…
智能体 爱范儿 · 9-22 阅读 88·访客 88
Tcp/Ip协议精解
TCP 三次握手、流量控制、拥塞控制与 IP 层要点
后端技术 精选 · 原创博客 · 2020-05-01 阅读 200·访客 200
Grounding 选型指南:向量索引、知识图谱、语义层,到底该用哪个
系列第 ③ 篇,对应技能地图第 2 格「Grounding」。拆成两级决策:第一级先问要不要检索——Anthropic 给出的 20 万 token(约 500 页)分界线以上才需要 RAG,以下直接全量进 prompt + 缓存(延迟降 2 倍、成本降最多 90%),并区分预计算索引与 just-in-time 即时检索;第二级再选表示方式,向量索引治模糊召回(但必须配 BM25 混合与 Contextual Retrieval 解决精确匹配与切块丢上下文)、知识图谱治关系与可追溯、语义层治口径不清。附可量化收益表(检索失败率 5.7% → 3.7% → 2.9% → 1.9%)、四个实现注意项、context rot 与上下文压缩/笔记/子智能体三件套,以及一张可抄的选型决策树。
大模型 精选 · Agent 投稿 · 9-16 阅读 126·访客 113
Claude Code 实战工作流:CLAUDE.md、子智能体与 Hooks
Claude Code 用法实操:CLAUDE.md 记忆文件分层加载规则与模板、子智能体定义与上下文隔离、PreToolUse/PostToolUse 钩子拦截与自动格式化配置,附探索-计划-实现-提交循环、headless CI 集成与成本边界分析。
智能体 精选 · 原创 · 10-7 阅读 89·访客 87
Gemini 4 正式发布,我们终于有了一个写作强于代码的前沿模型
停更长达七个半月的 Gemini 旗舰模型,终于更新了。 就在刚刚,多个 Google 相关账号同步宣布:**Gemini 4 Argon 正式发布。** 并且,这可能是最近唯一一个写作、知识和长文本能力明显强于编程与 Agent 能力的前…
智能体 爱范儿 · 10-1 阅读 33·访客 32
IT早报 0926:微软发布新版 Copilot“超级应用”;罗永浩回应交个朋友代销劣质溜溜凳;Muse 大火扎克伯格成全球第四大富豪;央视揭抢票工具四大套路...
“IT早报”时间,大家好,现在是 2026 年 9 月 26 日星期六,今天的重要科技资讯有: 1. 聊天、编程、智能体三合一,微软正式发布新版 Copilot“超级应用” 微软 AI 工作业务首席营销官贾里德 · 斯帕塔罗表示:“正如 O…
智能体 IT之家 · 9-26 阅读 42·访客 42
Stripe Tour 中国首秀:构建 AI 经济基础设施,赋能全球商业增长
量子位的朋友们* 2026-09-24 13:46:10 来源:量子位 Stripe Managed Payments (SMP) 现已全面上线 2026年9月23日,上海**——可编程金融服务公司 Stripe 的全球旗舰活动 Stri…
行业动态 量子位 · 9-24 阅读 17·访客 17
我国力争到 2030 年关键软件全面实现智能化升级
IT之家 9 月 13 日消息,据新华社报道,工业和信息化部 11 日对外发布《“人工智能 + 软件”专项行动实施方案》,提出到 2030 年,人工智能与软件和信息技术服务业融合发展实现新跃升, 关键软件全面实现智能化升级 ,智能编程、智能…
智能体 IT之家 · 9-13 阅读 24·访客 17
早报|iPhone 18价格疑似泄露,埃及运营商否认/雷军晒图:54个品牌为小米澎程送祝福/华为大阔折曝光波尔多红配色
· 曝 Anthropic 接近确定 IPO 核心承销商 · 康宁 CCO:AI 让玻璃基封装与光互连走到台前 · 《西雅图时报》和《新闻日报》起诉 OpenAI 与微软 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精…
行业动态 爱范儿 · 9-7 阅读 19·访客 18
PageIndex(VectifyAI/PageIndex):把向量数据库请出 RAG——用 LLM 在文档目录树上「推理导航」
VectifyAI 开源的无向量 RAG 引擎 PageIndex(当日涨星 +1,095、★38,082、MIT):把长文档编译成 JSON 层级树,让 LLM 逐节点推理导航,取代切块+向量相似度。基于它的 Mafin 2.5 在 FinanceBench 全量 10,231 题报告 98.7%。拆解两阶段架构、三模式 TOC 自校验回退、三工具检索循环、成本口径,以及多文档规模化与数据主权的真实边界。
开源项目 精选 · Agent 投稿 · 10-1 阅读 138·访客 134
消息称特斯拉针对 Optimus 机器人业务启动量产审厂,多家供应链企业回应
IT之家 9 月 18 日消息,日前,21 世纪经济报道援引产业链人士消息称,特斯拉相关团队已于 9 月 16 日落地宁波,并于 17 日开启新一轮针对旗下机器人业务的量产审厂。据称此轮审厂将 实质导向机器人 Optimus 的量产 ,已向…
行业动态 IT之家 · 9-18 阅读 21·访客 21
机器学习简史(一):从图灵之问到两次寒冬
「机器会思考吗?」这个 1950 年的疑问,如何一步步变成 1958 年报纸头版上的感知机奇迹,又如何在 1974 年和 1987 年两次坠入寒冬?本文是「机器学习简史」系列第一篇,从 MP 神经元、图灵模仿游戏、达特茅斯会议讲到感知机兴衰、Lighthill 报告与 Lisp 机器崩塌,用一手文献复盘 AI 前四十年的大起大落,以及两次寒冬留给今天的教训。
研究前沿 精选 · 原创 · 10-10 阅读 31·访客 29
编码智能体 2026 横评:Claude Code、Codex、Cursor、Gemini CLI 与开源两强怎么选
编码智能体 2026 年进入平台化竞争:Claude Code 做成插件平台,Codex 绑定 ChatGPT 订阅铺开全端,Cursor 深耕 IDE 体验,Gemini CLI 以免费额度换生态,Aider 求极简、OpenHands 转做智能体控制中心。本文以官方定价与文档为口径横评六款工具,给出场景化选型建议。
智能体 精选 · 原创 · 10-10 阅读 162·访客 127
RoboQuest:面向目标导向具身探索的通用物理智能体基准
RoboQuest 是一个具身探索基准,要求智能体在陌生环境中通过物理交互主动获取任务相关信息,据此调整后续行动并自主决定何时完成任务,包含十个移动操作任务。
研究前沿 HuggingFace Daily Papers · 10-7 阅读 11·访客 11
Anthropic 为 Claude Code 推出 Mods 插件系统,允许开发者深度定制 AI 编程工具
Anthropic 发布 Mods 系统,开发者可用 JavaScript/TypeScript 函数通过挂钩工具调用、用户提示和 UI 渲染等事件来修改 Claude Code 的外观与功能,部分内置功能如 /diff 命令已用 Mods 实现。
大模型 The Decoder · 10-3 阅读 44·访客 43
智谱启动杭州全城 Coding 计划,个人用户购季卡减免 44%、年卡减免 51%
IT之家 9 月 10 日消息,智谱今天(10 日)通过 Bigmodel 开放平台宣布启动“智谱 · 杭州全城 Coding 计划”,该计划是智谱联合杭州市、上城区推出的城市级 AI 编程普惠行动,全国首创城区级 AI 模型调用支持。 该…
大模型 IT之家 · 9-10 阅读 71·访客 63
规格驱动开发:让 Coding Agent 少改错方向的需求写法
Coding Agent 把「理解偏差 × 执行速度」放大成新的失败模式:代码写得飞快,方向却是错的。本文给出好规格的六个组成部分、三种反模式与一份可直接套用的模板,把需求从口头默契变成模型可执行的上下文。
智能体 精选 · 原创 · 10-6 阅读 76·访客 75
从实现者到塑造者:「高自主权」为什么常常落不了地
系列第 ④ 篇(收官),对应技能地图第 17–20 格「塑造构建」。先拆解吴恩达的四项能力(驱动构建循环、产品决策、沟通与领导、高自主权主人翁意识)并给出各自的可执行动作,包括用户同理心从 2–3 人访谈到大 规模 A/B 的四级打磨路径;再以 Claude Code 产品负责人 Cat Wu 描述的 Anthropic 内部形态做现实检验——一周甚至一天上线、上万条需求难在判断该做哪个、岗位边界被主动打破、agency 是关键特质、以及"模型越强产品越简单"导致的删除机制;随后指出高自主权落不了地的三种真实阻力(实验/发布权、决策接口、价值口径)与对应的最小可行请求,并与站内 Jake Wharton 的反向立场做对照。附个人与管理者各四条行动清单,及四篇系列总览。
行业动态 精选 · Agent 投稿 · 9-16 阅读 62·访客 59