#形式逻辑系统

幽默:语言会限制你的思想

21-11-20 1317 2 11k

看到有一位掌握五门语言的人说:我喜欢英语,因为它能精确地表达复杂思想。 banq:如果你只懂一门语言,就被其限制,正如计算机语言你只懂一门,很快就会被淘汰。 维特根斯坦:如果你无法表达就沉默。 ban... 详细

复杂性系统的因果实证方法学获得诺贝尔经济奖

21-10-12 773 2 1k

今年诺贝尔物理奖和经济奖都是里程碑式,物理奖颁给复杂性系统研究,复杂性系统研究的方法是不同于传统物理的还原方法论,而经济学奖颁给了类似物理科学领域的实证方法学,经济系统也是一个复杂性系统,其实也是开... 详细

《自然》证实:计算机语言更类似人类语言

21-11-27 1129 1 1k

编码更多的是关于交流而不是计算。新数据:关于人们学习编码的速度的最佳预测指标是什么? 不是数学或认知能力,而是语言能力 。数学技能几乎无关紧要。编码是有关掌握一门语言的学问,而不是掌握数字的学问。 ... 详细

幽默:哲学与软件工程的区别

21-10-29 969 1

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

什么是认知谬论中的“相对困境”?

22-02-14 814 1

所有问题都是相对的,相对困境(Relative Privation或称为相对贫困)是一个非常普遍的认知谬论,通过陈述一个更重要的问题的存在来拒绝一个论点,人们因为其他事情更糟糕而忽略了当前问题,因为... 详细

通过游戏学习计算机架构 - embeddedartistry

21-11-30 807 1 1k

学习和元学习一直是我一生的热情。我发现思考我们如何学习、提高我自己的学习能力以及重新思考我们在社会中尝试教学的方式是无穷无尽的迷人之处。我一直在思考的一个烦人的话题是 接下来 要学习什么,尤其是当我... 详细

形式化方法无用? - Hillel

22-01-24 756 1

许多程序员认为形式化方法是无用的,因为在软件中“规则就是代码”。如果您可以形式指定程序应该做什么,那么您需要拥有该程序! 大多数有这种想法的人都不熟悉 "形式规则(形式规范、formal speci... 详细

我的猫图灵完备吗? - belaycpp

21-11-30 695 1 1k

本周我将触及一个更轻松的主题,但仍然非常重要:我的猫图灵完备吗? Peluche(法语中的“毛绒”的意思)是一只光滑的猫,不知何故住在我家。 她将是我们今天的测试对象。   Peluche 图灵完备... 详细

什么是规则即代码 (RaC) - brcommunity

22-03-08 619 1 1k

经合组织公共部门创新观察站最近发布了一份关于政府中规则的创建和表达的重要讨论文件: "Cracking the Code.",其核心思想是“规则即代码”(RaC),可以理解为两种方式。 首先,它... 详细

数据模型是一种隐喻修辞手法  - brcommunity

22-03-11 525 1

数据模型表达其意义的方式与隐喻表达其意义的方式相同。它们通过将一个领域映射到另一个域来显示其含义。 在古典语言学中,隐喻是用一个事物来解释另一事物的言语形象。认知语言学家George Lakoff... 详细

learn-regex:正则表达式学习资源

22-03-08 375

正则表达式是一个具备完整图灵机的DSL,此项目(点击标题)提供了中文学习资源,既然是DSL领域特定语言,则基本语言符号需要熟练掌握: .    句号可选择不同的字符换行符匹配。 [ ]   ... 详细

软件工程令人不安的真相 • Buttondown

21-12-16 501

这里有一些我相信的关于软件工程的令人不安的事实!(banq:令人焦虑?) ... 具有特殊语法的复杂 DSL 可能是死胡同。Ruby 和 Scala 都非常重视这一点,但都没有让它流行起来。... 详细

建模重要性:使用建模工具发现Paxos实现中的一个错误 - brooker

21-11-17 435 1k

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

提高编程逻辑的7种方法 - DEV

21-11-09 1334 1k

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

共有 149 上一页 1 2 3 4 5 ... 10 下一页