博世公司BOSCH简史（转） 我对博世的兴趣来自于公司对车 BU 的定位“华为不造整车，而是聚焦 ICT 技术，帮助车企造好车，造好车，成为智能网联汽车的增量部件提供商”，众所周知，汽车生态里早就有一家不造车，帮助车企造好车的典范，这就是德国的博世公司。 按照博世的财报，2019 年他们的收入 777 亿欧元，税前利润 29 亿欧元，净利润 20 亿欧元，全球雇员数 398150 人。博世把业务分了四个领域：移动方案、工业技 2021-02-01 Life 随笔 随笔
用现实主义者的心态看问题（转） 用现实主义者的心态看问题 前天朋友圈被一篇文章刷屏，这篇文章是远川科技评论的《危险的分工：从苹果陷阱，到特斯拉幻影》。戴老板创办的远川一直是我很喜欢的一个平台，发表的文章都很有深度，是恶劣的自媒体环境里极为罕见的精品平台。这篇文章的水平也是值得称道的，和以往远川的风格一样，列举了大量事实来佐证观点，而且看得出，这些例证是经过调研、采访的，不是咪蒙那种坐在家里瞎编的。但是这篇文章在阅读的过程中，我 2021-02-01 Life 随笔 随笔
皮亚诺自然数理论中的两类归纳法 皮亚诺自然数理论中的两类归纳法 今天被问及 Peano 自然数理论中良序性和第二类归纳法（强归纳法）的关系，没有记清楚良序性的严格定义，也没能答出与第二类归纳法的关系，感觉还是没读进去...所以本文是再回顾 Peano 自然数理论做的整理。 皮亚诺公理 由于第一类归纳法与公理第五条直接相关，首先我们需要回归一下完整的皮亚诺公理 PA1. \(0 \in \mathbf{N}\). P 2021-01-14
Haskell——《Real-World-Haskell》Chapter1 State the facts and suspend judgment A brief sketch of Haskell's history From Real World Haskell The development of Haskell is rooted in mathematics and computer science research. Prehistory 2021-01-08 Computer Science Haskell Haskell
关于学霸 关于学霸 关于学霸，我之前总疑惑，本是对“学”的热爱，为何被冠以“霸”字，实在不能接受。今天看了王垠的文章觉得想法有些相似，所以摘录下来。真的不喜欢同龄人/同行者以“学霸”，“学神”等词相互称呼，无关谦虚，是真的不喜欢。 以下内容摘自王垠的博客 表面上“学霸”一词好像在恭维，而其实隐藏着对学习的恐惧，对知识的不在乎和鄙视。他们下意识觉得学习是痛苦的事情，有钱人都不需要学习。你要努力学习， 2021-01-08 Life 随笔 随笔