袁华伟的博客 | yuanhuawei Blog

Posted by yuanhuawei on January 24, 2019

Hello 2019

"新的一年, 新的征程"

“2019已悄然开始. ” 格局 2019不断提高自身格局，格局决定结局。思维不断训练提高自己思维模式，有错就改，提高执行力。读书学习读书是人类进步的阶梯，争取更多的时间用来读书，腾出空，去生活，做自己想做的事情。成就平凡的自己

Posted by yuanhuawei on January 19, 2019

Vim 与中文输入法

Using Vim with non-english input method

Update: 我最后还是放弃在 Vim 模式下输入中文了，mental model 的 cost 太重了（我相信很多中文世界的 Vimer 都遇到过这个烦恼，在 vim 的 insert 模式时可能突然想输个中文，输完之后会本能的直接 esc 接 normal 模式操作，结果发现跳出来的是中文输入法……对于 vscode，我一般会在几次错误之后被逼到退出 vscode vim...

Posted by Hux on October 6, 2018

Avoiding success at all cost

Watching "Escape from the Ivory Tower: The Haskell Journey"

“Avoiding success at all cost” is the informal motto behinds Haskell. It could be parenthesized in two ways, either “Avoiding (success at all cost)” or “(Avoiding sucess) (at all cost)”. I’m not going to interpret them directly but rather to share some thoughts on “the success vs. costs” basing ...

Posted by Hux on September 27, 2018

程序员中的梦想家

Dreamers among programmers

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

Posted by Hux on June 30, 2018

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

Why is there more uncomputable functions?

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

Posted by Hux on December 12, 2017

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

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

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...

Posted by Hux on July 26, 2017

饿了么的 PWA 升级实践

Upgrading Ele.me to Progressive Web App

很荣幸在今年 2 月到 5 月的时间里，以顾问的身份加入饿了么，参与 PWA 的相关工作。这篇文章其实最初是在以英文写作发表在 medium 上的：Upgrading Ele.me to Progressive Web Apps，获得了一定的关注。所以也决定改写为中文版本再次分享出来，希望能对你有所帮助 ;) 本文首发于 CSDN 与《程序员》2017 年 7...

Posted by Hux on July 12, 2017

ABOUT ME

YHW Blog

做一个会说话爱读书高情商的男人

成就平凡的自己