Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
DDD泛在语言UL
纪念道格:质疑专家系统、知识库和规则引擎
来自AI前沿、符号计算大师stephen wolfram文章,本文阐
关于领域建模的最佳书籍
如果有人在我早期的职业生涯中告诉我,我将成为函数式编程的有力倡导者和函数式软件工程基础书籍的作者,我一定会觉得难以相信。 函数式编程真的值得我为之奉献一生吗? 然而,一旦我体验到函数式编程的纯粹之美,就再
超越人类语言的未来生活 -Venkatesh Rao
随着ChatGPT这样大语言模型发展,我怀疑我们正在进入一个超越语言的世界,到那时我们才开始意识到:语言对人类意识和心理的蒙蔽是多么深。 人类社会必须围绕自然语言作为一种机器代码来建立,这其实没有任何根本的理由。许多其他物种在使用更简单的语
Toki Pona:一种只有约 120 个单词的通用语言
Toki pona 是一种围绕语言尽可能简单理念而设计的Conlangs(人工语言)。除了 Toki Pona 之外,还有世界语和 Solresol另外两种国际语言的尝试。 Toki Pona 是由 Sonja Lang创作的,这是网址:
事实优先还是上下文优先?
衡量一个人或团体的意识形态化程度的一个标准是,当你陈述一个事实时,他们会问 "你这是什么意思?" 对于智力上诚实的人来说,事实本身是优先的。他们通常是确认事实并相信事实,在这之前是不会立即思考这个事实可能支持什么结论。
1580万美元的软件错误
64 个软件错误、复杂的业务规则和 1580 万美元的错误! 如果我们的官僚主义使按时支付教师工资这样看似简单的事情难以完成,那么我们如何才能解决我们作为一个城市所面临的其他挑战呢? 2022 年,旧金山
Stripe的API实战设计模式 - Paul
在这里介绍了一些API设计模式,这些模式足够通用,对 API 设计过程中的几乎任何人都有用。 语言给事物命名是很困难的。计算机科学中的大多数事情都是如此,API 设计也不例外。这里的问题是,与变量和函数名称
业务规则的两种类型 - Ronald
规则往往直接涉及到行为:不穿衬衫,不提供服务。这种规则被称为行为behavior规则。 世界上这样的规则比比皆是;商业和社会都建立在这些规则之上。 规则也可以间接地与行为相关,通过帮助形成
Rust中使用宏创建领域特定语言 (DSL)
如果DSL 需要嵌入 Rust 代码中(如内联汇编或 SQL 语句),您应该使用过程宏。相反,如果 DSL 代码是要解释的单独文件,则可以使用解析包,例如 Nom<
业务行为规则的五个问题
群体和社区的规则的关键特征是,个人和组织(以及机器)有时会打破规则。 这很明显。它一直在发生。只要看看你的周围。想想我们花了多少时间和精力去预测、检测和制裁违规行为。这就是为什么我们有监管机构、警察和监狱。还有合规部门。还有无休止的数据清理活动。<
五个产品数据的可持续检测分析步骤
以下 5 个步骤整合到您的工作流程中,以开始使用更好的分析工具: 第0步:用数据赋予你的工程师权力。有一个关键的第0步,没有这一步,无论你的整体流程有多好,你的检测都不会达到标准。
用知识图谱提取专业文献关键词
简洁地可视化和总结或“压缩”大约 10,000 个单词的百科全书式哲学文章,仅包含一组 24 个最常用的非通用单词。 使用的主要工具是来自 Wolfram Function Repository 的
DDD领域语言对云架构设计的重要性 - architectelevator
近年来,人们对领域驱动设计 (DDD) 的兴趣激增,正如DDD Europe等热门活动和Learning Domain-Driven Design等书籍所表明的那样。虽然对复杂业务领域进行建模对于成功的系统始终发挥着重要作用,但需要明确领域边界的模块化运行时架构(例如微服务应用程序)为 DD
好规则的标准:切实可行
规则必须是具体和明确的,否则在遵守、确定和计数方面就无法做到有章可循。好的规则可以避免主观性和不可能。这些规则经过解释(深入研究),可以直接使用或应用。换句话说,好的规则是可以付诸实践的。 在本文中,罗恩将讨论表达规则的黄金标准:<
什么创造力?创造力是一个动态的、变革的和相互关联的涌现过程
几个世纪以来,对创造力的探索一直吸引着不同领域的思想家,产生了丰富多样的观点。 一些最有影响力的观点来自查尔斯·桑德斯·皮尔斯、吉尔·德勒兹、克里斯托弗·亚历山大和大卫·博姆的哲学基础。 尽管他们的工作背
图技术是数字化转型的核心
多年来,数字化转型一直是首席执行官和董事会的首要任务,但其结果却好坏参半。虽然他们总体上成功实现了某些关键目标,但许多其他成果却远远低于预期。管理顾问经常指出许多根本原因,但他们常常忽视一个明显的共同点:这些失败至少部分是由于缺乏图技术,而图技术是这些转
阿兰·图灵:数学符号表达的问题并不都能用算法解决
算法已经变得无处不在。它们优化我们的通勤、处理支付并协调互联网流量。 只要可以用精确的数学术语表达的问题(问题空间),都有一种算法可以解决它?(解决方案空间) 但事实并非如此:一些看似简单
CatalaLang/catala:法律规范的编程语言
Catala:一种从立法文本中导出算法的语言。 Catala 是一种特定于领域的语言,用于从立法文本中派生算法。它允许在高度保证法典忠实性的情况下实施社会财政机制。该语言是与法律专业人士合作设计的,模仿法律的逻辑结构。它是唯一将默认逻辑嵌入为顶流
上页
下页