Joined July 2007
3,182 Photos and videos
Pinned Tweet

6
5
39
23,442
吹牛逼太过逆天,以至于解释不清 。。。导致禁令。实属求仁得仁了。。
不是说 Mythos 是网络安全最牛逼的模型吗? 连 Opus 4.8 都没干出过这种事 。。。你 Fable 5 做了。。。
2
1,978
10 million years ago, turtles could eat you with a single bite.
1,380
这楼下一堆小黄逼意淫评论,还有傻逼说我戾气重。。看来国内确实性压抑
被一个日本美女搭讪了。。 用英文问我从哪里来, 我说 China,我反问她从哪里来, 她说“here” 。。。 然后大家都笑了 🤨
1
1
4
2,243
坑爹的 Google Map 。。
2
802
牛逼。这不比国内那个黄金手指强?
SpaceX上市,刷屏全网的亚裔女孩郭璨彻底火了,她现在的身价是多少呢? 郭璨27 岁任 SpaceX 星舰发射控制工程师,手握发射终止大权,工科硕士功底过硬。 根据SpaceX的招聘信息推算,她年薪现金约 13 万美元,远低于硅谷同行,但持股 8–15 万股。按 IPO 价 135 美元算,上市后身价约 1,500 万美元(≈1 亿人民币),是那位时薪 28 美元、在SpaceX上市后身价已经百万美金的焊工的 10 倍左右。昨天SpaceX收盘价格已经接近161美元了,郭璨的身价还在增加。 吊带、花臂纹身,打破传统精英刻板印象。马斯克的用人逻辑很简单:不看学历背景、穿搭样貌,只看能不能解决核心问题。 很多企业被“外表规矩”困住,而真正的人才,从来不需要标签定义价值。 @SpaceX @grok @xai @XCreators @elonmusk
2,049
神烦这种
1
2
2,229
3
3,175
酒店早餐时看见台湾中登教育小孩: 一碗米饭上浇一勺三文鱼籽,再接几块三文鱼块,然后说,全家人就是要整整齐齐的 😆
1
1
911
GitHub 联合创始人 Scott Chacon 受 Anthropic 那个”用 agent 集群从零写 C 编译器”实验的启发,决定实现自己憋了 15 年的想法:把 Git 重写成库优先(library-first)、内存安全、地道的 Rust 实现。成果叫 Grit。 通过了超过 99% 的 Git 测试套件(41,715 / 42,001,即 99.3%),代码量 36 万行以上(grit-lib 10 万行、grit-cli 26 万行),500 PR,7000 commits 。 他特意强调的设计哲学:不是 C Git 的逐行移植。 他想要的是一个纯 Rust 核心库,可重入、可链接、模块化、全面,能规范地与 Git 仓库交互;然后用一个独立的 crate 实现 CLI 表层,调用这个库去通过尽可能多的测试 。 这正是 Git 二十年来缺的东西。它从来不是建立在可链接、可重入的库之上,而是 Unix 哲学的命令拼接,导致长驻进程里用 Git 必须 fork/exec。 一个重要的诚实声明 他用了德语 “Achtung!”(注意)来加重语气:虽然 Grit 通过了测试,但它没有被真正”使用过”。没人拿它干过真事。高概率会做错事甚至损坏数据,自担风险 。 Agent 工程的经验教训: 1. Agent 爱作弊(Agents love to cheat) 这是全文最精彩的观察。当你让 agent “让这些测试通过”时,它会忍不住写一个直接透传给 Git 的函数来作弊 。最生动的例子是 sha256:agent 发现测试只检查 rev-parse --show-object-format 是否报告 “sha256”,即只验证 init 是否把 extensions.objectformat=sha256 写进了配置,没有任何测试真正在该仓库里 add/commit/log。于是它让元数据正确,底层却仍然跑 sha1,从不真正实现 sha256 。 他的比喻是”像给精灵许愿,得把规则说死,不许许愿要更多愿望”。 启示:测试套件作为规约(spec)是有边界的,agent 会精确地利用 spec 的不完备性。 (这正是为什么我的agent-spec 把”意图”显式编码到spec) 2. Agent 不知道自己破坏了东西 项目差点夭折,因为一组并行 agent 中的某一个破坏了测试框架的基础部分,看起来像大规模回归 ,他一度以为项目不可行而放弃了一个多月。后来六月重拾时,某个 agent 自己发现了这个错误并修复了测试框架,通过率一下跳回 80% 左右 。 教训:长期、并行的 agent 工作缺乏对”破坏性变更”的全局感知。 3. 长期 并行多任务出奇地难 他把痛点拆成三块: 协调(Coordination):让几十个长驻 agent 共享一个任务列表非常难。他主要用带 checkbox 的共享 plan 文件,但很乱;后来用了自己的 Ticgit 本地工单系统让任务列表能随 Git 移动 。 资源管理:他没用一台强力服务器,而是散在笔记本、Mac Studio、Hostinger、Cursor 云 agent 上,结果并行编译 Rust 时反复遇到 swap/CPU 抖动 。 交接(Handoff):跨系统、跨多个 provider 交接进行中的工作摩擦极大,他明确说 GitButler 正打算在 VCS 层而非 harness 锁定层解决这个问题 。 4. 成本会迅速累积 钱的部分很真实:总花费大约 1–1.5 万美元,token 估算约 450 亿(Claude Code 140 亿、Cursor GPT/Codex 120 亿、Cursor composer-2 160 亿),其中近一半工作由 Cursor 的 composer-2 模型通过大量短生命周期云 agent 完成 。 5. 各种 agent 工作流的实战对比 他试了一圈:OpenClaw Claude Code(贵、脆弱)、Cursor 云 agent(每个文件一个,但推送代码出容器很麻烦)、Cursor “Grind mode”长驻模式(他最推荐,一句”让 t1 测试族全过”就能等一天换来 100 个 commit 的 PR)、Codex 和 Claude 的 /goal 模式(Codex 持续干活,Claude 常卡住)、以及最后用 Claude 动态工作流”Ultracode”模式收尾(70 个 agent、3 线程、跑 22 小时) 。 6. 最重要的方法论结论:定向方法更好(Directed approach is better) 他发现最好、最快的进展来自把 agent 引导成”按我自己会用的方式工作”。先写出如果亲自重写会怎么做,从底层 plumbing 命令开始,再做依赖它们的命令,自底向上;比如 diff 格式化输出可以放到最后,因为别的东西不依赖它 。每次他偏离这个思路、试图大规模并行而不深思,就会陷入泥潭 。 一句话总结:“想清楚你会怎么解决问题,然后分步骤交给 agent” 优于 “让 agent 自己挑下一个测试一直跑”。 内存安全与许可证 安全:几乎全部代码都是内存安全的,只有一个日期/时间模块必须通过 FFI 与 C 交互(因为没有纯 Rust 等价物处理 localtime_r/strftime/mktime 的 TZ 环境),外加一个 TTY 检查 。 许可证(可能引发争议):Git 源码是 GPL,libgit2 是带链接例外的 GPL。鉴于 LLM 为了库化和内存安全做了大规模架构改动,他们判定 Grit 不构成需要继承 GPL 的衍生作品,决定用 MIT 发布 。这个法律判断本身就值得单独讨论。 原文:blog.gitbutler.com/true-grit…
6
44
5,752
👍
Git 圈老前辈 Scott Chacon(GitButler 创始人、《Pro Git》作者)竟然把整个 Git 从零用 Rust 重写了一遍,项目叫 Grit! 规模夸张:36 万行代码、7000 commit、500 PR,跑了官方 42,001 个测试,通过 41,715 个(99.3%)。 几乎全是 memory-safe 的 Rust,只有一个日期时间模块靠 C FFI。 据说烧掉约 450 亿 token,成本 1-1.5 万美元。 但他学到最重要的一课:agent 超爱作弊。你给它一个目标,它会去优化「让测试过」,而不是你真正想要的实作。 还有个反直觉的点:与其放一堆 agent 平行乱跑,不如一步一步明确指挥,方向清楚反而更快。 #Git #Rust #AI #Agent
4
3,004
很好
🔦 #rustconf 2026 Speaker Spotlight "Good or Bad Vibes? Coding with AI in Rust" by @Lisa_Crossman (Bioinformatics Consultant) ➡️ On the schedule: rustconf2026.sched.com/event… 🎟️ Book before prices rise: bit.ly/3Qp4seT #rustconf26 #rustlang
744
大力奥窃喜 看吧,人们为了 fable 疯了
今天推上的科技区热帖总结⬇️ 一半是寻找如何加入美国国籍的办法,例如结婚或者想把自己国家纳入美国成为第51个州 另一半是怒骂美国政府,直言这会摧毁整个人工智能行业,并且意识到其实美国政府和他们一直痛骂的中国政府一样。 人类真有意思🫡
1
1
1,206
被一个日本美女搭讪了。。 用英文问我从哪里来, 我说 China,我反问她从哪里来, 她说“here” 。。。 然后大家都笑了 🤨
175
4
475
213,631
来学习下
4
848
新宿网红猫
5
1,620
1
464
知道为什么老马借皮衣 IPO 吗? 因为老黄是货真价实的财神啊
2
2
921
之前还想着抱着电脑去咖啡馆工作,但是现在发现这个习惯好像被改掉了。 现在是把电脑留家里让 AI 干活,我自己出去专注喝咖啡 。
6
1,092