技术
toulmin -- 计算契约的规则引擎
规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。
filefunc — 一个文件，一个概念
AI 代码 agent 的探索单元是文件。filefunc 是一种强制「一个文件，一个概念」的 Go 代码结构规范，同时也是一个 CLI 工具。
Feature Chain — 用一个 operationId 追踪全栈
修改一个功能需要动哪些文件？Feature Chain 只需输入一个 operationId，就能自动提取从 API 规范到数据库 schema、授权策略、测试场景的完整范围。
whyso — git blame 看不到的那部分
git blame 能告诉你谁、何时、改了什么。whyso 告诉你为什么改。从 Claude Code 会话数据中自动提取每个文件的变更历史。
气候变化的解决方案在太空？没错，是真的。
在太阳和地球之间安装遮阳膜来逆转气候变化。戴森镜工厂去掉镀层就能生产遮阳膜，无需推进剂自行飞行，撤掉即可恢复原状。数学上完全成立。
SSaC — Service Sequences as Code
一种语言无关的概念，将服务函数内部的业务流程分解为声明式块（sequence）。只需用10种固定类型声明what，codegen自动填充how。
AI思考法：用第一性原理拆解前提的5个步骤
别向AI要答案。把AI当作共鸣板，快速验证、拆解、重组你的前提假设。5步方法论，两个实战案例。
用废弃的热量做饭？废热回收型热泵烹饪设备的可能性与现实
革命性地减少传统烹饪设备能源浪费的废热回收型高温热泵技术，究竟发展到了什么程度？又该如何改进？
用沙漠的沙子筑坝，30年后这座坝变成森林
提出一种绿洲颗粒技术：用生物粘合剂将毫无用处的沙漠沙子压制成蓄水池，使用寿命结束后自然分解为肥沃土壤。
用不会起火的电池，把浪费的电变成肥料和暖气
用不会起火的爱迪生电池储存因太阳能出力限制而浪费的电力，再从氢气生产肥料和尿素液，实现能源与农业融合的自给自足模式。