符号推理与形式逻辑

本周我将触及一个更轻松的主题，但仍然非常重要：我的猫图灵完备吗？Peluche（法语中的“毛绒”的意思）是一只光滑的猫，不知何故住在我家。她将是我们今天的测试对象。 Peluche 图灵完备吗？ 什么是图灵完备

编程中最普遍的任务之一是将数据放入和取出复合数据类型。复合数据类型只是表示可以包含其他数据类型（如列表和对象）的数据类型的一种奇特方式，而原始类型是不能分解的“原子”（如数字和布尔值）。在 JavaScript 中，我们可以这样做：

是业务决定技术？还是技术决定业务？是人决定IT，还是IT决定人？这是康威定律与敏捷的区别：一位叫Melvin Conway学者进行了社

显性知识：这些都是很容易得到的事实，并不特别值得多说。“英国的首都是什么”或者“特斯拉今天的市值是多少”可以在网上快速查询。这些是公共的显性知识，还有私人的显性知识，虽然某些知识并不是特别难以传播，但拥有这些知识的人可能没有传播的动力，例如，在设计科学实验时，了解各种试剂、用品和设备的成本可

经合组织公共部门创新观察站最近发布了一份关于政府中规则的创建和表达的重要讨论文件： "Cracking the Code."，其核心思想是“规则即代码”（RaC），可以理解为两种方式。首先，它是一种改进规则创建过程的方法。其次，它确实建议政府应该以软件和机器

哲学和软件工程之间的区别在于：哲学家们可以无休止地争论某个标识identity的本质，软件工程师必须选择一个该死的定义来实现，而且需要忍受他们设计决策带来的不可避免的Bug后果。

今年诺贝尔物理奖和经济奖都是里程碑式，物理奖颁给复杂性系统研究，复杂性系统研究的方法是不同于传统物理的还原方法论，而经济学奖颁给了类似物理科学领域的实证方法学，经济系统也是一个复杂性系统，其实也是开辟了一种新的复杂性系统的研究思路，这种社会性的复杂性系统与物理科学研究的自然复杂性系统是相似性

许多程序员认为形式化方法是无用的，因为在软件中“规则就是代码”。如果您可以形式指定程序应该做什么，那么您需要拥有该程序！大多数有这种想法的人都不熟悉 "形式规则（形式规范、formal specification） "到底是什么。举个例子，您的产品需要在某个时候从 API 中

数据模型表达其意义的方式与隐喻表达其意义的方式相同。它们通过将一个领域映射到另一个域来显示其含义。 在古典语言学中，隐喻是用一个事物来解释另一事物的言语形象。认知语言学家George Lakoff提出隐喻是 "跨越概念领域的本体论映射"，彻底改变了

学习和元学习一直是我一生的热情。我发现思考我们如何学习、提高我自己的学习能力以及重新思考我们在社会中尝试教学的方式是无穷无尽的迷人之处。我一直在思考的一个烦人的话题是 接下来 要学习什么，尤其是当我们知道当前的系统无效或低效时。我最近通过

大多数程序员/初学者程序员都遇到了“编程逻辑”部分的问题。他们知道语法、要使用的模块以及所有内容，但无法以正确的方式找出问题所在。因此，在本文中，我们将看到 7 种改进逻辑的技巧；或者我们可以说“问题解决”。 1.想办法解决如果你认为

所有问题都是相对的，相对困境(Relative Privation或称为相对贫困)是一个非常普遍的认知谬论，通过陈述一个更重要的问题的存在来拒绝一个论点，人们因为其他事情更糟糕而忽略了当前问题，因为存在一个更糟糕的问题，从而使最初的论点变得无关紧要。假设你的朋友做晚餐。吃完饭，他会征

正则表达式是一个具备完整图灵机的DSL，此项目（点击标题）提供了中文学习资源，既然是DSL领域特定语言，则基本语言符号需要熟练掌握： .    句号可选择不同的字符换行符匹配。 [ ]    ：匹配各种方括内的任意字符。 [^]  ：  否定的字符类型。除了匹

这里有一些我相信的关于软件工程的令人不安的事实！（banq：令人焦虑？） ... 具有特殊语法的复杂 DSL 可能是死胡同。Ruby 和 Scala 都非常重视这一点，但都没有让它流行起来。 如果没有其他因素，静态类型语言比动态类型语言更适合大型项目。对此没有

在过去的几周里，我一直在学习优秀的P 编程语言，一种用于建模和指定分布式系统的语言。我在 P 中做的第一件事就是实现 Paxos——一种我很熟悉的算法，有很多微妙的失败