#软件观点

软件技术从1996年以后就停滞不前了! - alarmingdevelopment

21-01-02 766 6 banq

软件正在吞噬世界。但是软件技术本身的进步在1996年左右基本上停滞了。这是我们按照时间顺序排列的结果: LISP,Algol,Basic,APL,Unix,C,Oracle,Smallt... 详细

为计算机发明奠定基础的《思想法则》出版150周年:什么是布尔逻辑/布尔代数? - maa

21-01-04 630 2 banq

这本书为一个世纪后的计算机发明奠定了基础,乔治·布尔(George Boole) 的《思想法则》(The Laws of Thought) 于1854年首次出版。使用术语“布尔逻辑”或“布尔代数”表... 详细

一位程序员用编程语言Lisp证明了过去用数学语言证明过的哥德尔不完备定理

20-11-17 484 1 banq

该文使用编程语言重新实现了当年哥德尔用数学语言证明的不完备定律。 1+1=2是公理,那么公理可以证明吗?哥德尔说不可以,数学不能用自己来证明自己的公理。同样适合编程领域, 有一些真理,您永远无法写下... 详细

支付宝在区块链领域充满了夸张的宣传? - ColinWu

20-09-26 336 1 banq

即将在中国上市的全球第一大独角兽蚂蚁金服支付宝在区块链领域充满了夸张的宣传。一周前,它声称正在区块链领域发布颠覆性创新,但最终它仅表现为呆板的供应链金融系统。 支付宝喜欢证明自己的专利数量。区块链是... 详细

软件2.0初具规模:软件行业如何借助人工智能提高效率? - kdnuggets

20-10-25 267 banq

IT行业尤其是软件开发行业一直是AI的早期践行者。在这篇文章中,我们描述了机器学习和AI在软件开发的不同方面的一些早期应用。我们还描述了在未来几年内将AI用于软件开发的领域将会加速发展的领域。 当今... 详细

90年代Web又重新回归 - Max Böck

20-09-05 397 banq

在诸如音乐或时尚之类的大文化概念中,有些事物常常绕一圈又流行起来了。 在过去十年的大部分时间中,网页渲染逻辑转移到了客户端之后,如今摆锤似乎将再次朝着另一个方向发展。借助 Phoenix Livev... 详细

如果每个人都讨厌OOP,为什么它仍然如此广泛传播? - StackOverflow

20-09-07 393 banq

OOP取得了巨大的成功。但是成功仅仅是偶然吗?并且它还能在2020年提供其他编程范例无法提供的独特功能吗? 在1981年8月的Byte杂志中,David Robson公开了他的文章,该文章成为许多人... 详细

全球最大视频会议网站Zoom仍然不了解欧洲GDPR法律 -ThreatSpike博客

20-08-30 356 banq

普通用户认为:如果网站知道您以前访问过的时间,是否登录过,甚至上次购物时您的购物篮中的内容,这些都是理所当然的。 在大多数情况下,通过使用Cookies可以实现这种神奇的定制。Cookies是网站存... 详细

共有 2241 2 3 4 ... 28 下一页