惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

A
About on SuperTechFans
Cloudbric
Cloudbric
C
CERT Recently Published Vulnerability Notes
G
GRAHAM CLULEY
V
Vulnerabilities – Threatpost
C
Cisco Blogs
T
Tenable Blog
P
Privacy International News Feed
T
The Exploit Database - CXSecurity.com
I
Intezer
AWS News Blog
AWS News Blog
IT之家
IT之家
博客园 - 司徒正美
C
Cybersecurity and Infrastructure Security Agency CISA
博客园 - 【当耐特】
The Hacker News
The Hacker News
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Spread Privacy
Spread Privacy
S
SegmentFault 最新的问题
博客园 - Franky
人人都是产品经理
人人都是产品经理
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
V
Visual Studio Blog
C
CXSECURITY Database RSS Feed - CXSecurity.com
H
Hacker News: Front Page
Latest news
Latest news
Scott Helme
Scott Helme
腾讯CDC
宝玉的分享
宝玉的分享
大猫的无限游戏
大猫的无限游戏
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
A
Arctic Wolf
S
Securelist
雷峰网
雷峰网
The GitHub Blog
The GitHub Blog
Project Zero
Project Zero
Google DeepMind News
Google DeepMind News
P
Palo Alto Networks Blog
F
Fortinet All Blogs
Schneier on Security
Schneier on Security
云风的 BLOG
云风的 BLOG
Security Archives - TechRepublic
Security Archives - TechRepublic
The Last Watchdog
The Last Watchdog
WordPress大学
WordPress大学
MongoDB | Blog
MongoDB | Blog
L
LINUX DO - 最新话题
S
Schneier on Security
NISL@THU
NISL@THU
Jina AI
Jina AI
M
MIT News - Artificial intelligence

程序员

