Egbert's Blog


Life was like a box of chocolates.

生活就像一盒巧克力。

程序员中的梦想家

Dreamers among programmers

本文首发于我的知乎专栏 The Little Programmer,转载请保留链接 ;) 有一类程序员是 visionary 型的,为了实现一些超前的 idea,绕过某些技术的限制,他们写的 code 晦涩高深得只有他们自己能懂,做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查,但正是这类人不断创造出新的东西,在洗礼之后成为一个个 big thing。 我每周...

曼谷街头

Walk in the Bangkok's Street

奔赴曼谷 背景 6月12日,下午抽空得闲在公司坑着面包,喝着椰汁,突然意识到这周要过端午节了。因为暂居杭州,来的时候仅仅带了几件衣服,一些证件和几个必须品。家徒四壁,实在宅不住。想出去随便走走。 3天假期,还是出去浪吧,但是不知去向。来杭州2个周末,一共4天,除了千岛湖没有去,西湖、宋城、西溪一代已经走遍,上周已经无聊到一个人去动物园看老虎场景。 看了杭州以及杭州周边几个城市,陆...

写在离开北京前

即将前往莫斯科的一点心路历程

3年前的一个夏天,我仅仅背着一个Google书包,没有行李箱,口袋里装着4000块钱,开始了传说中的北漂的生活。 3年后,依然是在漂着,不过这3年的北漂生活不像电视剧中的那么神奇。虽然也住过村里的房子,被房东骗过,也经历过刚开始传说中押一付三的无奈。不过我还是能接受,毕竟损失不大,当时不会搞得自己好像倾家荡产了似的。 这三年来,在朋友眼里,可能过得顺风顺水的。我还是想说那句老话:“你们只...

《起跑线》引出的思考

世界很大,你很渺小

序 几个月前看的一部印度电影《起跑线》,终于在国内上映了。这是一部对教育传统严重批判的电影。这让我想起了另外一部影片,同样出自印度的由阿米尔汗导演的《地球上的星星》。有时候我就在想,为什么我们一定要把孩子竞争看的这么重要?我们生而为人,每个人 都是独一无二的。为什么要用成绩去判定一个孩子的未来?因为我们活在一个竞争的世界中。弱肉强食,适者生存的理论一直存在。 英语学习 最近一段时间,自己很...

「知乎」如何证明不可计算的函数比可计算的函数多?

Why is there more uncomputable functions?

这篇文章转载自我在知乎上的回答 严谨的证明的话,可以使用「形式语言」(Formal language)来证明: 在可计算理论和计算复杂度理论中,每个「计算问题」都被描述为一个一个「形式语言」,即字符串的集合。比如对于判断一个图是否是无向连通图这个问题:我们可以写为一个描述所有无向连通图的集合: 由于图灵机只能接受字符串,所以这里的尖括号表示对图的「编码」。出于简单,我们全部...

「知乎」如何通俗地解释停机问题?

How to explain the Halting Problem?

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

「知乎」为什么 CSS 这么难学?

Why I dislike CSS as a programming language

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

Farewell, Flash. 感谢你,但这一次是真正的永别。

So long, and thanks for all the Flash

本文首发于我的知乎专栏 The Little Programmer,转载请保留链接 ;) 一年半前,我曾和 Flash 作过一次告别。那一次,Adobe Flash Professional CC 被重新命名为了 Adobe Animate CC,宣告着 Flash 作为一个创作工具走到了尽头。 而今天,通过 Chromium 博客 So long, and thanks f...

我是一个行走的人

The girls taken away by time

我一直相信,没有任何理由的,我是一个在行走的人。天空的安静,脚步的行走,静静的望着天空。光景流失,回想很多。记忆是根长长的线,在我走过的路上缠绕。我沿着它的痕迹,一路往回,看见琐碎的自己,安静的走在岁月的大马路上。 走,脚步懒散,身后的影子模糊。像老旧相机下的记忆。沿途有许多陌生的人,三三两两,他们看我,我也看他们。我们彼此都是对方视觉里的路人,可以是路人甲,也可以是乙。表情上,笑,疑惑,...

How does SW-Precache works?

SW-Precache is a great Service Worker tool from Google. It is a node module designed to be integrated into your build process and to generate a service worker for you. Though you can use sw-precache out of the box, you might still wonder what happens under the hood. There you go, this article is ...