为什么用 lean 形式化理论很重要？为了给人类知识添砖加瓦 - before：“学习”很多的教科书，研读很多论文，同一个学科有无数本教科书，同一个理论有无数种说明方式，每个人理解也不同。给人类知识添砖加瓦十分困难 - after: 人类知识变成了一个“程序”大家一起为这个程序找 bug, 添 feature。每个人都可以贡献：比如即使是普通用户（只是对某个理论感兴趣在学习）可以这样贡献：这个程序有些地方不好懂，用户体验有改进空间。
- 0 replies
- 0 recasts
- 0 reactions
黄仁勋：程序员的本质不是写代码，而是解决已知的问题，或者未知的问题，ai 帮助解决。发现问题，解决问题的能力，而不是写代码，区分了程序员的能力
- 0 replies
- 0 recasts
- 0 reactions
武志红：每个人都是自私的。认为自己很无私，我做这一切“都是为了你”类型的人，讨要的是权利，是对方的乖顺，完美，甚至愧疚。这种人常在一些不需要牺牲的地方牺牲，为什么这样？因为为自己努力通常是很难的，需要很努力，不断钻研，常常还会失败。但在为别人时，通常可以在更为简单的事情上努力。失败也不会损伤自恋，而是积累更高的道德资本。”你看，我为你付出了太多“。当一个人说我为你付出了一切，你听到后不应该是感动，而是格外警惕。因为这等于在说，我对你的控制已全面开始。人的一切行为本质上都是利己的。承认这一点健康的利他才会浮现。沉溺于”我是受害者，我牺牲了这么多“的叙事，从中得到悲剧美学的满足。这个人几乎必然变成关系的必然终结者。
- 0 replies
- 0 recasts
- 0 reactions