技术
反向利用IFEval的棘轮代码
LLM的谄媚偏差不是缺陷，而是资产。将IFEval衡量的指令遵循能力与确定性反馈相结合，即使4.5B本地模型也能生成准确代码的收敛循环便由此诞生。
yongol — AI 编程 SaaS 的龙骨
氛围编程在200个端点处崩溃，因为AI无法区分决策与实现细节。yongol将AI的工作对象从代码转移到10种声明式规范，并在编译前强制执行跨层一致性。
Ratchet Pattern -- 让 Agent 做到底的方法
让 AI Agent 为 527 个函数编写测试，它在第 40 个时宣布'完成了'。Ratchet Pattern 通过将完成判定交给机械式 verifier，迫使 Agent 走到终点。
tsma -- 遗留代码的回归防线
一个 CLI 工具：索引所有函数、检测测试有无、测量覆盖率、向 LLM 代理提供精确反馈。一条命令为遗留代码构建回归防线。
toulmin -- 计算契约的规则引擎
规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。
filefunc — 一个文件，一个概念
AI 代码 agent 的探索单元是文件。filefunc 是一种强制「一个文件，一个概念」的 Go 代码结构规范，同时也是一个 CLI 工具。
Feature Chain — 用一个 operationId 追踪整个全栈
要修改一个功能需要改动哪些文件？Feature Chain 只需输入一个 operationId，就能自动提取完整范围——API 规范、DB 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年后这座坝变成森林
提出一种绿洲颗粒技术：用生物粘合剂将毫无用处的沙漠沙子压制成蓄水池，使用寿命结束后自然分解为肥沃土壤。
用不会起火的电池，把浪费的电变成肥料和暖气
用不会起火的爱迪生电池储存因太阳能出力限制而浪费的电力，再从氢气生产肥料和尿素液，实现能源与农业融合的自给自足模式。