|
- 如何系统地学习Lean语言？ - 知乎
如何系统地学习Lean语言？ 看到陶哲轩不遗余力地推荐这门语言，并且计划用Lean重写自己的实分析教材。 好奇这门语言有何特点，如何系统学习？
- 什么是精益，Lean是什么意思？ - 知乎
精益（Lean）是一种系统性的营运方法，精益的目标在于减少生产过程中的无价值的浪费，为客户创造最大的经济价值。 在客户消费产品或服务的过程中，"价值"应该定义为消费者愿意为其买单的行为或流程。
- 为什么简体中文社交网络上大家更推荐Leans LEDE而不是官方的OpenWrt主线？ - 知乎
彼时主要在恩山发东西的lean反倒是少数派。比起koolshare版本，lean lede是更难上手的，但源码比koolshare更接近上游openwrt，也提供了相对更友好的编译说明。 没多久酷软商店就被监管gank（后来整个koolshare都无了），大家都没现成的东西用了。
- 5 Lean Principles Every Engineer Should Know - ASME
The Lean Enterprise Institute (LEI), founded by James P Womack and Daniel T Jones in 1997, is considered the go-to resource for lean wisdom, training, and seminars According to Womack and Jones, there are five key lean principles: value, value stream, flow, pull, and perfection
- 为什么简体中文社交网络上大家更推荐Leans LEDE而不是官方的OpenWrt主线？ - 知乎
知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容，聚集了中文互联网科技、商业、影视
- 如何评价 Lean 4 编程语言？ - 知乎
按官方流程安装lean和mathlib4 并编译 (在没有FQ的情况下，这是很考运气的一件事，我没有FQ，所以也没按官方流程安装) ； 4 使用所谓的国内源上海交大源glean，（也是浪费时间的事情，估计是版本的问题，很讨厌这种做事做一半的风格。
- 六西格玛黑带是什么？取得六西格玛认证有何意义？ - 知乎
1 帮助你的公司减低成本 在公司和老板的角度来说，成本就是他们的最大敌人，但很多员工却往往没有这种意识，六西格玛的训练能让我们更了解控制和改善成本效益的方法，加强我们对质量成本的意识，让我们更懂得从公司和老板的角度思考问题，从而更轻易地获取他们的认同和赏识。
- 如何看待Lean 4语言从定理证明向通用编程语言的转变？ - 知乎
Lean是Microsoft Research开发的交互式定理证明器，基于依值类型论。依值类型论将程序和证明的世界统一了起来，因此Lean也是一门编程语言。Lean认真地对待其双重性质，并且被设计为适合作为通用编程语言使用，Lean甚至是用它自己实现的。
|
|
|