2007-11-23

birthday

[2007-11-22]
上周六是我的阴历生日,今天是我的阳历生日。去年收到九条祝福,今天七条。有条短信竟然是个未知号码,只有硬着头皮不好意思地问了一把。原来是树皮,换了手机号,我竟不知。

上周六蒙蒙雨,姑父姑妈为我准备了一桌可口的饭菜,还有一只生日蛋糕,如果没有记错的话,自从十岁生日后,这该是我第一次有个正式的生日餐。去年的今天是潇总陪我度过的,当时忙于找工作,那几天成都比较阴冷,我正陷于长时间的感冒中,又要为offer而奋斗,比较苦恼。中午的面在南院``万人坑''那边搞定,晚餐在东院。

天气有点冷,明天已是``小雪''。现在已经无法像在成都那样方便可以烫火锅,驱逐寒冷。工作毕竟不同于在校,而上海的生活氛围也不同于成都。无论如何,上帝还是眷顾我的,因为他给了我一个特殊的礼物:爱情。发自无心,却成于有心。的确,我是快乐的。这些日子里多了许多欢声笑语、柔情蜜意。周一爷爷都说我脸上终于长了些肉。心宽体胖吧。

起床发现家里网络出了问题,有线通盒子和路由器重启了N把都没用。有线通拿到的IP相当诡异,于是老老实实写代码。晚上报修,维修人员说这个小区报修的人比较多,明天来调试。奶牛猫猫说我一定是遭天谴了,居然work@home两天,老天都看不过去了。

据说今天正好是感恩节。感谢你走进我的生命。

2007-11-21

work@home

第一天上班没赶上班车,无奈打车到五角场。短暂的ceremony宣告新site正式开张。空气据说不是很好,只是鼻炎来得恰是时候,闻不到心不烦。一向nice的老大宣布俺们这周可以申请休假或者在家工作。大快人心。

已经没有睡懒觉的习惯。阳光照进窗内,暖洋洋的。于是毫不犹豫的晒了被子,也帮奶牛晒了晒。一个人安静的在家,静静的,听自己敲击键盘的声音。午饭后一把热水澡,小憩了一下,颇爽。

楼下,塘桥公园。一树树金黄的银杏叶,在夕阳下显得异常庄重、静谧与辉煌。这让我想起成电的银杏树,想必校园中也是片片金黄吧。一碗牛肉汤,一碗羊肉拉面,异乡人的常用食谱。一肚子温暖。

正在Gnus中浏览usenet,奶牛吼了个新闻标题,其实我对这些制度不抱任何幻想。我只在乎平静的心灵,以及一直追寻的理想。

明天仍旧work@home,轮到帮阿猫晒被子。

2007-11-20

距离

渐渐地,开始有冬天的感觉。地铁内比较温暖,出来后扑面的风更显得特别冷。周一公司搬家,不用上班。去浦西看望爷爷奶奶后回来还是从东昌路出来,一路走过新梅双塔,八佰伴。在这里工作了四个月,和当初在世贸双塔待的时间差不多 -- 而且都在24楼。

人流似乎丝毫没有受到冷空气的影响,照样熙熙攘攘。我缩着脖子,手掏在口袋,苦守着心口的温暖。夜色下的灯光显得家家户户窗口的灯光比较温暖。

路过,发了一条短信。
``你曾经离我这么近。''

世界很大,却也很小。有很多时候我们并不知道其实当时离我们的朋友真的很近。或许多少年后偶然的再次相遇,不经意的提及却成为唏嘘感慨,物是人非。前世的回眸仿佛烟花一般遥远,迷一般的扑朔 -- 所谓前世只是心灵的寄托而已。真实,是今生的牵手 -- ``执子之手,与子偕老。''于平静中,淡定自如。

2007-11-18

IM's

打开gmail发现潇总在线,身在晚七个小时的Waldorf,而Oregon的fan总无影无踪,留下gk“孤零零”的挂着。:)

问潇zong有没有拍点照片,半天没啥反应。过了会儿才无辜的问“怎么给你发不起文件?”这才想起公司发的本本和自己的小本本上都没装任何IM。公司网络连不上gtalk,不幸的是vpn死活断不开,无奈重启,等着XP傻傻的报错不能登录域,然后从本机加载设置。心急火燎登上gtalk,潇总以邮件发了过来,汗!于是又把gtalk卸了。

现在gtalk几乎是唯一的聊天工具,而且我很土的只用gmail内置的online版。IM有个缺点是有时会丢失对方的在线消息,双方都很纳闷,容易导致误解。这种事情在教育网内经常发生,特别是QQ。

