Lean-zh 是一个自发组成的团体，旨在推动 Lean 在中文学术和编程社区的普及和应用。如果你对 Lean 感兴趣，对编写 Lean 教程、翻译官方文档、开发 Lean 项目，或者任何其他形式的贡献感兴趣，欢迎加入我们。 项目目标 翻译和校对：提供 Lean 定理证明器官方文档的 ...

“吃药”不能用 eat，但“喝汤”却只能用 eat，因为老外的汤和我们中国的汤不一样，里面会放很多肉和菜，最后煮出来的汤根本就喝不了，只能吃。大家记住啦，“喝汤”不能用 drink，而要用 eat。

这可能表明，在希捷的HAMR磁盘进入量产后，西部数据也参与了HAMR磁盘的开发当中。意味着，西部数据可能很快也将推出HAMR机械硬盘了，至少比我们想象中要更快。 Intevac向硬盘厂商，比如希捷、西部数据提供200 ...

《不要抬头》 今天恐怕很少有人认为自己活在一个完全平等的世界里。教育、生存资源、性别、年龄......每个人都挣扎于自己的泥潭。约300年前，卢梭写下《论人与人之间不平等的起源与基础》，直到今天，人类社会看似有所进步，但实际上并没有想象中那么多。当今 ...

全球硬盘制造设备供应商Intevac近期透露，除了Seagate之外，已获得第二大客户的HAMR（Heat-Assisted Magnetic Recording，热辅助磁记录）设备订单。业界普遍认为，该客户极有可能是Western Digital。

U.S.'s plan to withdraw "on day one" would be "catastrophic" for global health, the FT quoted Lawrence Gostin, professor of global health at Georgetown Law, as saying. Gostin said there would be "very ...

之前捡垃圾2024年12月下，我给大家推荐了一款小黄鱼上性价比很高的BE6500规格的路由器——联通vs017。但是俗话说的好，实践出真知。所以我也是第一时间买回来了一台，上手给大家看看这台路由器划不划算。机器外包装很朴素，毕竟联通商城如果有货，加上 ...

Caterpillar 承诺确保工作场所多元化，使之代表我们在全球各地所服务的众多客户。 我们的品牌家族 Caterpillar 品牌代表了整个公司和我们的员工。我们通过完整的品牌组合，提供机器、发动机、部件、服务和解决方案，能够满足世界各地不同行业和客户的独特 ...

聊起ERP系统，很多人一听就懵了，不是因为它复杂，而是因为行业里那一堆“黑话”：BOM、MRP、KPI、JIT……这些词看着像密码一样，其实搞明白了 ...

2024年12月25日至26日，2024通明湖论坛将在北京亦庄的通明湖会展中心隆重召开。本届论坛以“信智原生创赢未来”为主题，围绕新一代信息技术的自主创新、行业应用与前沿发展，汇聚各方专家与业界精英，共同探讨未来技术的发展趋势。论坛将采用“3+2”场 ...

工业4.0，这个源自德国的热词是“第四次工业革命”的简称。如果说现在的自动化生产是人与机器对话，第四次工业革命将实现机器与机器对话。去年一年，曝光度增加的工业4.0概念让中国制造业有些惶恐。 [ 详细] ...