Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
符号推理与形式逻辑
区块链新算法:人类证明(Proof of Human:PoH) - santisiri
santisiri在@EFDevcon讨论如何通过分散网络将人类形式化。这是一个多么复杂的问题,并概述了解决“人类证明”(PoH)问题的不同方法。传统工作量
关于有界上下文和微服务的关系以及它们的划分粒度 - Alberto Brandolini
如果您这些年来一直在企业软件体系结构的任何地方工作,您很有可能会遇到诸如“什么是微服务的正确粒度?”之类的问题。或“微服务和有界上下文是否相同?”在接下来的几段中,我将尽力澄清。 定义我想澄清的第一
面向对象的哲学源头与软件工业本质与未来趋势 – BradCox
亚里斯多德以来,哲学家一直在与存在概念作斗争。为什么我们要研究观察我们在世界上看到的东西?这些事物是如何在那里的?有目的吗?它们会永远存在吗?我们是由与其他所有事物一样的东西构成的,还是我们拥有其他物体所缺乏的仇恨或灵魂?1714年,戈特弗里德·莱布尼兹(Gottfried Leib
罗素论哲学为何重要?哲学无法像科学带来物质利益,无法给出很多问题的答案,它的价值正是在于这种不确定性。 | Philosophy Break
罗素是二十世纪的巨人。作为现代分析哲学的奠基人之一,他的工作对数学,逻辑,人工智能,认知科学和计算机科学产生了重大影响。罗素认为为什么人们通常对哲学持一种不屑一顾的态度是两个主要因素造成的。首先,这是由于这样一个事实,即哲学没有像科学那样产生明显的物质利益;其次,这是因为哲学无法
在思想、语言和机器上的思考:人与动物区别是人能以递归形式表达思想 - 0x0f0f0f
贝里克和乔姆斯基的精彩文章“ 为什么只有我们:语言与进化”认为:人类语言首先作为一种对所感知的事物进行内部理解的工具而兴起,然后逐渐外部
幽默:Ruby on Rails创建者DHH自称是DDD粉丝,不喜欢数学算法,喜欢业务逻辑 - CoRecursive Podcast
我不会成为程序员的原因,因为我只是对数学问题没有兴趣。除了实用算法以外,我对算法没有任何兴趣。嗯 我的确对领域建模深有感触。我对领域建模深有深厚的感情,我与Eric Evans有类似的领域驱动型设计感觉。我喜欢与业务领域打交道。我喜欢找到正确的词。我喜欢将其分解,将主要模型分解,并将
美国在卫健等民生领域应用AI预测因果关系的失败经验教训以及能判断因果的AI新方法 -ssir
因果AI可以识别行为或事件的根本原因,并提供预测模型无法提供的关键见解。但是如果使用现有所谓预测性AI来预测因果行为可能导致毁灭性的政策错误。卫生健康医保领域必须学会应用因果模型AI,以更好地解释人们为何以自己的方式行事,从而帮助确定最有效的改革手段。
如同控制的自动化一样,人工智能其实只是识别的自动化而已,按图索骥,人工智能和人类智能区别是卡通人物和真实人物的区别 - François Chollet
神经网络库Keras的创建者,《 Python深度学习》的作者François Chollet认为:我们的领域并不完全是“人工智能”,而是“识别自动化”:是人类生成的抽象/行为/技能的可编码化和可操作化。“智能”标签是分类错误识别自动化可以通过对人类生成的规则进行明确的硬编码(GOF
哲学对程序员香吗?谷歌深度学习神经网络库Keras的创建者François Chollet大声说自己喜欢哲学
哲学经常被科技界人士嘲笑。但是我喜欢哲学。我曾经做过的所有有价值的事情都完全贴在“哲学”的标签下。哲学是最有效,可行和实用的。 众说纷纭:作为数据科学家,逻辑和认识论都是日常工作。我认为我所拥有的哲学知识在我的生活的各个方面都是极其宝贵的。
math-as-code数学即代码:数学符号和代码符号有什么异同?
这是一份通过对比数学符号和JavaScript代码来帮助开发者更容易了解数学符号的中文参考。数学符号可以表示不同的意思,这取决于作者,上下文和所学习的领域(线性代数,集合理论,等等)。这份指南也许不会涵盖符号的所有用法。在某些情况,会引用一些真实材料(博客文章,出版物等等)来演示某个符号的实
软件Bug、耦合以及因果推理 - Michael Feathers
当你思考是否“是A引起C”?然后您意识到是A导致B然后导致C”,然后又会想到“也许A和B引起C”,然后您看到一个模糊轮廓,并想知道这个隐藏的轮廓是否在A,B和C存在之前就已经存在了。 众说纷纭:系统思考无疑是改变生活的事情!
语言是思考的操作系统 - François Chollet
语言是思考的操作系统。与没有语言相比,有语言可以思考更多,不是所有语言都是平等的,而书面语言则可以考虑更多。表达思想(特别是语言)的系统的一个关键特性是,通过将我们的短暂思想编码为可以观察和推理的其他事物,它们使思想变得具有反思性和递归性。他们使得思考我们的想法成为可能。语言
面向对象与函数式编程的区别: 动词-名词与名词-动词的区别 - simblob
我的主要主题是研究如何将函数性编程语言和面向对象的编程语言结合在一起。我当时注意到的是,函数语言的语法倾向于动词,然后是名词,如f(x),而面向对象语言的语法倾向于是名词,然后是动词,如:x.f()。在某种程度上,这些可以被认为是等效的。您可以用一种表达等同于另一种表达。不过,两者在可用性存
AI先驱人物Judea Pearl认为:制造真正的智能机器,必须教它们分析因果关系 - quantamagazine
人工智能的先驱人物朱迪亚·珀尔(Judea Pearl)认为,人工智能已经陷入了长达数十年的困境。前进的处方是什么?教机器学会了解原因。人工智能归功于Judea Pearl。在1980年代,他领导了使机器能够进行概率推理的工作。现在,他是该领域最犀利的批评家之一。在他的最新著作《
数学和统计学的区别 -datasciencecentral
用数据说话好像就是讲道理,其实这里面也是有大坑的,不谈统计学上辛普森悖论,统计学使用的归纳思维和数学演绎思维根本不同,擅长归纳与形象或比喻思维的人很容易掉入统计学大坑中,表面上好像很科学,其实可能是屁股决定了脑袋。点击标题见原文,大意如下:数学和统计学是任何数据科学家工具箱的重要组成
物理学在更高的维度上指引人工智能发展方向 - quantamagazine
物理和机器学习具有基本的相似性,两个领域都涉及进行观测,然后建立模型来预测未来。这两个领域都寻求的模型并不局限于单个事物(banq注:类似面向对象建模中,根据个别对象特征建模为整个类class)。 摘录几个要点,原文点击标题进入:等方差(或
幽默:复杂领域中的因果关系是人们虚构的 - Sean McClure
复杂领域或系统中,人们总是不自觉向你兜售因果逻辑关系:这些因果性可以做到:
ANTLR入门:构建一种简单的表达语言 - tomassetti
在本文中,我们将开始研究一种非常简单的表达语言。我们将在语言沙箱中构建它,因此我们将其称为语言Sandy。我认为工具支持对于一种语言至关重要:因此,我们将从一种非常简单的语言开始,但是我们将为此提供丰富的工具支持。要从一种语言中受益,我们需要解析器,解释器和编译器,编辑器等。在我看来
上页
下页