接触的第一个IM便是QQ,高三毕业。申请了一个号码后不知道它竟然就是用来登录的ID(common sense以为应该是username),傻傻的忘记了,似乎还是个6位的。后来被盗了一个号,应该是7位的。现在只剩下一个8位和一个9位的号,但已经很少很少使用。太臃肿。从程序员的心理上和审美上都觉得不能容忍。

一个ICQ号码,一个skype的ID,几年前用过一段时间网易泡泡,当时据说其传文件比较快,另外还试过IRC。同样比较厌恶M$ msn,臃肿,而且会作白屏假死机状,十分糟糕。gtalk简洁清新,聊聊天足够了。

xiao: 看你哇幸福得这个样子哦
me: 哪里瞧见了? -_-
xiao: 看你打的字都看得出来

2007-11-15

continuation

直到今天才弄懂continuation大概是啥意思。C程序员可以将其理解为setjmp/longjmp,但前者更强大且灵活。

Scheme(当然也包括其它Lisp变体)的迷人之处在于它不限制程序员思想的自由,它并未在业界风靡却存活了近半个世纪。C也快40岁了,它灵活、直观,并给予程序员充分的自由和信任,其成功之处在于它提供了一层恰到好处的抽象。

Guile是个GNU的Scheme解释器,它提供了一个library用于C和Scheme的交互,不错的想法。

标签:

2007-11-14

w/o GFW

有公司的VPN帐号还是比较爽的,最positive的一面在于避开了GFW,而且可以享用google video中丰富的视频。有个Linus关于git的techtalk,访问google时所作,可以通过youtube观看。开场介绍者乃是Andrew Morton,传闻大佬前些年被google挖走,果然不虚。占用公司网络干了点私活略有内疚,良心发现之下为项目的svn仓库贡献了一次check-in,算是扯平。

nc4200小本已有两天未碰,有点喜新厌旧的嫌疑。背着本本上下班时不禁想到当初gp/gk背着T42一起跑步上班的情景,往事历历。

据说今天的晚餐吃得迅速而且干净,但本人毫无觉察。:)

无题

自从某些日子开始每天都会在凌晨6点醒来,绝对误差在5分钟之内。这应该算是生物钟吧,不由得感叹造物主的神奇。一个人的晚餐有些无法适应。有时候想随便一点解决了能续命便了事,转念一想顿觉不妥。

这段日子不需要太多的coding,日子相对逍遥。前天终于领到笔记本,一台Latitude D630,配置比较强劲,不过stupid的XP并不能认出4GB内存 -- 老大忽悠咱整个64位的GNU/Linux系统装起,想想还是作罢。还领了个RSA SecurID,如今咱也算是有VPN帐号的人了。OT的大门打开了。

明天是来公司的第一个1:1,居然是和director,这让我想起去年被面试的情景。

2007-11-06

两个枣

公司的人性化政策开始产生厌恶感而非幸福感 -- 越来越像绣花枕头:酸奶从每天两杯120ml变成100ml,而这几天则完全需要自己去`抢'。至于水果,从每天三只变成两只 -- 今天俺只吃到两个枣,一个唐牛给的,还有一个是翔哥给的。酸奶在冰箱里抠到一盒。“行百里者半九十。”

gmail更新了UI也提供了IMAP服务,这使得我又鼓捣了一下Gnus,现在可以用Emacs收发邮件,相当happy。Gutsy里面Mutt不再对postfix有依赖,于是将后者删了去 -- 我只需要简单的msmtp。Mutt自带的POP/IMAP功能可以相当轻松地从gmail读取邮件,于是fetchmail也没多大用处了。

无意中发了个小patch,于是终于在某个地方能看见自己的英文名,大悦。接触开源时日不短,但直到今天才感觉到那份喜悦。

2007-11-01

Y-combinator的推导

这两天稍微有空了一点。正开小差的时候,xuan哥踱步进来,说好久没来关心俺了, 视察了一番丢下一句“没事休息休息,有空补补文档。”两眼泪汪汪啊!于是一气呵成,翻译了一篇文章,关于Y-combinator的推导过程。

--[节选]--
本文试图推导Y-combinator,递归函数理论的基本硕果之一。或许你已经知道,某些情况下给函数绑定一个名字并非必要之举,例如:

((lambda (x) (+ x 1)) 6)

对6进行增一操作,但并未给进行该操作的函数命名。对于递归函数,情况又是如何呢?例如:

(define fact
 (lambda (n)
  (if (zero? n)
    1
    (* n (fact (- n 1))))))

函数fact计算数值n的阶乘,并且看起来它需要一个名字`fact',这样在最后一行可以递归调用自身。然而我们将会发现这不是必需的。


--[全文]--
http://live4thee.googlepages.com/ycomb.pdf.gz

标签: