Notes RSS feed

• REA：让 Agent 逆向任何东西，通过逆向来学习产品

  25/10/26, 16:00

  REA（Reverse Engineer Anything）是一个开源的 MCP Server，让 Agent 去逆向软件：从应用行为一路看到原生二进制。支持的目标很杂：原生二进制、JavaScript / Electron 应用、.NET 程序集、Android APK、网站、固件、抓包文件等。

  我感兴趣的用法不是破解，而是通过逆向来学习产品：看到一个好用的功能，让 Agent 去拆开看它到底是怎么做的，再参考着在自己的项目里实现一个。

  工作方式

  Agent 通过 MCP 调用 REA 检查目标、追踪相关代码，REA 把发现连同证据一起返回。Agent 可以据此解释行为、继续追问，或者直接写一版实现并测试。分析在本地跑，不过 Agent 背后的模型服务商有它自己的数据政策，敏感目标要注意。

  输出大致是：

  • 原生程序：伪代码、汇编、字符串、符号、调用和引用关系；
  • JavaScript / Electron：模块、import、Electron 主进程与渲染进程的边界；
  • 其他：Go / Rust 依赖信息、APK 签名、抓包摘要等。

  官网 rea.tools 上有几个示例，比如追踪 Notion 桌面端（Electron）的剪贴板桥接是怎么实现的。

  安装

  需要 Node.js 22 以上。一条命令完成配置：

  npx rea-agents setup

  选择要接入的 Agent（Claude Code、Codex、Cursor、Gemini CLI、Grok Build 等），确认改动后，它会注册 MCP Server 并装好工作流说明，原有配置会先备份。

  只看 JavaScript 和 .NET 不需要额外工具；深入分析原生程序需要 Hopper、Ghidra 或 IDA。IDA Pro、Hopper 这类商业工具要自己有正版授权，REA 不提供。

  用法

  直接跟 Agent 说就行，例如：

  用 REA 分析一下这个应用的某某功能是怎么实现的，给出证据，然后在我的项目里实现一个类似的功能。

  注意

  逆向前确认目标的许可协议是否允许。另外 README 提醒只认官方来源：GitHub 上的 morluto/rea、rea.tools 和 npm 上的 rea-agents。

• The Harness Problem

  27/06/26, 21:29

  Can Bölük 这篇 The Harness Problem 讨论的是一个容易被忽略的问题：我们评价 coding agent 时，常常把结果全部归因到模型本身，但模型真正工作的环境并不只是 prompt，还有 harness。

  这里的 harness 可以理解成模型和真实工作区之间的整套外骨骼：文件读取方式、上下文组织、工具 schema、错误信息、编辑协议、状态管理，以及失败后如何恢复。模型知道要改什么，不等于它能稳定地把修改落到文件里；而这个中间层一旦设计得别扭，很多“模型不行”的失败其实是工具边界的失败。

  文章里最有意思的是 edit tool 的对比。apply_patch 对 Codex 友好，但对没有专门适配过这种格式的模型可能很脆；str_replace 看起来简单，却要求模型精确复述旧文本，空格、缩进、多处匹配都会变成失败点；Cursor 选择再训练一个专门负责 apply 的模型，也侧面说明“把意图合并进文件”本身就是个难题。

  作者提出的 hashline 思路很小，但切中要害：读文件或 grep 时，每一行都带一个短 content hash，之后编辑时用这些 line tag 作为锚点，比如替换某一行、某个范围，或者插入到某个 tag 之后。这样模型不需要重新背出旧文本，只需要引用它刚刚看见过的稳定标识；如果文件中途变了，hash 对不上就拒绝编辑，避免默默改坏。

  这和人类编辑代码时的直觉也接近：我不是靠复述整段旧文本来证明自己知道在哪里改，而是靠位置、上下文和可验证的锚点来表达修改意图。对 LLM 来说，短 hash 像是把“我指的是这里”变成了一个工具协议，而不是让模型用脆弱的文本重构来碰运气。

  benchmark 结果也强化了这个判断：同一批模型、同样的任务，只换 edit tool，成功率和 token 消耗就明显变化。弱一些的模型收益更大，因为它们原本可能不是不会修 bug，而是被 patch/replace 的机械失败卡住了。换句话说，harness 会遮蔽模型能力，也会释放模型能力。

  最后作者 vendor 那段也很关键：如果每家公司都只优化自家模型和自家 harness，开放生态就很难把这些经验沉淀成公共基础设施。模型是护城河，但 harness 更像桥；桥修得越好，越能看清不同模型真实的能力边界。

  References

  I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed.

