about

近况 🐾

对不起,我不学 Crypto 了喵!
不学网安了喵!
网安完蛋了喵!!!

一切大概都从我没能在截止日期前提交纸质成绩单开始。后来我被数院拒了,于是来到了网安。先摆了半年,接着开始打 CTF、学 Crypto,又转头刷算法,大二下学期甚至开始考虑考研。

直到某一天,一个用豆包编程的猫娘让我试了一次 Codex。

啊啊啊,毁灭吧。

接下来想做什么 ✨

我准备随便速成一下 Java 后端,先捞几年米再跑路。大不了就在郊区混一辈子,反正有电脑、有云服务器、有网络,日子也不是完全过不下去。

可是,这也不是我真正想要的哇。

我想看到的是:AI 机器人取代绝大多数岗位,然后人类狠狠享福的世界口牙!也许那才是自由吧。

所以,哪怕现在看起来有点乱,我还是会为了一个有未来的未来,努力把能学的东西学一点,把想做的东西做一点。

语言又转了喵 🐹

在写了三个月 Java 之后,我又进行了一番深刻的思考:决定转 Go 后端。

不是 Java 不好,主要是我突然又想做点不太像传统业务系统的东西了。比如让 Agent 自己理解需求,去发现合适的物理机器,锁定资源,派发任务,然后拿着执行证据去验证结果,最后再结算费用。

这听起来已经不像“写几个接口然后连数据库”了,比较像是把机器、任务、Agent、验证和钱全都塞进同一个状态机里,想想就很适合把自己折磨得很开心。

web4 里在做什么 🛠️

我最近在做 PHYSIO 原型。它的目标是做一个去中心化的物理资源调度协议:用户只需要提出需求,Agent 负责寻找资源、购买资源、调用机器、提交证据,验证层确认任务确实按约完成之后,才进入结算。

目前里面主要有几部分:

  • 用 Go 作为 PoC 的主要方向,计划让 Linux Daemon 和任务运行时常驻在物理机器上;
  • 把任务拆成 Discover、Reserve、Execute、Verify、Settle 几个阶段;
  • 记录资源规格、区域、价格、可用性和可信度,不让“看起来在线”直接等于“可以安全执行任务”;
  • 给每次执行生成 receipt、输入清单、输出承诺和验证结果,让机器说自己做完了不再是唯一证据;
  • 设计托管、验证、挑战和结算流程。

现在的 web4 还不是一个已经接上真实链、真实硬件和真实支付的生产系统。它更像是协议研究、架构草图和控制台 Demo:界面里可以看到资源市场、任务流水线、验证证据、Escrow 和事件流。

但我好像终于找到一点比单纯写业务更想做的东西了。Go 只是语言,真正让我感兴趣的是:能不能把现实里的机器变成 Agent 可以理解、调用、验证和结算的资源。

所以,Java 写到这里先放一放,接下来去写 Go。希望这次不要三个月后又突然宣布转 Rust 喵。

先这样喵。

0%