跳到正文

标签

#编码

按发布时间排列的全部收录,按天分组;筛选和搜索都在这一页。

共 57 条 · 更新于 19:17

11/05

星期四1 条

  1. 掘金22Foobar 技术周刊#160:大模型让大规模形式化软件验证成为现实,AI 写 C++ 代码后的调试短板

11/04

星期三4 条

  1. Hacker News · AI 讨论22在 Cursor 中用 Composer 2.5 写代码,需要钢铁般的神经
  2. Hacker News · AI 讨论22为什么 AI 公司纷纷重金投入数学证明?
  3. Hacker News · AI 讨论22独立开发者谈 LLM 辅助编程:日常使用与身份焦虑
  4. Hacker News · 首页28我如何使用 AI(2026 年 10 月):从 Copilot 补全转向管理 5–6 个 Claude Code 智能体

11/03

星期二2 条

  1. Hacker News · AI 讨论22用 AI 花 4 个月才做出一个 Todo 应用:高度个性化与长反馈场景下复杂智能体配置为何失效
  2. TechCrunch · AI22Y Combinator CEO Garry Tan 每年花最多 20 万美元买 token 跑 AI 智能体

11/02

星期一6 条

  1. MIT Technology Review · AI22别再数 token 了,开始数交付了多少软件
  2. Hacker News · AI 讨论22HN 讨论:AI 公司涨价或降配时,你的备选方案是什么?
  3. Hacker News · AI 讨论22Ask HN:批准编码智能体的计划前,你会先读一遍吗?
  4. Hacker News · AI 讨论30AI 能写更多代码,但系统仍需工程师把关
  5. Hacker News · AI 讨论22HN 讨论:AI 在你的代码库里犯过哪些错误?
  6. Reddit · r/artificial15用 Claude 和 Codex 做 AI 开发为何总在 80/20 阶段卡住、烧光 token?

11/01

星期日3 条

  1. Hacker News · 首页36为什么说 Pi 是最后一个智能体编程 harness
  2. Hacker News · AI 讨论22AI 够便宜到取代开发者了吗?SWE-bench Pro 与 METR 数据给出答案
  3. Hacker News · AI 讨论22当 AI 写下几乎所有代码,软件工程会怎样?

10/31

星期六2 条

  1. Hacker News · AI 讨论22如何衡量你的编程智能体是否变得更有效?
  2. MarkTechPost58对比 Claude、Codex、Mantis、Cloudflare 四款 AI 代码安全扫描 agent

10/30

星期五6 条

  1. Hacker News · AI 讨论28如何(不)用 AI 处理 pull request 与代码审查
  2. 掘金22AI 时代吃香的三种人:有想法的懒人、替别人着想的人、不被 AI 带偏的人
  3. Hacker News · AI 讨论22LLM 编程与理论构建:为何编码智能体难以帮人建立理论
  4. Hacker News · AI 讨论34跨厂商编程智能体退化:Grok Build、Claude Code 与 Codex 的使用记录与初步分析
  5. Hacker News · 首页22Thursday:一个为我自己打造的 SerenityOS
  6. Simon Willison34用自主 Fable 级模型打造多人游戏世界:Spawn 的智能体开发实验

10/29

星期四4 条

  1. Hacker News · AI 讨论22AI 让小众软件变得可行:Pathfinder 构建规划工具接连出现
  2. 爱范儿22为什么新模型发布都要先做一个游戏?从鹈鹕测试到单提示词 FPS
  3. Hacker News · AI 讨论12HN 讨论:工作场景中高效使用 AI 的技巧
  4. 掘金58Agent Skills 走红 GitHub,作者称提示词工程正被工程纪律取代

10/28

星期三3 条

  1. Simon Willison30Claude Opus 5.5 让 vibe coding 游戏迎来 10 月拐点
  2. Hacker News · AI 讨论48实测 13 款 AI 模型:Claude Opus 5.5 能画出可申请建筑许可的图纸
  3. Hacker News · AI 讨论30为什么“擅长用 AI”需要时间与实践

10/27

星期二2 条

  1. 钛媒体34“跑高分”不等于“能交付”:AI排行榜正在经历一场信用重估
  2. 掘金22肘子的 Swift 周报 #159:当应用不再属于特定操作系统

10/26

星期一2 条

  1. 掘金37AI 真的会替代程序员吗:从 55.8% 提速到 19% 变慢的八组关键数据拆解
  2. Import AI42Import AI 478:数学如何助力对齐、ProgramBench 与 Mirendil 展示 RSI 含义

10/25

星期日1 条

  1. 钛媒体62实测 Kimi K3.1 Pro:Terminal-Bench 4.0 升至 67.2%,七道编程题看执行能力

10/24

星期六2 条

  1. 掘金58真实 flaky 18.3% 被 CI 报成 0%,Agent 修测试时删掉了被测变量
  2. 掘金22外包和大厂的前端代码,差在凌晨三点

10/23

星期五2 条

  1. Hacker News · AI 讨论10Hacker News 讨论:AI 时代初级工程师如何成长
  2. Hacker News · AI 讨论22HN 讨论:何时才能信任 AI 写代码,避开“只走顺利路径”的问题?