晚春 Blog

「我们是来改变世界的」

如何通俗地解释停机问题？

How to explain the Halting Problem?

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

Posted by Hux on December 12, 2017

为什么 CSS 这么难学？

Why I dislike CSS as a programming language

这篇文章转载自我在知乎上的回答 对我来说，CSS 难学以及烦人是因为它「出乎我意料之外的复杂」且让我觉得「定位矛盾」。 @方应杭 老师的答案我赞了：CSS 的属性互不正交，大量的依赖与耦合难以记忆。 @顾轶灵 @王成 说得也没错：CSS 的很多规则是贯彻整个体系的，而且都记在规范里了，是有规律的，你应该好好读文档而不是去瞎试。 「CSS是一门正儿八经的编程语言，请拿出你学C+...

Posted by Hux on October 6, 2017

FEATURED TAGS
Web 笔记 Coq SF (软件基础) PLF (编程语言基础) LF (逻辑基础) 知乎 基础 计算理论 C C++ Meta PWA Vim
ABOUT ME

要做一个有 soul的程序员
React Team @ Meta

FRIENDS