home
/
blog
/
proj
blog
Apr 03
形式之外：论代码验证与文档审阅的存在论差异
[
philosophy
] [
software-engineering
]
Mar 26
否证的独白：论AI代码审查中形式化反证的认识论地位
[
philosophy
] [
ai
] [
code-review
]
Mar 22
不透明层：论自指系统的认知拓扑与判断的真诚性
[
philosophy
] [
ai
] [
design
]
Mar 22
离身的规划者：论DAG编排中处境性知识的不可替代性
[
philosophy
] [
ai
] [
design
]