TBD
Related Posts
这篇文章转载自 严谨的证明的话,可以使用「形式语言」( )来证明: 在可计算理论和计算复杂度理论中,每个「计算问题」都被描述为一个一个「形式语言」,即字符串的集合。比如对于判断一个图是否是无向连通图这个问题:我们可以写为一个描述所有无向连通图的集合: $$ A = \{ \langle G \rangle \vert G \text{ is a connected undirected graph}\} $$ 由于图灵机只能接受字符串,
这篇文章转载自 我用 Python 伪代码来解释下,我觉得对这个问题有兴趣的应该都是有点编程基础的,所以直接上 code 应该是最容易的。 背景知识 「停机问题」研究的是:是否存在一个「程序」,能够判断另外一个「程序」在特定的「输入」下,是会给出结果(停机),还是会无限执行下去(不停机)。 在下文中,我们用「函数」来表示「程序」,「函数返回」即表示给出了结果。 正文 我们假设存在这么一个「停机程序」,不管它是怎么实现的,但是它能够回答「
这篇文章转载自 对我来说,CSS 难学以及烦人是因为它 「出乎我意料之外的复杂」 且让我觉得 「定位矛盾」 。 老师的答案我赞了:CSS 的属性互不正交,大量的依赖与耦合难以记忆。 说得也没错:CSS 的很多规则是贯彻整个体系的,而且都记在规范里了,是有规律的,你应该好好读文档而不是去瞎试。 「 CSS是一门正儿八经的编程语言,请拿出你学C++或者Java的态度对待它 」 但是问题就在这了,无论从我刚学习前端还是到现在,我都没有把 CS
本文首发于我的知乎专栏 ,转载请保留链接 ;) 一年半前,我曾和 Flash 作过一次告别。那一次,Adobe Flash Professional CC 被重新命名为了 Adobe Animate CC,宣告着 Flash 作为一个创作工具走到了尽头。 而今天,通过 Chromium 博客 我才得知,Adobe 官博在 一文中,宣布将在 2020 年底时停止发布与更新 Flash Player。这一次,意味着 Flash 作为一个平台
今年 9 月份的时候,《程序员》杂志社就邀请我写一篇关于 PWA 的文章。后来花式拖稿,拖过了 10 月的 QCon,11 月的 GDG DevFest,终于在 12 月把这篇长文熬了出来。几次分享的不成熟,这次的结构算是比较满意了。「 可能是目前中文世界里对 PWA 最全面详细的长文了」,希望你能喜欢。 本文首发于 与《程序员》2017 年 2 月刊,同步发布于 、 ,转载请保留链接 ;) 下一代 Web 应用? 近年来,Web 应用
本文首发于我的知乎专栏 ,转载请保留链接 ;) 今天微信又刷爆了我的朋友圈 —— 小程序,之前传说的应用号。 不过这篇不谈小程序的技术细节,也不去猜测(因为知道得很清楚……), 也不谈小程序会对中国互联网带来什么影响(自有产品经理会来谈……), 我们说说 Web,the Web。 我们常说的 Web,其实是 World Wide Web 的简称 the Web 的简称。 跟 H5 一样,这货是个简称的简称,所以简到最后就没人知道它本身是
这篇文章转载自 。 已经发布 Beta 版,而且似乎很有信心在 2016 年成为热门框架。是时候进行一场巅峰对决了,我们来看看它如何与 这个 2015 年的新宠抗衡。 免责声明: 我之前很喜欢使用 Angular 1,不过在 2015 年转到了 React。最近我也在 Pluralsight 上发布了一门关于 ( )。所以, 是的,我本人是有偏见的,但我不会偏袒任何一方。 好了,我们开始吧,这场对决将会非常血腥。 图片来源: 两者根本不

