大师
在哈尔滨待了4年,我似乎连个院士都没见过。这不是说没有院士去做报告,不过计算机学院似乎还真没有院士去做过报告呢,当然这个可以有。
Edmund M. Clarke,如果你以前问我这是谁,我一定肯定以及必定说不知道。因为我是这么的渺小和闭塞。
wikipedia: Edmund Melson Clarke, Jr. (born July 27, 1945) is a compu
ter scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a winner of the 2007 Association for Computing Machinery A.M. Turing Award.
怎么说我们也是学计算机的,应该知道Turing Award这几个字意味着什么,虽然说这位大师讲了一大堆我听不懂的东西,而且可以听出他也不是很善言谈,但是我们没有理由不去领略和膜拜一下人家的风采。毕竟,学问是一步一步脚踏实地做出来的,而不是七嘴八舌说出来的,不像有些人,因为不发动战争就能拿诺贝尔和平奖,看来以后出门见人可以这样打招呼了:“今天你拿和平奖了么?”
这事儿发生在好几天之前了,想想我们中国这么多人咋就没个诺贝尔奖,没个Turing Award甚至于数学上的那个什么菲尔兹奖,是把,看来教育真是出了大问题了。尽管如此,还是要对国内以及国外一些称得上大师的人,送上我们深深的敬意。毕竟,这年头,专心做学问的人太少了。
vim->very important means.
记得几周前,和绪绪在图书馆偶然看到了学校lug的宣传版,他问那绿了吧唧的黑不出溜的框框是啥,当时我和他说是两个编辑器,一个vim一个emacs,nb的人都用这玩意。今天悲剧的网络课上,他说他装了个ubuntu,然后又提起了vim,我猛然发现我知道这个东西也有几年了,可是我却几乎不会用它,想想我倒真是素来冒充呵。上周几乎写了一周作业,其实从开学就几乎这样了,只能说我很不幸,选了作业最多的几门课。既然选了,索性就好好做把,省得到时候还要还。
bin3建议弄个计划,省得天天根个没头苍蝇似的乱撞,计划,也好,也不好;你能完全执行计划,好;否则,效果未必好。索性我就把计划内容和目标定的低点,实现点总比没有强。我的计划其实很简单,课程跟上,作业自己做,把放下很久的键盘捡起来,敲点代码,没事做做题,最后把概率再看一看就行了。
为什么我不喜欢指定计划?
计划没有变化快,每天都可能有这个那个事情,每周都可能有这个那个活动,所以计划弄的太细也未必是好事,因为那样就意味着你生活在一个自己的世界中。你知道你这学期应该干吗,你最近应该干吗,明天应该干吗就够了。什么7点起床,10点回寝室这种无聊的计划,我不喜欢。
题不达意了,刚才看了个vim的简单介绍; 感觉不错,尽管我们不是大牛,可是我们不能失去成为大牛的决心。
* 文章为转载内容,以下是原文信息和出处。
* 原载:LinuxTOY
* 作者:Toy
* 原文网址:http://linuxtoy.org/archives/linux-t-shirt.html
虽然从很久前就开始用 VIM 了,但一直都是半
这篇教程写了在不同工作模式下使用 VIM 的一些基本技巧——即插入模式(insert mode), 命令模式(command mode), 存取文件等。目的是帮助刚刚接触 VIM 的新手更加有效率的使用这个出色的编辑器。
说明:在这篇文章里面,<C-X> 代表 Ctrl + X——就是按住 Ctrl 键然后再按 X。而且你可以在很多情况下使用 :help command 来获得大部分命令的帮助,这个是 VIM 的内部帮助文件命令。
高效率移动
在插入模式之外
基本上来说,你应该尽可能少的呆在插入模式里面,因为在插入模式里面 VIM 就像一个“哑巴”编辑器一样。很多新手都会一直呆在插入模式里面,因为这样易于使用。但 VIM 的强大之处在于他的命令行模式!你会发现,在你越来越了解 VIM 之后,你就会花越来越少的时间使用插入模式了。
使用 h、j、k、l
使用 VIM 高效率编辑的第一步,就是放弃使用箭头键。使用 VIM,你就不用频繁的在箭头键和字母键之间移来移去了,这会节省你很多时间。当你在命令模式时,你可以用 h、j、k、l 来分别实现左、下、上、右箭头的功能。一开始可能需要适应一下,但一旦习惯这种方式,你就会发现这样操作的高效之处了。
在你编辑你的电子邮件或者其他有段落的文本时,你可能会发现使用方向键和你预期的效果不一样,有时候可能会一次跳过了很多行。这是因为你的段落在 VIM 看来是一个大的长长的行。这时你可以在按 h、j、k 或者 l 之前键入一个 g,这样 VIM 就会按屏幕上面的行如你所愿的移动了。
在当前行里面有效的移动光标
很多编辑器只提供了简单的命令来控制光标的移动(比如左、上、右、下、到行首/尾等)。VIM 则提供了很多强大的命令来满足你控制光标的欲望。当光标从一点移动到另外一点,在这两点之间的文本(包括这两个点)称作被“跨过”,这里的命令也被称作是 motion。(简单说明一下,后面会用到这个重要的概念)
这里是常用到的一些命令(motion):
- fx:移动光标到当前行的下一个 x 处。很明显,x 可以是任意一个字母,而且你可以使用 ; 来重复你的上一个 f 命令。
- tx:和上面的命令类似,但是是移动到 x 的左边一个位置。(这真的很有用)
- Fx:和 fx 类似,不过是往回找。
- w:光标往前移动一个词。
- b:光标往后移动一个词。
- 0:移动光标到当前行首。
- ^:移动光标到当前行的第一个字母位置。
- $:移动光标到行尾。
- ):移动光标到下一个句子。
- ( :移动光标到上一个句子。
在整个文件里面有效移动光标
VIM 有很多命令,可以用来到达文件里面你想到达的地方。下面是一些在文件里面移动的命令:
- <C-F>:向下移动一屏。
- <C-B>:向上移动一屏。
- G:到文件尾
- numG:移动光标到指定的行(num)。(比如 10G 就是到第 10 行)
- gg:到文件首
- H:移动光标到屏幕上面
- M:移动光标到屏幕中间
- L:移动光标到屏幕下面
- *:读取光标处的字符串,并且移动光标到它再次出现的地方。
- #:和上面的类似,但是是往反方向寻找。
- /text:从当前光标处开始搜索字符串 text,并且到达 text 出现的地方。必须使用回车来开始这个搜索命令。如果想重复上次的搜索的话,按 n。
- ?text:和上面类似,但是是反方向。
- ma:在当前光标的位置标记一个书签,名字为 a。书签名只能是小写字母。你看不见书签的存在,但它确实已经在那里了。
- `a:到书签 a 处。注意这个不是单引号,它一般位于大部分键盘的 1 的左边。
- `.:到你上次编辑文件的地方。这个命令很有用,而且你不用自己去标记它。
高效的输入
使用关键词自动完成
VIM 有一个非常漂亮的关键词自动完成系统。这表示,你可以输入一个长词的一部分,然后按一下某个键,然后 VIM 就替你完成了这个长词的输入了。举个例子:你有一个变量名为 iAmALongAndAwkwardVarName 在你写的代码的某个地方。也许你不想每回都自己一个一个字母的去输入它。
使用关键词自动完成功能,你只需要输入开始几个字母(比如 iAmAL),然后按 <C-N>(按住 Ctrl,再按 N)或者 <C-P>。如果 VIM 没有给出你想要的词,继续按,直到你满意为止,VIM 会一直循环它找到的匹配的字符串。
聪明的进入插入模式
很多新手进入插入模式都只是用 i。这样当然可以进入插入模式,但通常不是那么合适,因为 VIM 提供了很多进入插入模式的命令。下面是最常用的一些:
- i:在当前字符的左边插入
- I:在当前行首插入
- a:在当前字符的右边插入
- A:在当前行尾插入
- o:在当前行下面插入一个新行
- O:在当前行上面插入一个新行
- c{motion}: 删除 motion 命令跨过的字符,并且进入插入模式。比如:c$,这将会删除从光标位置到行尾的字符并且进入插入模式。ct!,这会删除从光标位置到下一个叹号(但不包 括),然后进入插入模式。被删除的字符被存在了剪贴板里面,并且可以再粘贴出来。
- d{motion}:和上面差不多,但是不进入插入模式。
有效的移动大段的文本
使用可视选择(visual selections)和合适的选择模式
不像最初的 VI,VIM 允许你高亮(选择)一些文本,并且进行操作。这里有三种可视选择模式:
- v:按字符选择。经常使用的模式,所以亲自尝试一下它。
- V:按行选择。这在你想拷贝或者移动很多行的文本的时候特别有用。
- <C-V>:按块选择。非常强大,只在很少的编辑器中才有这样的功能。你可以选择一个矩形块,并且在这个矩形里面的文本会被高亮。
在选择模式的时候使用上面所述的方向键和命令(motion)。比如,vwww,会高亮光标前面的三个词。Vjj 将会高亮当前行以及下面两行。
在可视选择模式下剪切和拷贝
一旦你高亮了选区,你或许想进行一些操作:
- d:剪贴选择的内容到剪贴板。
- y:拷贝选择的内容到剪贴板。
- c:剪贴选择的内容到剪贴板并且进入插入模式。
在非可视选择模式下剪切和拷贝
如果你很清楚的知道你想拷贝或者剪切什么,那你根本就不需要进入可视选择模式。这样也会节省时间:
- d{motion}:剪切 motion 命令跨过的字符到剪贴板。比如,dw 会剪切一个词而 dfS 会将从当前光标到下一个 S 之间的字符剪切至剪贴板。
- y{motion}:和上面类似,不过是拷贝。
- c{motion}:和 d{motion} 类似,不过最后进入插入模式。
- dd:剪切当前行。
- yy:拷贝当前行。
- cc:剪切当前行并且进入插入模式。
- D:剪切从光标位置到行尾到剪贴板。
- Y:拷贝当前行。
- C:和 D 类似,最后进入插入模式。
- x:剪切当前字符到剪贴板。
- s:和x类似,不过最后进入插入模式。
粘贴
粘贴很简单,按 p。
使用多重剪贴板
很多编辑器都只提供了一个剪贴板。VIM 有很多。剪贴板在 VIM 里面被称为寄存器(Registers)。你可以列出当前定义的所有寄存器名和它们的内容,命令为“:reg”。最好使用小写字母来作为寄存器的名称,因为大写的有些被 VIM 占用了。
使用寄存器的命令为双引号 “。
比如:我们要拷贝当前行到寄存器 k。你应该按 “kyy。(你也可以使用 V”ky。为什么这样也可以呢?)现在当前行应该已经存在了寄存器 k 里面直到你又拷贝了一些东西进入寄存器 k。现在你可以使用命令 “kp 来粘贴寄存器 k 里面的内容到你想要的位置。
避免重复
令人惊奇的 . 命令
在 VI 里面,输入 . (小数点符号),将会重复你输入的上一个命令。比如,你上个命令为“dw”(删除一个词),VI 将会接着再删除一个词。
使用数字
使用数字也是 VIM 强大的而且很节省时间的重要特性之一。在很多 VIM 的命令之前都可以使用一个数字,这个数字将会告诉 VIM 这个命令需要执行几次。比如:
- 3j 将会把光标向下移动三行。
- 10dd 将会删除十行。
- y3″ 将会拷贝从当前光标到第三个出现的引号之间的内容到剪贴板。
数字是扩展 motion 命令作用域非常有效的方法。
记录宏
有时候,你会发现你自己在文章的每段或者每行都重复相同的一系列动作。VIM 允许你记录一个宏来完成你的特殊需要。
- qregister:记录宏到寄存器 register,这里 register 是任意的你的寄存器的名字。比如 qa,将会记录并且把宏存在寄存器 a 里面。
- q:结束宏的记录。
- @register:使用存在寄存器 register 的宏。比如 @a,将会使用存在寄存器 a 里面的宏。
必须要记住的是,宏只记录了你的系列按键并且重复执行它们。它们不是魔法。因为在 VIM 里面完成目的的方法有很多,所以有时候你要小心选择命令来记录你的宏。因为它们会在所有你要执行它的地方执行。
用 VIM 写代码
VIM 是一个用来写代码的绝好编辑器,因为它有一些特性是专门为程序员而设计的。这里是一些常用的:
- ]p:和 p 的功能差不多,但是它会自动调整被粘贴的文本的缩进去适应当前代码的位置。试一下!
- %:匹配花括号、方括号、括号等。在一个括号的上面,然后按 %,鼠标就会出现在匹配的另外一半括号处。
- >>:缩进所有选择的代码
- <<:和上面类似,但是反缩进
- gd:到达光标所在处函数或者变量的定义处。
- K:在 Man 里面查找光标当前所在处的词。
路
大学,其实很多人都在混日子。不是ta想混的,而是在大众的洪流中,ta迷失了自己,丢失了方向。我亦如此。
丢掉了的书本想捡起来是很困难的,人们常说“出来混,总是要还的”,我混了4年,现在真的要我还了,而且还如此之紧迫。
行路难,何难?路不好走?
也许吧。
人们经常废寝忘食拼了命的工作,挣钱。可是结果却未必如他们想象一般,得到很好的结果。
生活不仅仅是赛跑,而且也需要思考,需要观察。如果你猛然发现,你所付出的工作仅仅是时间的积累,仅仅是茫然的前进,你会感慨你的工作是那样的没有意义。
敢问路在何方,路在脚下?
行路难,寻路亦难。
回忆
回忆是美好的,也是充满遗憾的。
中国足球,对很多人来说,意味着堕落。对于中国的球迷,往往都会像我一样:看中国队比赛,憋屈;不看,心痒痒。和杨修的“鸡肋”有点差不多的感觉。但是,结果往往是大家都会去看比赛,至少是看个半场,因为有些时候对于现实的残酷,大家难于接受。昨天国家队和一非洲某国家队比赛,我和怀哥一起看了会儿,我们调侃:“赶紧把门关上,让人家看着咱看中国队比赛,丢人。”,可见,中国足球现在成了大家茶余饭后调侃的话题。
言归正传,刚才看了期足球之夜,很久没看过了。2001年,对中国足球意味着太多太多,对中国球迷意味着太多太多;对阿曼的比赛,1:0获胜之后,提前两轮进军韩日世界杯,44年的梦想,就这样完美的实现了。看着那么多球迷激动的、兴奋的面孔,有一种冲动涌上心头:痛快。想想我们自己的足球,也曾给我们留下过美好的回忆,尽管是短暂的、尽管是零星的,可是我们曾经快乐过。
对于02世界杯的出现,有些人持不屑的态度,因为中国队分在了一个“最理想化”的小组,什么乌兹别克斯坦,什么阿曼啦,理论上和现实上他们确实是相对的弱队。但是,请不要忘记一句话:机会是留给有准备的人的。
99年也是这短暂的“美好”回忆的一个零星,我们的女足过五关斩六将,一路杀入世界杯决赛。结果是凄惨的,我们记忆中,没有大家举起奖杯的喜悦,只有刘英罚丢点球的泪水。此时,大家的心中应该不约而同想起一个人 – 巴乔。如果让我说那届世界杯冠军是哪个国家队,我的第一印象应该就是巴乔的背影了;这不是说冠军队巴西的浪得虚名,他们是值得尊敬的,值得骄傲的,他们的付出得到了相应的回报;另一方面,意大利队,或者说巴乔带给了球迷更深刻的回忆。回忆是美好的,也是充满遗憾的;94世界杯在我们的回忆中,更多的是巴乔的遗憾。一如我们的铿锵玫瑰在99年的美国留下的遗憾。
谨以此文,献给那些曾经让我们快乐过,遗憾过的人。
如果你是一个中国人,如果你是一个球迷,那么最让你割舍不下的还是中国足球,所以请不要放弃他。
1949-2009
亲爱的祖国,生日快乐。
早起,看了升旗;阅兵很壮观,很有气势,很有威慑力。
弄了点电子资源 – xiaoe.org/books/ (标题栏下边那个ebook也可以链接)
会持续更新,如果大家需要什么资源,回复我或者发邮件给我,我会尽力满足;
右上角的搜索栏,可以直接搜索,选择xiaoe.org即可,因为要编辑,所以很多链接还没有弄。
好东西要大家一起分享,推广一下吧……
我想把这空间的费用挣回来呃,所以感不感兴趣的广告大家都去看看吧(右边广告看着了吧,这不算恶意推广吧)。
