Windyeal's Blog

「吴宇立的Learning Note | 技术学习成长记录」

「转载」如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

转载自知乎严谨的证明的话，可以使用「形式语言」（Formal language）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合： \[A = \{ \langle G \rangle \vert G \text{ is a conne...

Posted by Hux on December 12, 2017

「转载」关于停机问题

How to explain the Halting Problem?

转载自知乎我用 Python 伪代码来解释下，我觉得对这个问题有兴趣的应该都是有点编程基础的，所以直接上 code 应该是最容易的。背景知识「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。正文我们假设...

Posted by Hux on December 12, 2017

「转载」下一代 Web 应用模型 —— Progressive Web App

The Next Generation Application Model For The Web - Progressive Web App

本文首发于 CSDN 与《程序员》2017 年 2 月刊，同步发布于 Hux Blog、前端外刊评论 - 知乎专栏，转载请保留链接 ;) 下一代 Web 应用？近年来，Web 应用在整个软件与互联网行业承载的责任越来越重，软件复杂度和维护成本越来越高，Web 技术，尤其是 Web 客户端技术，迎来了爆发式的发展。包括但不限于基于 Node.js 的前端工程化方案；诸如 We...

Posted by Hux on February 9, 2017

「转载」React vs Angular 2：冰与火之歌

React versus Angular 2: There Will Be Blood

转载自知乎「前端外刊评论」。 Angular 2 已经发布 Beta 版，而且似乎很有信心在 2016 年成为热门框架。是时候进行一场巅峰对决了，我们来看看它如何与 React 这个 2015 年的新宠抗衡。免责声明：我之前很喜欢使用 Angular 1，不过在 2015 年转到了 React。最近我也在 Pluralsight 上发布了一门关于 React 和 Flux 的课...

Posted by Hux on February 1, 2016

「转载」"Unix/Linux 扫盲笔记"

This document is not completed and will be updated anytime. Unix Unix is a family of multitasking, multiuser computer OS. Derive from the original AT&T Unix, Developed in the 1970s a...

Posted by Hux on April 14, 2015