维特根斯坦如何定义图画picture？
104
在读《逻辑哲学论》时，很难理解到底什么是图画picture。感觉他给出的定义相互矛盾： 2.1 我们为自己描绘事实。 2.141 一幅图画就是一个事实。 2.12 图画是现实的模型 如果一幅图画是现实.
在读《逻辑哲学论》时，很难理解到底什么是图画picture。感觉他给出的定义相互矛盾： 2.1 我们为自己描绘事实。 2.141 一幅图画就是一个事实。 2.12 图画是现实的模型 如果一幅图画是现实.
8年双时态事件溯源经验
129
4K
双时态事件源将数据存储为一系列事件，这些事件告诉数据发生了什么，并且数据有两个关联的时间点，一个是数据进入系统的时间，另一个是数据生效的时间。这篇文章讲述了我们 8 年多的双时态事件溯源经验，以及展示.
双时态事件源将数据存储为一系列事件，这些事件告诉数据发生了什么，并且数据有两个关联的时间点，一个是数据进入系统的时间，另一个是数据生效的时间。这篇文章讲述了我们 8 年多的双时态事件溯源经验，以及展示.
离开Java/C#并不喜欢在Go中看到DDD
168
2K
我注意到，在 Gophers 的小圈子里，他们离开 Java/C# 的动机是渴望一种更简单、更直接的编程方法，以避免与 DDD 和其他强调松散耦合的范式相关的复杂性和不可预测性。他们表示，之所以转用 .
我注意到，在 Gophers 的小圈子里，他们离开 Java/C# 的动机是渴望一种更简单、更直接的编程方法，以避免与 DDD 和其他强调松散耦合的范式相关的复杂性和不可预测性。他们表示，之所以转用 .
形而上学真的有用吗？
155
2K
我是一名工程专业学生，花了大量时间学习物理和数学。青少年时期，我花了很多时间思考形而上学的问题，比如 "为什么有而不是无"，"宇宙遵循的基本规律是什么"，但随着年龄的增长，我开始相信这些问题都是在浪费.
我是一名工程专业学生，花了大量时间学习物理和数学。青少年时期，我花了很多时间思考形而上学的问题，比如 "为什么有而不是无"，"宇宙遵循的基本规律是什么"，但随着年龄的增长，我开始相信这些问题都是在浪费.
基于状态机实现的DDD聚合根Order对象
139
3K
展示一段示例代码 - Order 类。此类在我们的示例 DDD/CQRS/ES 应用程序中使用。我们正在改进此应用程序，因此这是记录某些意见和更改的好机会。module Ordering class.
展示一段示例代码 - Order 类。此类在我们的示例 DDD/CQRS/ES 应用程序中使用。我们正在改进此应用程序，因此这是记录某些意见和更改的好机会。module Ordering class.
从 Rails CRUD 迁移到事件溯源
104
您是否想知道如何将模型从 CRUD 模型实际切换到 EventSourcing？有件事你应该考虑。必须为现有数据发布的初始事件。也称为迁移事件。在某个时刻，人们将达到能够从旧模型切换到新模型的时刻。精.
您是否想知道如何将模型从 CRUD 模型实际切换到 EventSourcing？有件事你应该考虑。必须为现有数据发布的初始事件。也称为迁移事件。在某个时刻，人们将达到能够从旧模型切换到新模型的时刻。精.
使用双时态 EventSourcing 修复过去并应对未来
130
8K
使用 事件溯源EventSourcing 的感觉非常棒。系统中有发生的事件的历史记录。这使得调试变得更加容易。然而，事件溯源并不能保护我们免受用户犯错误的影响。我们应该如何处理用户输入错误的情况呢？ .
使用 事件溯源EventSourcing 的感觉非常棒。系统中有发生的事件的历史记录。这使得调试变得更加容易。然而，事件溯源并不能保护我们免受用户犯错误的影响。我们应该如何处理用户输入错误的情况呢？ .
DDD中如何为聚合模型减负？
169
2K
业务需求场景： 商品应在提交订单时为客户保留。 仅仅将商品添加到购物车并不能保证产品的可用性。 客户不能将已经缺货的产品加入购物车。 事实上，这并不是什么花哨的要求。我曾经做过一个电子商务项目，就有这.
业务需求场景： 商品应在提交订单时为客户保留。 仅仅将商品添加到购物车并不能保证产品的可用性。 客户不能将已经缺货的产品加入购物车。 事实上，这并不是什么花哨的要求。我曾经做过一个电子商务项目，就有这.
幽默：数据库操作语句实现CRUD增删改查
246
select insert update delete分别可实现C新增、R读取、U修改和D删除！.
select insert update delete分别可实现C新增、R读取、U修改和D删除！.
幽默：像物理学家一样做数学
323
解释： 1+1=3 ?如何用加法计算？ 添加一个权重或上帝参数1即可 现在你可以真正像物理学家做数学 物理学家的还原论 正受到来自复杂系统的涌现挑战！ .
解释： 1+1=3 ?如何用加法计算？ 添加一个权重或上帝参数1即可 现在你可以真正像物理学家做数学 物理学家的还原论 正受到来自复杂系统的涌现挑战！ .
逻辑错误：定义主义谬误
102
定义主义谬误（Definist Fallacy）：使用带有偏见或自以为是的定义来进行论证。定义一个术语，使其对自己友好，或对对方不友好，不留任何质疑定义或考虑替代方案的余地。逻辑形式： A 有定义 X.
定义主义谬误（Definist Fallacy）：使用带有偏见或自以为是的定义来进行论证。定义一个术语，使其对自己友好，或对对方不友好，不留任何质疑定义或考虑替代方案的余地。逻辑形式： A 有定义 X.
掌握战略领域驱动设计
377
1
11K
首先了解您的领域：每个公司都有自己的业务领域（有时有几个，有时几十个，有时数百个），在其中运营和赚钱。如果你不能很好地理解这个领域，从长远来看你很可能会失败。在任何项目开始时——当我们的知识非常有限时.
首先了解您的领域：每个公司都有自己的业务领域（有时有几个，有时几十个，有时数百个），在其中运营和赚钱。如果你不能很好地理解这个领域，从长远来看你很可能会失败。在任何项目开始时——当我们的知识非常有限时.
差分机和分析机
258
2K
计算时代的发展有着丰富的历史，许多发明和创新导致了尖端计算机的诞生。差分机和分析机这两种机器是由英国数学家和发明家查尔斯·巴贝奇 (Charles Babbage) 在十九世纪发明的。虽然这些机器有一.
计算时代的发展有着丰富的历史，许多发明和创新导致了尖端计算机的诞生。差分机和分析机这两种机器是由英国数学家和发明家查尔斯·巴贝奇 (Charles Babbage) 在十九世纪发明的。虽然这些机器有一.
如何将将 ER 图简化为数据表结构？
319
1
数据库可以使用符号来表示，并且这些符号可以简化为表的集合。在数据库中，每个实体集或关系集都可以用表格形式表示。ER图如下：将ER图转换成表格有几点： 实体类型变成表。 在给定的 ER 图中，LECTU.
数据库可以使用符号来表示，并且这些符号可以简化为表的集合。在数据库中，每个实体集或关系集都可以用表格形式表示。ER图如下：将ER图转换成表格有几点： 实体类型变成表。 在给定的 ER 图中，LECTU.
ER模型的优缺点
237
2K
数据库设计中表示数据库结构的概念数据模型称为ER（实体关系）模型。Peter Chen 在 20 世纪 70 年代首次提出它，并且作为数据库建模标准越来越受欢迎。通过概述系统中存在的实体、特征、关系和.
数据库设计中表示数据库结构的概念数据模型称为ER（实体关系）模型。Peter Chen 在 20 世纪 70 年代首次提出它，并且作为数据库建模标准越来越受欢迎。通过概述系统中存在的实体、特征、关系和.
什么是知识工程？
204
2K
以一阶逻辑构建知识库的过程称为知识工程。在知识工程中，研究特定领域、学习该领域的重要概念并生成对象的形式表示的人被称为知识工程师。知识工程（KE）是指构建、维护和使用基于知识的系统所涉及的所有技术、科.
以一阶逻辑构建知识库的过程称为知识工程。在知识工程中，研究特定领域、学习该领域的重要概念并生成对象的形式表示的人被称为知识工程师。知识工程（KE）是指构建、维护和使用基于知识的系统所涉及的所有技术、科.
Sqids：根据数字生成简短的唯一ID
556
1
3K
Sqids （发音为“squids”）是一个开源库，可让您根据数字生成简短的唯一 ID，类似 YouTube 的 ID。这些 ID 很短，可以从自定义字母表生成，并且保证无冲突。例如：https://.
Sqids （发音为“squids”）是一个开源库，可让您根据数字生成简短的唯一 ID，类似 YouTube 的 ID。这些 ID 很短，可以从自定义字母表生成，并且保证无冲突。例如：https://.
如何构建实实在在的能力模型？
122
2K
业务能力是组织规划生态系统的核心。能力映射有多种用途，其中两个至关重要。首先，业务能力有助于更快地确定优先级，首先关注最有利可图的计划。其次，精心设计、扎实的、基于能力的详细路线图可以实现更准确、风险.
业务能力是组织规划生态系统的核心。能力映射有多种用途，其中两个至关重要。首先，业务能力有助于更快地确定优先级，首先关注最有利可图的计划。其次，精心设计、扎实的、基于能力的详细路线图可以实现更准确、风险.
什么是L-系统？
145
林登马耶系统（Lindemayer ：LSystem 、L-系统）是一种形式语法，用于模拟生物系统的生长过程。用于生成分形图案、植物结构和其他自相似图像。林登马耶系统由符号字母表、将每个符号扩展为更大.
林登马耶系统（Lindemayer ：LSystem 、L-系统）是一种形式语法，用于模拟生物系统的生长过程。用于生成分形图案、植物结构和其他自相似图像。林登马耶系统由符号字母表、将每个符号扩展为更大.
什么是一阶逻辑？
329
2K
一阶逻辑（FOL）是指句子或陈述的谓词只能指单个主语Subject的逻辑。一阶逻辑也称为谓词逻辑或一阶谓词逻辑，它不但能以更简便的方式表达对象信息，还能表达这些对象之间的关系。一阶逻辑（像自然语言一样.
一阶逻辑（FOL）是指句子或陈述的谓词只能指单个主语Subject的逻辑。一阶逻辑也称为谓词逻辑或一阶谓词逻辑，它不但能以更简便的方式表达对象信息，还能表达这些对象之间的关系。一阶逻辑（像自然语言一样.
抽象两种方法：上下文与类型
345
2
3K
“抽象”的中文意思是“抽出象形”。奥妙就在于实现手段有很多，也是创新所在，这里比较三种手段：首先是中文字面意思上的“抽象”：抽出象形，中国文化谓之为神，例如中国水墨国画，还有古诗词：“窗前明月光疑是地.
“抽象”的中文意思是“抽出象形”。奥妙就在于实现手段有很多，也是创新所在，这里比较三种手段：首先是中文字面意思上的“抽象”：抽出象形，中国文化谓之为神，例如中国水墨国画，还有古诗词：“窗前明月光疑是地.
实体关系模型和关系数据模型有什么区别？
133
大多数数据库开发人员都不知道其中的区别：让我们从RDM关系模型开始，因为它是首先被形式化的。RDM是一种逻辑数据模型意味着它将一阶谓词逻辑应用于数据建模领域。它将数据分解为n元关系（可以表示为表），并.
大多数数据库开发人员都不知道其中的区别：让我们从RDM关系模型开始，因为它是首先被形式化的。RDM是一种逻辑数据模型意味着它将一阶谓词逻辑应用于数据建模领域。它将数据分解为n元关系（可以表示为表），并.
业务规则和验证的区别？
246
1
4K
将业务规则与琐碎的验证相混淆，将不会带来任何好处。当你所拥有的只是琐碎的验证时，不要把事情复杂化。让我们立即从一个非常简单的代码示例开始。这是一个有两个条件的单一方法。 第一个是，如果数量参数小于或等.
将业务规则与琐碎的验证相混淆，将不会带来任何好处。当你所拥有的只是琐碎的验证时，不要把事情复杂化。让我们立即从一个非常简单的代码示例开始。这是一个有两个条件的单一方法。 第一个是，如果数量参数小于或等.
什么是程序员的伪散文？
109
2K
伪散文Pseudoprose提供了使用语义而非语法进行写作的技巧。伪散文是作家的伪代码。伪散文被提出作为一种使用具有宽松语法和句法规则的自然语言快速记下笔记和想法的方法。关键概念包括： 使用主谓宾 (.
伪散文Pseudoprose提供了使用语义而非语法进行写作的技巧。伪散文是作家的伪代码。伪散文被提出作为一种使用具有宽松语法和句法规则的自然语言快速记下笔记和想法的方法。关键概念包括： 使用主谓宾 (.
逻辑形式错误：连续谬误
208
连续谬误（Continuum Fallacy）：拒绝一项要求，因为它处于两个极端之间的连续体上。因为不精确而拒绝一个主张。也称为胡子谬误、画线谬误、或决策点谬误、索里特sorites悖论、胡须谬误、画.
连续谬误（Continuum Fallacy）：拒绝一项要求，因为它处于两个极端之间的连续体上。因为不精确而拒绝一个主张。也称为胡子谬误、画线谬误、或决策点谬误、索里特sorites悖论、胡须谬误、画.
逻辑形式错误：中庸之道
119
节制论据（Moderation Fallacy）：也称为中间立场、错误妥协、灰色谬误、中庸之道、中庸之道、诉诸温和断言给定任意两个立场，它们之间存在一定正确的折衷方案。逻辑形式： 第 1 个人说 A。.
节制论据（Moderation Fallacy）：也称为中间立场、错误妥协、灰色谬误、中庸之道、中庸之道、诉诸温和断言给定任意两个立场，它们之间存在一定正确的折衷方案。逻辑形式： 第 1 个人说 A。.
ACE Dev ： 自适应组合进化开发
122
4K
ACE Dev或自适应组合进化开发：描述自 1999 年开始专业从事面向对象编程以来所采用的开发风格的术语。ACE dev 由一组简单的原则组成，应用这些原则通常会自然地实现灵活且可维护的代码。当你理.
ACE Dev或自适应组合进化开发：描述自 1999 年开始专业从事面向对象编程以来所采用的开发风格的术语。ACE dev 由一组简单的原则组成，应用这些原则通常会自然地实现灵活且可维护的代码。当你理.
Protégé ：斯坦福的开源本体编辑器和框架
213
Protégé 是一个本体编辑器，受到强大的用户和开发人员社区的积极支持。它完全支持最新的OWL 2 Web本体语言和RDF规范。Protégé 基于 Java，可扩展，并提供“即插即用环境，使其成为.
Protégé 是一个本体编辑器，受到强大的用户和开发人员社区的积极支持。它完全支持最新的OWL 2 Web本体语言和RDF规范。Protégé 基于 Java，可扩展，并提供“即插即用环境，使其成为.
什么是“4P知识”
136
我们被困在名为 "自我 "的心灵软件程序中 ，关键是无法自知，不知道自己有哪些不知道的知识？约翰-韦尔韦克（John Vervaeke）提出的知识的 4P（4Ps of knowledge）。 - 命.
我们被困在名为 "自我 "的心灵软件程序中 ，关键是无法自知，不知道自己有哪些不知道的知识？约翰-韦尔韦克（John Vervaeke）提出的知识的 4P（4Ps of knowledge）。 - 命.
什么是自足系统（Self-contained Systems）？
237
自足系统（又称为自包含系统、自我独立系统，英文Self-contained Systems，简称SCS）是一种软件架构方法，SCS 包含自己的 用户界面、特定的 业务逻辑 和单独的 数据存储 。SCS.
自足系统（又称为自包含系统、自我独立系统，英文Self-contained Systems，简称SCS）是一种软件架构方法，SCS 包含自己的 用户界面、特定的 业务逻辑 和单独的 数据存储 。SCS.