周运来就是我

做时间的男朋友

2019年第52周:上价值

力量、爱、价值

当我写下$52$这个期号，知道这是2019年的最后一个周末了。再过几天记得把2019改成2020呐，终于需要动一动十位数上的数字了。这个场景实在是太熟悉了，自2006年起，就有意识无意识地在年尾写点东西了。2012年以来，这个战线越拉越长，过了十月就开始惦记这件事。 2019年的年终总结是早写过的了2019年第48周：年度总结，岁月无所谓值不值，过了就是过了，与它是以2019名义还是202...

Posted by Yunlai on December 29, 2019

2019你的名字：朝

世界如此之新，一切尚未命名

1 2 3 4 ... 先生，新年快乐呀 --- 世界如此之新，一切尚未命名 ... 那，给我取个名字吧 --- 你是，即将到来的日子 2019，你好呀！ 我终于来到你的身边，命中注定，有这么一天，你会开始陪我，陪我365个日出、8760个小时、525,600个分钟、31,536,000个滴答滴答——这一年以你之名伴在我左右，春夏秋冬。十年前，我是一个高中生，个子还在长，我常常坐在教...

Posted by Yunlai on January 1, 2019

Zhao

title: “2019你的名字：朝” subtitle: “世界如此之新，一切尚未命名” layout: post author: “Yunlai” header-style: text tags: 2019weekly 1 2 3 4 ... 先生，新年快乐呀 --- 世界如此之新，一切尚未命名 ... 那，给我取个名字吧 --- 你是，即将到来的日子 ...

Posted by 周运来就是我 on January 1, 2019

Zhao

title: “2019你的名字：朝” subtitle: “世界如此之新，一切尚未命名” layout: post author: “Yunlai” header-style: text tags: 2019weekly 1 2 3 4 ... 先生，新年快乐呀 --- 世界如此之新，一切尚未命名 ... 那，给我取个名字吧 --- 你是，即将到来的日子 ...

Posted by 周运来就是我 on January 1, 2019

2018， 拾个人

圈子是那样小之又小，而人却有来有往

1 2 3 4 5 6 ···好想变成雪啊，这样就可以落在先生的肩上了…… --若是先生撑了伞呢？ ···那就落在先生的红伞上，静载一路的月光。 --若是先生将雪拂去…… ···那就任他拂去，能在他的手掌上停留一刻，便足矣。 ——《仁医》 翻看2018年的日记，四季轮回着，而每天似乎都一样：工作大于生活。圈子是那样小之又小，...

Posted by Yunlai on December 31, 2018

Vim 与中文输入法

Using Vim with non-english input method

Update: 我最后还是放弃把 Vim 作为主要编辑器来输入中文了，整体使用下来 mental model 的 cost 太重了。记笔记时用用中文呀或者改改博客时偶尔用一下还蛮去，这个时候这个功能至少能帮助你 Esc 之后不煞笔，所以也不算完全没有价值吧…… 我相信很多中文世界的 Vimer 都遇到过这个烦恼，在 vim 的 insert 模式时可能突然想输个中文，输完之后会本能的...

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

2018W10周记

你不能只以别人为手段，而不同时以他为目的

你不能只以别人为手段，而不同时以他为目的—康德 有多大力量就有多少爱—奥古斯丁 — 如果不是有阅读的记录，我们很难找出本周同以往的不同。时间的样子从来没有变过，今年与去年，今天与昨天，这一秒与上一秒，似乎都是一样的。奇怪的，就在这一样的流逝中成就了我们的不同，见证了我们的芳华，我们也不由自主地老去。可爱的，谁说我们没有年轻过，我们又何尝年轻过？ 1. 阅读： 斯坦尼斯拉夫斯基 ...

Posted by Yunlai on March 11, 2018

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

Why is there more uncomputable functions?

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

Posted by Hux on December 12, 2017

FEATURED TAGS
知乎 笔记 Coq SF (软件基础) PLF (编程语言基础) Web LF (逻辑基础) UX/UI 产品 PWA JavaScript Slides 生活 译 阿里 🇬🇧 计算机科学 计算理论 2018周记 2019周记 CSS Wechat hUX 随想录
ABOUT ME

Live with it
容颜是一种态度

FRIENDS