2024-11-01
忘了什么时候开始隐隐觉得，真正赚钱的生意是卖情绪，而情绪的根本是认同；卖情绪的高级版本是卖体验、卖价值。
今天听到一期播客节目《中国好生意》，主持人说：梁宁说过，情绪才是流量。不太清楚这个人，貌似是个比较厉害的产品经理。看来我也有点产品经理的思维了。
2024-12-18
世界真是一个 Perfect Circle。前几天刚接触到能解释高中时期对反证法的不信任的理论——构造主义数学，现在尝试做的线上兼职要求使用的 LEAN 4 编程语言就是依赖于构造主义数学中的 Dependent Type Theory 形成的。难道说 Type Thoery 的创建就是为了让计算机更好地理解数学？