V2EX 看到讨论"跨域"的帖子,那个她好像回来了 codex 今天真的是不稳定呀。 火山方舟 Coding Plan 慎买 刚问了大家 openclaw 和 hermes 在什么机器上面玩,求推荐一个机器 GPT-image-2 生成 AI 图片防伪有感 codex pro 5 小时限制已经严重缩水 逆天 Antigravity 动态 JSON 序列化对强类型语言很难吗? 自建了 GPT Coding Plan,遇到了定价问题,请教大家 大家都是在什么设备上玩 openclaw 以及 hermes 的呀? 软考还有一个月就考试了,你们学习了吗? 大伙用 AI 会考虑在 user scope 的 CLAUDE.md/AGENTS.md 里交代 AI 说中文吗 我发现程序员这个群体很大部分其实挺抠的 最近使用 cc 总会莫名其妙的返工, codex 不会 目前体验最好的远程 vibe 工具 想知道大佬们抓包遇到 ssl pinning 都是咋优雅的 解决的? - V2EX 工业软件的大佬们是怎么 vibe coding 的 - V2EX 最近 chrome 是不是有 bug 啊,一搜索就卡住 - V2EX 分布式异步系统在 vibe coding 下的困境 PHP Native AOT 编译器,支持将 PHP 代码编译为可执行文件,运算性能提高 150 倍 没想到 2026 年,还要浪费大量时间在跨域问题上 - V2EX DeepSeek V4 这周会出吗? 中转站正式试营 欢迎试用 不掺不假 小米 mimo 升级 v2.5,并且重置了额度 Jenkins, SCM 轮询完全不工作是啥问题啊 赛博斗蛐蛐, AI 模型的简单对比(白嫖版) 使用中转站要擦亮眼睛!不说别的,倍率计算 充值好乱。 买了火山的 Coding Plan 测试得出计费模式 给我的 AI 生成了简历和状态卡, 大家帮忙看下 Ta 能找到啥样的 腾讯云太不要脸了, token plan 上 glm5.1 和 minimax-m2.7,但是 coding plan 不上 - V2EX 目前自建梯子最强的 anytls 协议不是不不更新了? 刚发现 WSL2 可以通过 virtiofs 访问 NTFS 分区, IO 速度明显提升 v2board 还是其它面板更适合小团伙使用? 现在 AI 来了,如果有天不需要程序员? gpt-image-2 太顶了 你们 vibe 会让模型先输出方案来审核吗? GLM Coding Plan 调整老套餐并停止自动续订,受影响用户获赠 2 个月新套餐权益 为了浏览在线文档的时候能自定义高亮, Vibe 了一个网页高亮标记的工具 从 2 月开始用 Opus 4.6,到这几天切到 4.7,一些感悟和困惑 Github Copilot 停售之后还能买什么 收集了一下市面上常见的 Token Plan,可以给到大家一点参考 这个生图太牛了 中国的算力缺口这么大嘛?看到 2025 华为昇腾出货 81 万块,又看到各家 coding plan 不是停售就是限流 做 OPC 太难了,天天焦虑 阿里云 Coding Plan 增加动态限流,频繁暂停无法使用 马斯克 600 亿美元收购 Cursor codex 开始灰度 GPT 5.5 了 大家是如何使用 codex gpt-image-2 生图确实很顶啊,附带几张生成效果。 codex 的风评似乎在超过 Claude code? 智谱 GLM 宣布停止续订无周限额的老套餐 如何实现自我进化的 AI 的 Skills? 智谱(GLM)果然学习了阿里, 强制关闭了老用户套餐的自动续费 各位公司有除了智能客服外真正落地的 AI 应用吗? 热烈欢迎火山 Coding Plan 加入 GLM5.1 Kimi2.6 MiniMax2.7 阵容 请教大佬: claude API token 太烧钱了, minmax 还要兑换码,有没有合适的中转方案 开发一个面向普通用户(非程序员)的 Agent 软件,支持 skills、定时任务、对话功能,主要客户群体使用 Windows。感觉像是一个带前端的 Hermes,但是 Hermes 在 Windows 下运行不太友好,不适合非开发人员。 grok XAI 开始限制免费用户访问次数了吗? openspec 怎么配合 superpowers 使用? 阿里云的 coding plan 莫名奇妙被冻结了 程序员如何学习 ui 审美 开源了一个 AI Agent 认证工具 sig —— 让 AI Agent 安全访问外部系统 Vibe Coding 时代,该如何快速搭建一个 CRUD 平台? 感觉大多数的 coding plan 都是被龙虾薅死的。 有没有一起拼中转站的呀,找到一个中转站用了段时间感觉比较靠谱 搭个 AI 中转玩玩 Zeabur + Neon 50 块以内跑通 Coinepay:一张不能用的卡,扣了我 5 个月月费 Gemini in Chrome 支持日本了,为什么我的不生效? 跳板机/内网穿透方案,如何降低远程访问校内服务器延时? 现在有没有什么好的 AI 图片生成 3D 模型的方案? 关于科研 ai 作图 为什么现在 AI SDK 默认不支持异步? 建议 V2EX 加入一个 Ai App 或者 Vibe Coding 模块,把一堆 Ai 生成的产品都丢进去。 如果没用 coding plan 套餐了,再继续自费上班是不是就太傻了 AI 太烧钱了,有什么好的大模型组合方案? 阿里云百炼这波开始割韭菜了,下架 coding plan,改头换面 token plan 最新,腾讯云和阿里云 coding plan 购买页面均已下架,换成了 token plan 阿里云 CodingPlan 彻底没了,新上了 TokenPlan 大家看到 antigravity 那个配额监视器的广告了没? 真心发问,想学后端需要学啥? AI-Powered Log Analysis Tool - Pangu RCA 想自己写一个 code agent 玩玩,有什么开源项目可以参考吗? 腾讯云 Coding Plan 下架了 现在还有哪一个国产 Coding Plan 能买到吗? 106 行业短信签名申请新规范出台, 5 月 1 日起生效 最近上线了一个开发了半年的 shopify SAAS AI 就像那渣男渣女,平时哄着你温柔小意,关键时刻就坑你一波大的 大家在开发智能体时,都是怎么写系统提示词的? 现在大模型国内外直连越来越难买或拼车了,想试试中转站,大家有没什么推荐呀 一个人写了大半年 Android App,聊聊过程中的一些取舍,第二篇 智谱 coding plan 的使用 token 限制是多少? cli-proxy-api + 中转站领的鸡蛋 = 大模型免费用是否可行? gpt coding plan 一天试用(GPT 5.3codex 和 gpt 5.4) 大家用 AI 是订阅制多还是 API 按量付费多? 我用 AI 写了一个游戏,我发现我不想看代码,也看不懂代码了 AI 代码后面怎么维护,心智负担太大了 中年人爱上 AI 编程,就像爱上钓鱼 每月 AI 支出都超过生活费了 1000 行 rust 实现一个类似于 pytorch 的轻量级自动微分库
Corterm - 一个让 Shell 在服务器上一直活着的远程终端 - V2EX
rwecho · 2026-06-24 · via 程序员

