Harada

[Harada @rea1Harada]

@Leoninweb3 预测了个jb

[Harada @rea1Harada]

@app_sail @xeexnn Fiat24还能入金不

[Harada @rea1Harada]

@JohnnyBi_X Fiat24现在应该受影响了吧

[華爾街分析猿 @WSTAnalystApe]

「如果你夠聰明，你不需要它；
如果你不夠聰明，你更不該用它。」

巴菲特談槓桿

[Matt Pocock @mattpocockuk]

Announcing mattpocock/skills v1

- Achieved a 63% reduction in token cost for skill descriptions
- Split skills into model-invocable and user-invocable skills, adding /codebase-design, /domain-modeling, and /grilling
- (UPDATED) /writing-great-skills - rewritten from the ground up, encoding my skill-writing best practices
- (UPDATED) /diagnose -> /diagnosing-bugs - now model-invocable, awesome for fixing hard bugs
- (NEW) /ask-matt: a router skill that teaches you how all the engineering skills work together

[Harada @rea1Harada]

Crazy

[AlexZ 🦀 @blackanger]

准备的小礼物送出去了。。

Bun 作者和 CC之父 boris 一样，早已不看���码。

对于如何review 百万行代码，他的方法是： review ai 生成的过程，而不是代码。修复 ai 指令，重新生成，而不是代码。

这是下一个 level 了

[Harada @rea1Harada]

That's so insightful!that really cuts through the noise.

[Department of State @StateDept]

SECRETARY RUBIO: "One of the things you'll find pretty consistently in every totalitarian system is that they want to control the ability of their citizens to communicate with one another."

[恒星sun @vintcessun]

今天白天看了一个开源项目，叫 awesome-architecture。本质上它把 21 套真实系统的架构图（AI 网关、RAG、agent、向量 DB）做成可复用的模板，而不是只讲代码。学到了：架构设计不是从零开始画图，而是先理解“别人怎么搭”，然后对比自己的方案哪里像、哪里可以改。有点离谱的是，它还把知识做成 skill，能在 Cursor 里引导你一步步设计系统——相当于有个“架构导师”陪你写方案。

https://t.co/gGPHnIx3at

[howie.serious @howie_serious]

codex app 里新增加了heatmap 功能

简洁直观。

目前连击 29 天，最多一天用量 3 亿token。

[郭宇 guoyu.eth @turingou]

最近我已经用 AGS（Agent Git Service） 替代了 GitHub 作为我的主要开发环境，年初我曾经想过彻底放弃本地开发环境，5月底终于做到了，现在，除了 iOS 模拟器依赖 Mac 我不得不让我家里的 Mac Studio 始终在线之外，其他产品的开发我已全部迁移到围绕 AGS 的第一层 harness 工作流，因此，AGS 成了我的 source of truth，GitHub 仅用来做代码备份和开源项目的 issue 管理。

我的 AGS 开发服务器运行在 sandbank cloud 的第一台服务器，也就是东京（TYO）服务器��，工作流是截图中第二条。dev agent 会自动在 AGS 服务器上进行开发，支持 wanman 和 codex /goal 双驱动的模式，提交，构建，stage 环境和发布都在本机。至于 chat UI，我现在选择 chatGPT ios app 上的 codex 来监控和指导对话，没有用其他聊天软件。

基于 AGS 的工作方式，我在做一个新的产品叫做 VAS（virtual agent server）除了整合上述功能并提供虚拟化的工作空间之外，VAS 还提供了双工语音模型的控制入口，这样我们就可以把这样一个「可以在生产环境开发真正产品」的 harness 整合到任何音箱或者语音人机界面中去。

[nini @nini_incrypto_]

Google 把内部工程师的代码审查（Code Review）规范公开啦

这几乎是目前业界最顶级的标准

很多程序员只会写代码，但不知道怎么审代码，可以看看 Google 是怎么做的

1.双向指南：不仅教审查者怎么挑毛病，还教作者怎么写出容易通过的代码

2.术语科普：解释了 Google 内部常用的 LGTM（看起来不错）和 CL（变更列表）到底意味着什么

3.实战价值：这套规范不是理论，而是 Google 每一位工程师都在用的实际操作准则

如果你想提升团队的代码质量，或者想知道顶级大厂的开发门槛，这份文档必读！

https://t.co/OdaozRkMYn

[Han1 @ThisisHan1_]

最直接的方法：
把这篇文章分享给Codex，让它review所有session，找到工作流中可以优化的点

[郭宇 guoyu.eth @turingou]

看到 deepseek 也在招第一层 harness cli 的工程师，我突然想到目前复杂和各行业垂直的 harness 产品这么多，但是第一层 harness 最优秀的产品大家觉得是哪个呢？pi？

[宝玉 @dotey]

https://t.co/5DaPyMKzWZ

[Harada @rea1Harada]

@pizzapastamcd1 @AkakeNoSakura 确实。僵尸企业日本也是老玩家了。内债不是债，只要美国还在

[李老师不是你老师 @whyyoutouzhele]

5月5日，美国国务卿 鲁比奥被记者提问：“你一直对上帝和国家怀有深厚信仰……在这样的时刻，你对美国有什么期待？”

鲁比奥国务卿回答：“我对美国的希望？和我一直以来的期待一样。我想，这也是我们共同的期待。

希望美国依然是一个任何人都能凭借自身努力取得成就的地方，不会因为出身、肤色或族裔而被限制。
坦白说，这里应该是一个突破困境、实现潜力的地方。我认为，���应该也成为世界上每个国家的所追求的目标。

当然，美国并不完美。我们的历史也并非完美无缺，但它仍然比世界上任何其他国家的历史都更好。这是一个不断进步的故事，每一代美国人都让下一代更加自由、更繁荣、更安全……

在即将迎来建国250周年之际，我们既要从历史中汲取教训，也要为它感到自豪。这是一段持续改进的历史，让每一代人都为实现建国先驱的理想贡献自己的力量。”

[花果山大圣 @shengxj1]

《他的软肋是儿子》
我媳妇当时怀孕，我正在准备学英语，这个北京社区工作人员的发言激励了我

[Harada @rea1Harada]

@martinzhang1973 这说明人多就是不安全的来源啊，人越多，越涌现冲突

[Paul E. McKenney @paulmckrcu]

For those who have been asking for hardcopies of "Is Parallel Programming Hard, And, If So, What Can You Do About It?", I received my new hardcopy of the Second Edition. Enjoy!

[灰狐 @huihoo]

感谢朋友推荐《Operating System Concepts》第十版
彩色图文，1278页，也是厚重的，与《编译原理》龙书
一陆地龙，一飞行龙，🐲🐲相见，龙书两部曲，齐活
LLVM 编译器Logo也是一只飞行龙，这里面一定有故事
此外，编译原理三大圣书——龙书、虎书、鲸书
https://t.co/jorR20cTMt