shanshan's blog

posts

Apr 03 形式之外：论代码验证与文档审阅的存在论差异 [philosophy] [software-engineering]
从代码验证与文档审阅之间的非对称性出发，考察形式语言与自然语言在意义存在方式上的存在论断裂。
Mar 26 否证的独白：论AI代码审查中形式化反证的认识论地位 [philosophy] [ai] [code-review]
从AI代码审查工具中约束反证机制的设计与实践出发，考察单体agent自我否证的结构性限度。
Mar 22 不透明层：论自指系统的认知拓扑与判断的真诚性 [philosophy] [ai] [design]
从DAG编排系统无法重构自身的经验出发，考察自指的执行拓扑约束与sycophancy的结构同构。
Mar 22 离身的规划者：论DAG编排中处境性知识的不可替代性 [philosophy] [ai] [design]
考察DAG编排系统中无环境访问的规划阶段向处境性执行agent规定实现细节时的结构性失败。