• The Bitter Lesson

  13/05/26, 03:25

  Richard Sutton 是强化学习的奠基人之一。他在 2019 年写的这篇 The Bitter Lesson 很短，但判断非常硬：AI 史上真正长期有效的方法，往往不是把人类知识精巧地写进系统，而是那些能够持续利用更多计算的通用方法。

  The biggest lesson that can be read from 70 years of AI research is that general methods that leverage computation are ultimately the most effective, and by a large margin.

  这个 lesson 是 bitter 的，是因为它一次次打击研究者对“人类知识”和“领域技巧”的偏爱。很多手工设计、规则注入、结构假设，（特征、模块、流程，决策逻辑，问题的抽象形态），短期看会提升效果，也更符合研究者对问题的理解；但从长期看，它们往往会过早到达平台期，甚至妨碍系统继续从规模、搜索和学习中获益。

  AI researchers have often tried to build knowledge into their agents […] but in the long run it plateaus and even inhibits further progress.

  我觉得这篇文章最值得反复提醒自己的地方，不是“人类知识没有价值”，而是不要轻易把自己当下的理解硬编码成系统的上限。人类发现过的东西当然重要，但如果目标是构造更强的智能系统，更关键的可能是让系统拥有继续发现复杂性的能力。

  We want AI agents that can discover like we can, not which contain what we have discovered.

  Sutton 最后强调的不是某个具体模型或技巧，而是可扩展的 meta-methods：search 和 learning。它们的价值在于，当计算资源继续增长时，方法本身还能继续吃到增长的红利。

  长期有效的东西通常不讨好人，但世界的复杂性大到很难被人手工压缩进一套漂亮规则里；与其把发现结果塞进系统，不如把发现过程本身交给系统。

  References

  The Bitter Lesson - Rich Sutton

• FlashAttention 参考资料

  25/04/26, 00:00

  • 榨干 GPU 效能的 FlashAttention 第三代（Medium）

• Gost 使用 KCP协议 进行端口转发

  25/04/25, 21:31

  例如，将服务器端的8081端口，转发到客户端的8080端口。

  使用kcp隧道进行传输, 需要注意的是hostname填写服务器的地址。

  由于是服务器控制的转发地址，所以客户端只监听一个tcp端口，通过forward，

  服务端配置

  gost -L kcp://:8080/127.0.0.1:8081

  客户端配置

  gost -L tcp://:8080 -F forward+kcp://hostname:8080

• Home Row 练习网址

  24/03/25, 02:30

  1. https://www.edclub.com/
  2. https://monkeytype.com/

• chsrc：全平台通用换源工具

  18/02/25, 12:05

  chsrc：全平台通用的换源工具，一条命令为系统包管理器、编程语言和各类软件切换镜像源。

  常用镜像站的整理见 镜像源总结和推荐。

• einsum 学习资料

  17/01/25, 16:37

  • Einsum is All you Need（Tim Rocktäschel）
  • Einsum: an underestimated function（Towards Data Science）
  • 用 einsum 实现 attention（AI Summer）

  我自己的练习见 爱因斯坦求和约定在注意力机制中的应用。

• VPS 按国家放行的端口白名单

  13/01/25, 12:51

  • 使用 ipset 设置防火墙端口白名单，只让指定国家访问：https://www.moerats.com/archives/684/
  • Linux VPS 一键屏蔽指定国家所有 IP 的访问：https://www.moerats.com/archives/585/

  用 UFW 也能实现，就是规则太冗余；用 nftables 实现似乎效果更好。

• Windows SSH 登录 Linux 参考

  30/12/24, 11:36

  • 產生 SSH Key 並且透過 Key 進行免密碼登入（辛比誌）
  • Windows 配置本地 config 文件，SSH 访问指定服务器（CSDN）