lean专题

LEAN 类型理论之注解(Annotations of LEAN Type Theory)—— 定义上相等(Definitional Equality)

定义上相等(Definitional Equality)指的是意义上相等,即同义,包括了,定义的缩写(Abbreviatory Definition),alpha转换,相同替代(substituting equals for equals)等。下面是LEAN给定的何谓 定义上相等。          注:罗列的推演规则中,如自明其义的,则不多加解析其前提、结果、或特定注解。

2021下半年 自编译最新稳定版 128M WNDR4300V1 Openwrt Lean 固件

注意 本文章将不再更新,2022最新版详见这里 相比之前的固件(不建议使用),这个版本大幅提升了稳定性 关于编译方法详见我的文章Mac OS Mojave 编译 Openwrt 并整合 lean软件包、Openwrt 新版源码 调整 WNDR4300 固件大小至128M以及编译所用Github Actions 仓库 固件包含的功能 仅列出主要功能 第一版

Lean Software Development: An Agile Toolkit for Software Development Managers

版权声明:原创作品,允许转载,转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Lean software development: applying agile principles to your organization In Lean Software Development

Implementing Lean Software Development: From Concept to Cash

版权声明:原创作品,允许转载,转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp This new book draws on the Poppendiecks' unparalleled experience helping development organizations opti

Windows Socket 编程, WIN32_LEAN_AND_MEAN 的用法

一、基本Socket 调用 原文地址:Getting Started with Winsock 注意关于windows.h 与 winsock2.h 一起使用时的问题: The Winsock2.h header file internally includes core elements from theWindows.h header file, so there is not usua

WIN32_LEAN_AND_MEAN 的作用

若要加速生成过程 Visual C++ 和标头提供以下新定义的 Windows: VC_EXTRALEAN WIN32_LEAN_AND_MEAN      可以使用它们来减小 Win 32 头文件的大小。      VC_EXTRALEAN 和 WIN32_LEAN_AND_MEAN 用于从 Windows 头中排除极少使用的服务。 只能在 MFC 中使用 VC_EXTRA

#define WIN32_LEAN_AND_MEAN作用

MSDN的资料:           为加速生成过程,Visual   C++   提供了如下定义(这些定义通过排除一些不太常用的   API,减小了   Win32   头文件的大小):           VC_EXTRALEAN           WIN32_LEAN_AND_MEAN           VC_EXTRALEAN   定义   WIN32_LEAN_AND_MEAN

[敏捷开发培训] 精益软件开发中的8中浪费(Lean Software Development)

精益软件开发中的8中浪费 精益组织(Lean Organization)理解客户价值,并关注其关键过程以不断增加客户价值。最终的目标是通过完美的价值创造过程,为客户提供完美的价值,没有浪费。 什么是浪费(Waste)? 浪费是在一个过程中不需要完成一个过程(所谓的“非增值”)的任何步骤或动作。当浪费被消除时,只有需要的步骤(称为“增值”)才能为顾客提供满意的产品或服务。 8种浪费 Def

Mongoose - lean

lean属性的作用:转换mongoose查询结果类型,从MongooseDocuments转换为JS Object,从而便于我们修改查询结果。 mongoose查询: Model.findOne({});Model.save(); 以上2种查询返回的数据实际上是MongooseDocuments对象(mongoose自己封装的一个对象),并且这个对象会对数据进行实时查询以保证其符合预定义的m