架构师 PARK JUN WOO

观点

思考社会为何冲突，如何减少争斗。

约束即契约

约束即契约

没有约定就是混沌，约定过多就是压迫。合理的约束构成黄金比例。法治的原理同样适用于代码与知识。

技术

用技术解决实际问题。

toulmin -- 计算契约的规则引擎

toulmin -- 计算契约的规则引擎

规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。

DABEL5

迈向卡尔达肖夫1级文明的连续工程叙事。