摘要：
V2EX 上有人提了个很具体的问题：我经常用 /goal 跑长任务，一次半小时到一小时，不可能一直在家守着机器，完事还得再开下一个任务。底下 35 条回复，把远程让 Codex 干活的路子几乎翻了个底朝天——从官方的手机 Remote，到 anytty、NovaScale、orca 这类第三方，再到 阅读全文
posted @ 2026-09-14 10:39
搬砖程序员带你飞
阅读(16)
评论(0)
推荐(0)
摘要：
8 月 19 日，一个装 DeepSeek Harness 社区插件的用户，一条命令下去，400G 文件没了。评论区一半人骂插件，一半人骂框架，但真正该被追问的问题是：让 Agent 跑代码之前，你给它画了多大的安全边界？ 昨天那篇 harness 拆解里，安全与权限边界是五个模块里最容易被跳过的一 阅读全文
posted @ 2026-09-12 13:19
搬砖程序员带你飞
阅读(33)
评论(0)
推荐(0)
摘要：
你的 coding agent 一上来就闷头写代码，写了一堆你压根不要的东西——这不是它笨，是没人教它"先想清楚再做"。 2026 年，GitHub 上 star 最高的一个"agent 技能包"，干的就是这件事。它叫 superpowers，27.3 万 star、24.5 万 fork、近百万安 阅读全文
posted @ 2026-09-12 13:19
搬砖程序员带你飞
阅读(34)
评论(0)
推荐(0)
摘要：
你第一次自建 Git 托管时，会踩同一个坑：GitLab 装完一个虚拟机，内存先吃 4G；Gitea 轻一点，但身后照样拖着 SQLite + 一个要盯的进程；真到了上百人的团队，你开始聊主从、聊备份、聊"那个节点挂了怎么办"。 全世界的自建 Git 都是这么长大的——直到有个东西说：为什么服务器要 阅读全文
posted @ 2026-09-12 13:18
搬砖程序员带你飞
阅读(20)
评论(0)
推荐(0)
摘要：
你同时开着几个 coding agent：左边 Claude Code 在写接口，右边 Codex 在跑测试，角落里还有个 agent 卡住了等你回答——但你不知道它卡住了，直到 20 分钟后回头看。 herdr 解决的就是这个："agent 们到底在干嘛"。它是个后台服务，替你的 agent 们守 阅读全文
posted @ 2026-09-12 13:17
搬砖程序员带你飞
阅读(30)
评论(0)
推荐(0)
摘要：
9 月 7 日，黄仁勋在 X 上回复一条帖子，简短的几句话里塞了三层信息： 从 ChatGPT 到 o1，再到 Astra，只用了 4 年。 AGI 已到来。 祝贺 OpenAI 团队。 下一批 40 万块 GPU 即将上线。 就是这条帖子（7.1M 浏览、33K 赞）： 这本来只是"英伟达老板祝贺 阅读全文
posted @ 2026-09-12 07:26
搬砖程序员带你飞
阅读(55)
评论(0)
推荐(0)
摘要：
你同事的 Claude Code 是个失忆患者。上周刚在架构评审里拍板"接口走 PKCE，不用 implicit"，今天它在新会话里又一脸茫然地问你："这个项目的认证流程怎么定的？"你把决策重讲一遍，它又忘了，下次再问。 这不是个例，是几乎所有 AI 编程助手的通病。上下文窗口一关，关键决策就跟着丢 阅读全文
posted @ 2026-09-11 20:47
搬砖程序员带你飞
阅读(20)
评论(0)
推荐(0)
摘要：
1637 年，费马在书页边写下"我找到了绝妙的证明，可惜页边太窄写不下"，然后折磨了数学家 350 年。1995 年怀尔斯终于给出 129 页证明，人类又花了 30 年没法完全验证它。 2026 年 9 月 5 日，Anthropic 宣布：Claude 用 11 天完成了费马大定理的首个完整形式化 阅读全文
posted @ 2026-09-11 20:38
搬砖程序员带你飞
阅读(25)
评论(0)
推荐(0)
摘要：
9 月 8 日，数学圈炸了，不是因为证明本身，而是因为一场没人见过的证明引发的指控。 OpenAI 官宣：内部模型（能力远超 GPT-6 Astra）解出了纳维-斯托克斯（Navier–Stokes）千禧年难题——证明三维流体可以在有限时间内产生"奇点"（爆破），并附上了 Lean 形式化验证。规模 阅读全文
posted @ 2026-09-11 20:36
搬砖程序员带你飞
阅读(25)
评论(0)
推荐(0)
摘要：
一张路由器 App 截图，把美的送上了热搜：一台洗衣机，接入 19 小时 40 分钟，用了 411.52MB 流量。 美的客服的回应是："智能洗衣机联网不是强制性要求，不连接就不用流量"——没有正面回答"洗衣机在传什么"。 评论区吵成一团：有人说智能家电联网更新软件很正常，有人说这是偷传隐私。作为程 阅读全文
posted @ 2026-09-11 20:35
搬砖程序员带你飞
阅读(24)
评论(0)
推荐(0)
浙公网安备 33010602011771号