This media is not supported in your browser
VIEW IN TELEGRAM
4分钟回顾杨振宁一生：能和爱因斯坦比肩的科学巨匠，与邓稼先“共同途（来源：中青报）
👍4🤡3
很少有人知道杨先生深刻影响了中国AI和计科的发展。
刚下飞机，才看到官宣了。
其实昨天群友的朋友的朋友就打听了
确实状态不好😮💨
没想到最后还是...
大家熟知的是杨先生对于中国科学界的贡献
但很少有人知道杨先生和人工智能学界的关系
现任中美院士、清华人工智能学院、叉院院长姚期智先生（图 2️⃣
正是在他的影响下决定回国任教（还是杨先生和姚先生面谈了一次
另一个则是杨先生在西南联大时候的室友
美艺术与科学院院士、数学家、哲学家、逻辑学家
王浩先生（图3️⃣
我在查资料的时候才发现是我老乡😳
甚至是我的学长....
之前只知道校友有邓恩明和季羡林
王浩先生的贡献也没啥的
无非是在哈佛数学系任教的时候深刻影响了
人工智能奠基人之一的
明斯基（图 4️⃣
明斯基在他的著作里里多次提到王浩
明斯基高度评价了王浩机
称之为 “第一个得自真正计算机模型的图灵机理论”
但王浩觉得无所谓┐(´-｀)┌没当回事
王浩也是机器定理证明的奠基人之一
他于1958年夏天在IBM电脑上
只用9分钟就证明了
罗素《数学原理》中一阶逻辑的全部定理
这也为他赢得1983年国际人工智能联合会（IJCAI）
颁发的里程碑大奖🏆
王浩对计算机科学的另一个重大贡献
就是指导了库克（Stephen A. Cook）的博士论文
库克他后来提出了P vs NP的问题（图 5️⃣
这是当今计算机科学和数学中最重要的问题(つ≧▽≦)つ📚
库克为此获得1982年图灵奖
很少有人知道的是
而库克用到的方法是则是王浩发明的
库克后来回忆王浩对自己的启发：
我很了解王浩的思想和方法
我对NP完全问题的结论与他的非常类似
图灵和王浩说的是谓词演算
我说的是命题演算
一个有趣的事情是(‘-’*)
当年杨先生的父亲杨武之邀请杨先生回国的信✉️
正是王浩先生代为转交的
斯人已逝
而这些故事最终都会慢慢被众人遗忘
但我觉得有必要
在这里跟大家分享一下
刚下飞机，才看到官宣了。
其实昨天群友的朋友的朋友就打听了
确实状态不好😮💨
没想到最后还是...
大家熟知的是杨先生对于中国科学界的贡献
但很少有人知道杨先生和人工智能学界的关系
现任中美院士、清华人工智能学院、叉院院长姚期智先生（图 2️⃣
正是在他的影响下决定回国任教（还是杨先生和姚先生面谈了一次
另一个则是杨先生在西南联大时候的室友
美艺术与科学院院士、数学家、哲学家、逻辑学家
王浩先生（图3️⃣
我在查资料的时候才发现是我老乡😳
甚至是我的学长....
之前只知道校友有邓恩明和季羡林
王浩先生的贡献也没啥的
无非是在哈佛数学系任教的时候深刻影响了
人工智能奠基人之一的
明斯基（图 4️⃣
明斯基在他的著作里里多次提到王浩
明斯基高度评价了王浩机
称之为 “第一个得自真正计算机模型的图灵机理论”
但王浩觉得无所谓┐(´-｀)┌没当回事
王浩也是机器定理证明的奠基人之一
他于1958年夏天在IBM电脑上
只用9分钟就证明了
罗素《数学原理》中一阶逻辑的全部定理
这也为他赢得1983年国际人工智能联合会（IJCAI）
颁发的里程碑大奖🏆
王浩对计算机科学的另一个重大贡献
就是指导了库克（Stephen A. Cook）的博士论文
库克他后来提出了P vs NP的问题（图 5️⃣
这是当今计算机科学和数学中最重要的问题(つ≧▽≦)つ📚
库克为此获得1982年图灵奖
很少有人知道的是
而库克用到的方法是则是王浩发明的
库克后来回忆王浩对自己的启发：
我很了解王浩的思想和方法
我对NP完全问题的结论与他的非常类似
图灵和王浩说的是谓词演算
我说的是命题演算
一个有趣的事情是(‘-’*)
当年杨先生的父亲杨武之邀请杨先生回国的信✉️
正是王浩先生代为转交的
斯人已逝
而这些故事最终都会慢慢被众人遗忘
但我觉得有必要
在这里跟大家分享一下
❤3
我是子木。
别人叫我小李老师，二哥。
我看自己是数字时代的转型标本。
-
我看见的职业困境
技术博客写了 150 多篇。
开源项目收获 20k stars。
但代码量 ≠ 生存能力。
从 Java 到 SEO 增长黑客的赛道切换。
曾年薪小几万，但焦虑翻倍。
管理过 20 人团队，却管不了职业倦怠。
-
我知道的行业真相
技术人的天花板是自我设限。
我发现：
1. 编程是手艺，增长是哲学
2. 代码解决技术问题，解决不了人性
3. 出海是蓝海，也是红海
最讽刺的时刻：
为 AIGC 黑客马拉松熬夜。
却忘了为什么出发。
-
最撕裂的时刻
医科大毕业去医院稳定工作。
选择互联网的不归路。
在医院信息科呆了一天。
我知道那不是我要的剧本。
另一次是站在转型岔路：
继续做技术大牛？
还是拥抱产品和增长？
我选择了未知的疼痛。
-
尾声
十年了。
从泥瓦匠到子木。
从代码到出海。
时间告诉我：
转型不是背叛，是进化。
价值在创造，而非执行。
留白给未来的可能性。
别人叫我小李老师，二哥。
我看自己是数字时代的转型标本。
-
我看见的职业困境
技术博客写了 150 多篇。
开源项目收获 20k stars。
但代码量 ≠ 生存能力。
从 Java 到 SEO 增长黑客的赛道切换。
曾年薪小几万，但焦虑翻倍。
管理过 20 人团队，却管不了职业倦怠。
-
我知道的行业真相
技术人的天花板是自我设限。
我发现：
1. 编程是手艺，增长是哲学
2. 代码解决技术问题，解决不了人性
3. 出海是蓝海，也是红海
最讽刺的时刻：
为 AIGC 黑客马拉松熬夜。
却忘了为什么出发。
-
最撕裂的时刻
医科大毕业去医院稳定工作。
选择互联网的不归路。
在医院信息科呆了一天。
我知道那不是我要的剧本。
另一次是站在转型岔路：
继续做技术大牛？
还是拥抱产品和增长？
我选择了未知的疼痛。
-
尾声
十年了。
从泥瓦匠到子木。
从代码到出海。
时间告诉我：
转型不是背叛，是进化。
价值在创造，而非执行。
留白给未来的可能性。
https://mp.weixin.qq.com/s/36KUDZceJMvRWLy1TD8gaw
雷峰网对「外卖大战」的Q3阶段做了战报总结，我试着划一下重点：
- 阿里Q3外卖业务的亏损在350亿-400亿人民币之间，差不多是Q2亏损的2.5倍，数据披露于投资指引会，主要功能是吹风降预期；
- 9月开始各家平台都呈现出扛不住的退坡共性，补贴力度相较暑期档下降些许，但依然都没有撤退迹象，原本靠价格战受益最大的淘宝闪购又重新吐回了一些市场份额；
- 根据美团的说法，今年餐饮业堂食客单价已经被打回了2015年的消费水平，而「外卖大战」以来超过一半的增量订单是饮品，75%的增量订单低于15元，「是巨大的泡沫」；
（我看美团的意思还是在敲打阿里，认为阿里发动并升级补贴的做法是对市场稳定性的破坏。）
- 美团依然认为履约效率是自己的优势，内部数据显示，美团骑手的平均配送速度比竞争对手要快13%，「这是美团外卖十几年积累下来的最宝贵资产」；
- 下一步的竞争会转移到订单质量上，美团在大力推广加钱获得一对一急送的服务，同时让黑钻会员免费享用，做好消费能力偏高的那部分用户体验；
- 阿里也是一样，今年双11会把淘宝的大消费体系拉进来一起做，尤其是会员和88VIP作为高价值用户要重点服务，同时还有超过1亿人是在淘宝点过外卖但没进电商下过单的，也要发力转化；
- 好像没提到京东啥事儿。
雷峰网对「外卖大战」的Q3阶段做了战报总结，我试着划一下重点：
- 阿里Q3外卖业务的亏损在350亿-400亿人民币之间，差不多是Q2亏损的2.5倍，数据披露于投资指引会，主要功能是吹风降预期；
- 9月开始各家平台都呈现出扛不住的退坡共性，补贴力度相较暑期档下降些许，但依然都没有撤退迹象，原本靠价格战受益最大的淘宝闪购又重新吐回了一些市场份额；
- 根据美团的说法，今年餐饮业堂食客单价已经被打回了2015年的消费水平，而「外卖大战」以来超过一半的增量订单是饮品，75%的增量订单低于15元，「是巨大的泡沫」；
（我看美团的意思还是在敲打阿里，认为阿里发动并升级补贴的做法是对市场稳定性的破坏。）
- 美团依然认为履约效率是自己的优势，内部数据显示，美团骑手的平均配送速度比竞争对手要快13%，「这是美团外卖十几年积累下来的最宝贵资产」；
- 下一步的竞争会转移到订单质量上，美团在大力推广加钱获得一对一急送的服务，同时让黑钻会员免费享用，做好消费能力偏高的那部分用户体验；
- 阿里也是一样，今年双11会把淘宝的大消费体系拉进来一起做，尤其是会员和88VIP作为高价值用户要重点服务，同时还有超过1亿人是在淘宝点过外卖但没进电商下过单的，也要发力转化；
- 好像没提到京东啥事儿。
❤1