把经历过的，连成记忆。
这是我的记忆构建平台，你也能搭一个。
Kubernetes 的 CRD 里有一行 self.minReplicas <= self.replicas，Google Cloud 的 IAM 条件、Envoy 的 RBAC 里也是同一种写法。它叫 CEL。我们从一个普通需求出发：让用户在平台里自己写放行规则。嵌入脚本语言会碰到能调用什么、会不会停、写错了何时知道、每次多慢四个问题；CEL 用非图灵完备、类型检查和成本估算回答它们。再把 CEL 和 expr、Rego、Cedar、JsonLogic、Starlark、Lua、SpEL 等 22 个同类实现放进同一组场景实测，最后整理出在 Go 里用好 CEL 的做法。
设想一条链：每条知识不超过 1 KB，必须引用链上已有的知识，由一群 agent 投票决定是否成立，提交者和投票者都能领到新发的币。顺着这个设想往下走：它应该长什么样、哪些部分已经有人做过、一条知识的一生怎么走、币怎么发，再中立地看几个逻辑上的问题：根从哪来、引用对了推理是否就对、多数票和真相是什么关系、投票权和奖励会把参与者引向哪里，以及它和 Lean 形式化证明到底谁更普适。
Petals 说可以像 BT 下载一样，用大家家里的显卡一起跑 70B 的大模型；io.net 说手里有几十万张分散的 GPU。顺着“模型为什么要拆”往下追：按层切开的流水线怎么传数据、为什么每个 token 都要跑一圈网络、层内切开的张量并行为什么只能待在一个房间里、并发能不能把空转的机器填满、io.net 实际上拆的是什么，最后用电费和市价算一笔账，看“闲置硬件不要钱”这个赌注在什么条件下成立。
Go 服务新版本上线，日志里刷出 column "coupon_code" does not exist：加列的 SQL 写了，生产库没人执行。顺着这个现象往下追：手写的 .sql 文件怎么交给 golang-migrate 和 goose 去执行，执行到一半失败了库里留下什么，两个分支各加一个文件时会不会漏掉一个，一个 .sql 从提交、CI、打包到部署要走哪几步、由谁来执行，一条只改元数据的 ALTER 为什么能把整张表堵住，新旧代码同时在线时列名怎么跨几个版本改，最后是 down 文件到底能不能用来回滚。
一台 4 核机器在 22:31 抖了半分钟，几分钟后登录上去，load average 已经回落，一切正常。为了弄清刚才发生了什么，我们把龙蜥社区的 SSAR 和 sar、atop、below、PCP、collectl、nmon、tsar 装在同一台机器上，用同一个尖峰去考它们：默认采样点有没有落进去，load1 为什么总是慢半拍，SSAR 的 load5s 怎么从 /proc/loadavg 反推出每 5 秒的真实线程数，卡在 D 状态的是哪个进程、哪个线程、卡在内核哪一行，事后才想到的指标还能不能查，以及这些记录各要花多少 CPU 和磁盘。