Friday, August 16, 2013

资源调配不均匀

最近看《进击的巨人》,里面有个 dilemma 很引起我共鸣。背景:地球突然出现身高10+米的巨人,以人类为食,人类为了自保,修建城墙阻挡巨人。同时训练士兵,成绩好的士兵可以选择留在最安全的地方成为保护国王的宪兵,而其他则必须去进入调查兵团,即前线的士兵,随时牺牲生命。tl;dr:有能力的人明哲保身,能力弱的反而要肩负起最重要的保护人类生命的责任。

我突然觉得跟我在现实生活的一些想法很有共鸣。我身边一些我觉得很有聪明才智的人,没有选择在学术道路上,而是选择安逸的生活;而像我有兴趣在科学道路上有所建树,却总是为自己没有他们的智商而着急。从资源调配角度来说,真是离最优解恰好相反。

这个问题其实跟在 quora 上的一个问题也有点类似。top answer 的大意是,Google 优越的条件吸引了世界上最聪明的一群人,然则大多数人在 google 其实 overqualified,因为 challenging 的东西总是已经被做完,或者说做决策的只能是高层更聪明的人。

当然我本意不是埋怨别人不好好利用它们的聪明才智,每个人都有做出自己选择的权利。我仅仅,只是在着急搞研究进展缓慢,觊觎别人的能力而已...

Thursday, August 1, 2013

关于 stty, erase, ^H, ^?

引用这位同学的问题,之前自己经常遇到但是没有好好总结。

表现就是,在 terminal 里面,backspace 经常会出现问题,偶尔会看到 ^? 或 ^H 这种东西的出现。

由于历史原因 (追溯到打卡机时代),要删除一个字符,必须先 ASCII BS (0x08, ^H) 回到前一个字母,然后再 ASCII DEL (0x7F, ^?) 删除它。

现代电脑里,backspace 的作用基本上就相当于上述 BS+DEL的功能,而delete真正发送的是"^[[3"。而事实上 backspace 究竟定义为 ^H 还是 ^? 只是一个个人的选择,并且没有标准,所以不同的 terminal emulator 可能会采用不同的值。

我们知道可以用不同的 terminal (emulator) login 到一个机器上。但是不同 terminal 有不同的 key mapping,具体来说,它们 backspace 发送的值可能 *不一样*. 比如 linux console 是模拟 vt220 的,backspace 发送的是 DEL,而 xterm 模拟 vt100,backspace 发送的是 BS。

而 stty 是用来控制 terminal options 的。简单来说,是控制 terminal 怎么理解输入的字符串的。如果 backspace 发送的值与 stty 的设置定义不一样,那么就可能出现问题,最常见的,就是 stty 里 erase (向前删除一个字符) 设置为 ^? 而 backspace 发送的是 ^H. 这时解决方法是:

1. 设置 stty 理解 ^H 为 erase: stty erase ^H,或者
2. 设置 terminal emulator, 使得 backspace 发送 ^? 而不是 ^H。


历史与详细解决方法:http://www.ibb.net/~anne/keyboard.html

Saturday, March 16, 2013

man page memo

Hierarchy details:


Specifically, the local man pages is in

/usr/local/share/man/man[1-8]

If there is man pages in other language than English, say de, then:

/usr/local/share/man/de

Changing the LANG will search for man pages in different language. Example:

(when LANG is not set, use default system locale)

$ man -w dvipdf
/usr/local/share/man/man1/dvipdf.1

(Change to de)

$ export LANG=de
$ man -w dvipdf
/usr/local/share/man/de/man1/dvipdf.1

Thursday, March 7, 2013

今天我生日

今年的生日,还算是蛮特别的。以往都没什么存在感的,今年我爸妈竟然记得住并且主动给我发微信祝贺,虽然爸妈的文采还是那么官样文章无甚出彩……不过『记得』这件事就已经足够了。另外我也收到了出生到现在收过的最大份最昂贵的『礼物』——不不不,应该说是无价的才对:某人要把自己包邮跨海空运过来呢 ~ 那我也只能受宠若惊地收下了 :)

值得一提的是,我对我表妹『表白』了。跟表妹其实小时候很好,就像两小无猜,但是她初中开始去了外地读书后,就没怎么联系,到现在已经很生疏了。但其实大家都是独生子女,生日只差两个月,又从小一起长大,我真的是把她当做自己的亲妹妹来看待的。但是总是不知道如何开口,让她知道我对她的关心。今晚终于能说出口:

『同埋你平時多d同我傾啦,我睇你平時好似唔係好開心咁〜我記得我地細個時好好噶,之後你出去讀書後就冇乜聯繫搞到咁生疏。我地都係獨生子女,應該要似親兄妹對待先至啱!』

不过可惜的是,似乎关心自己的人都不在身边呢。我时常会想起这首歌,『如果我现在』。里面那种情怀,有谁共鸣?也许只有身在美国这种苦逼 PhD 才能体会到吧:

『如果我現在死去 明天世界是否會在意』

我手机可以整个月不响一次。我即使一周不去 lab,也没人会注意到什么。我总是在想,如果我在宿舍突然挂了,会不会等发臭了才有人发现呢?

我期待的那种『几个密友聚在一起聊天喝酒,吟诗弹琴的日子』,始终没有来,也许它们将来也不会来。但是,相信吧,相信,无论如何,这世界上总有愿意对你好的朋友,只是可能有的人运气不好,缘分未到。

最后要 special thanks to jide 同学。经历过颠沛流离,浮浮沉沉,还记得我的,只有你了吧。感谢你在我无力的日子给我的那些支持,我想我这辈子不会忘记。如果可以的话,我希望我们不要像其他人那样,因为拍拖、结婚、生子而渐渐疏远了。我希望能像以前一样,即使很久没见很久没说话,也能不陌生,也能很快心有灵犀重新补完缺乏联系的那段,很快熟络起来。