TIL
@til
为什么用 lean 形式化理论很重要?为了给人类知识添砖加瓦 - before:“学习”很多的教科书,研读很多论文,同一个学科有无数本教科书,同一个理论有无数种说明方式,每个人理解也不同。给人类知识添砖加瓦十分困难 - after: 人类知识变成了一个“程序”大家一起为这个程序找 bug, 添 feature。每个人都可以贡献:比如即使是普通用户(只是对某个理论感兴趣在学习)可以这样贡献:这个程序有些地方不好懂,用户体验有改进空间。
0 reply
0 recast
0 reaction