今年 5 月开始做 Corterm 。53 天,493 次提交。其中 317 次的 commit message 末尾写着同一行字:Co-Authored-By: Claude GLM 5.1 。

也就是说,这个项目 64%的代码提交是 AI 和我一起写的。但不是"AI 替我写代码"——是我写了 8 个自定义 Skill ,一套编译报错自动修复流水线,和一个写满了 ArkTS 奇葩限制的 CLAUDE.md

那四条铁律

CLAUDE.md 开头是四句话:

  • 禁止 fallback:不要静默降级、空值兜底、try-catch 吞错误。异常直接抛出
  • 最精简逻辑:逻辑上不可能为空就不要写空值检查
  • 异常即信号:throw 是正常控制流
  • 不要问要不要继续:任务明确就一口气做完

这四条不是写给 AI 看的。是写给我自己的。

AI 编程最大的坑不是 AI 能力不够——是你管不住它。你给它模糊需求,它会给你看起来很完整、实际上满是静默降级和空值兜底的方案。上线,半夜炸了,翻代码才发现某个 catch 里什么都没做。

后来的 commit 里,catch { return null }这种写法基本绝迹了。

8 个 Skill 怎么工作的

光有原则不够。AI 的另一类错误是用旧版 API 。鸿蒙 ArkTS 更新飞快,训练数据里混着大量 API 8/9/10 的废弃写法——它经常一本正经地瞎写。

我给 AI 装了 8 个外挂:

  • huawei-docs-scraper:通过 Playwright 直接抓 developer.huawei.com 最新文档,转 Markdown 喂给 AI 。从根源消灭 API 幻觉
  • arkts-code-lookup:输入 Android 的 Java/Kotlin 代码,输出对应 ArkTS 写法
  • harmony-build:执行hvigorw assembleHap编译
  • harmony-fix:编译报错后自动提取错误→按文件分组→逐文件修复→重新编译。修复失败就再修,直到 BUILD SUCCESS 或者人类介入

harmony-build 和 harmony-fix 是一对。你说"帮我把鸿蒙版编译通过",然后去接水。屏幕上滚过报错,自动修复,再编译。几分钟后绿色 BUILD SUCCESS 。

按我的经验,80%的编译报错能在 3 轮以内自动修完。15%需要看一眼改一句。只有 5%需要坐下来认真解决。

那 154 行 CLAUDE.md 怎么长出来的

不是一次写出来的。每踩一个坑、发现 AI 在同一类问题上反复犯错,就加一条。

比如 ArkTS 编译约束表:

  • as const → 报错arkts-no-as-const → 用class X { static readonly }代替
  • { key: value } → 报错arkts-no-untyped-obj-literals → 必须显式声明类型
  • throw e( e 是 catch 的任意类型)→ 报错arkts-limited-throwthrow new Error((e as Error).message)

整张表就是一份"AI 在 ArkTS 上最容易犯的错"的清单。不是给人类看的——是写给 AI 的 memory 。如果你也在写鸿蒙,可以直接抄这张表。大模型目前确实不知道这些。

AI 帮不了我的地方

架构决策。让 AI 决定"Gateway 和 Worker 之间用什么通信协议",它会给你一张优缺点对比表。但真正的取舍是——选了 SignalR 之后,HarmonyOS 端没有 SDK ,你得手写 479 行 ArkTS 。AI 不知道这个代价。这种决策需要的不是信息,是判断。

跨文件重构。把 InMemory 数据层切到 PostgreSQL ,20 多个文件,DbContext 注入方式要从 IServiceScopeFactory 改成 IDbContextFactory ,迁移脚本写好,测试全部重跑。AI 能帮你改每一个文件,但不能让它决定改哪些。因为你改的是"做法",AI 只知道"怎么写",不理解"为什么"。

项目

目前完全免费,MIT 开源。iOS/Android/鸿蒙/浏览器都能用。


Corterm 开发系列第 1 篇,共 10 篇。下一篇:为什么选 MAUI + Hybrid WebView