博文

目前显示的是 八月, 2010的博文

终于把wlk更新完了

等开服中。。。

2010-08-22

今天可真是冏死了。和女朋友出去玩,坐电梯坐到某一层的时候,一个妈妈推着小车进来。小车里坐着一个小男孩,那个小男孩看看我,很天真的叫了一声“爸爸”。

Coq中手动证明简单的逻辑命题

Section MiniPropLogic.
Variables P Q R T : Prop.
Theorem imp_trans : (P->Q)->(Q->R)->P->R.
Proof.
intros H H' p.
apply H'.
apply H.
assumption.
Qed.
End MiniPropLogic.

Database Systems: The Complete Book

我刚才想买一本书,“Database Systems: The Complete Book (2nd Edition) ”。原版有1200多页,但是翻译成中文之后只有300页。我超级惊讶。都是16开大小,中文难道这么神奇?

2010-08-15

今天又是全国哀悼日,所以没有魔兽世界玩。我对此表示非常愤怒,因为普通民众的喜怒哀乐必须由政府精细控制。比如,到了2008.8.8,因为要开奥运,所以关于地震的一切报道立马停止,三鹿奶粉的事情也被压着瞒着。因为全国要喜庆。今天路过中关村,发现连路口的大广告牌都变成黑底白字的了。政府要你高兴的时候你就必须高兴,比如8月8,比如春节晚会。政府要你哀的时候你就必须哀,不能看电视剧不能看英超不能玩网络游戏甚至打开web.qq.com都被禁止。
今天发现很多人拿的是雅酷的游泳卡,算下来大概只需要10块钱一次。而我昨天办的游泳卡是30块钱一次。我办的游泳卡只能在那一个游泳馆游,雅酷的游泳卡能在那个游泳馆以及其它很多很多游泳馆游。很悲剧。
今天更新了下meego,因为从bug列表看,dbus的bug被修复了。然后我看了一下,果然好了,并且connmand貌似也可以用了。反正我可以用usbnet连了。
在电脑上执行
ifconfig usb0 192.168.2.15 netmask 255.255.255.0 gateway 192.168.2.14
iptables -A POSTROUTING -t nat -s 192.168.2.15/32 -j MASQUERADE
就可以ssh到手机上了。然后在手机上执行
route add default gw 192.168.2.14
echo "nameserver 8.8.8.8" > /etc/resolv.conf
但是我的wifi又不好使了。因为connmand在,所以我的wpa_supplicant.conf就不好使了。connmand怎么配,我还是不大会。
而且,xorg貌似也broken了。目前有2个包都能提供显卡驱动,
xorg-x11-drv-fbdev.armv7l : Xorg X11 fbdev video driver
xorg-x11-drv-fbdev-sgx.armv5tel : Xorg X11 fbdev video drive
后者是带opengl ES加速的。但是某一天meego团队更新了xorg的版本,但是n900团队还来不及更新xorg-x11-drv-fbdev-sgx,于是xorg启动的时候就会报告“fbdev_drv.so: undefined symbol: miEmptyD…

2010-08-14

今天下了一趟英雄本的能源舰,因为这个是今天的日常任务。顺便用75个公正徽章买了一双鞋。呃,现在GS 是1550.可惜法伤依然很低。
晚上吃完晚饭过后,就去英东游泳馆游泳了,人还是那么多。据说是因为某个组织怎么着发出去一大堆票,是10块钱一次的,所以来了很多新人。而这边如果办卡正常价格是30,不办卡50。只有在临近关门的那半个小时,人稍微少一点,可以放开游。否则不是我踹别人,就是别人踹我。

2010-08-13

今天去把时光之穴的2个本又打了一遍,把任务做完了,并且得到了外域地下城大师这个称号。一看,时光守护者的声望到崇拜了,下次就可以去英雄本了。哈哈。

2010-08-12

今天中午去了一趟普通平台,然后去了一趟禁魔监狱。把禁魔监狱钥匙那个任务做完了,感觉很爽。在平台打出来一只小凤凰,是一个红色小宠物。

2010-08-11

今天下了一次英雄平台,然后去黑石塔上,于是把BWL的入门任务做了,以后想去BWL就可以直接进了。然后又去了一趟普通生态船,一趟卡拉赞。卡拉赞收获不错,拿了3件紫装。受wlk要开的消息影响,最近几天组队频道根本组不到人下副本了。像我们这样的都是娱乐团,或者做任务,或者刷声望。好累。睡。

2010-08-09

今天去了一趟能源舰,把禁魔监狱的钥匙的任务做完了。然后无聊啊,钓鱼,终于钓到龙虾了。然后去训练师那里开了双天赋,洗了一个深火毁。今天把沙塔尔的声望刷到尊敬了,顺便把天空三本英雄本的钥匙买了。

2010-08-08

今年是北京奥运两周年纪念日吧?再次说,我对北京奥运没有一点好感。开幕式从头到尾,丑闻不断。今天很无趣,在家玩了一天的魔兽世界。进展如下:1、卖了一张点卡,2400,买了一只鸟。虽然卖的便宜,但是比5173还是划算。2、学飞,买了只小鸟。发现在空中居然也会被地面的怪物攻击。3、去了一趟风暴要塞,这是我第一次下25人本。好混乱啊,机器卡的不行。最后一个boss那里被团灭了一次。其它都很顺。反正我觉得,有我没我都一样。4、做禁魔监狱的钥匙的任务。一直杀到生态船副本。拿到了半个钥匙。最后roll的时候,不小心把牧师的饰品点了需求。结果被我拿了,被骂死。5、把黑石深渊打了,成就和钥匙拿了。过程比较搞笑,只有我认识进去的路。但是本里面我就不认识了。我们是6个人组了一个团去黑石深渊,结果有个人进不来,我们才知道这个是5人本。好吧,有人主动退了。然后剩下5个人在本里瞎转悠。某人死了,求拉,但是我们找不到他的尸体,因为集体迷路中。让他跑尸吧,也不现实。因为他是被拉进来的,没走过第一个锁链,应该是找不到。然后另一个人不停的在喊,我们再组一个人进来吧。这样不行的,后面的boss很难的。然后一群人稀里糊涂的不知道怎么就打完了,拿了成就。总体来说,路上那些机关还是很麻烦的。最近电脑问题很多。开久了就狂出问题。比如网卡突然断开连接,要禁用然后重新启用才好。因为怕独立显卡(ATI)发热量大,切成intel内置显卡,结果倒是不死机了,但是会报告这个”Display driver igfx stopped responding and has successfully recovered.”有些问题更是奇怪,比如”The ICS_IPV6 was unable to allocate bytes of memory. This may indicate that the system is low on virtual memory, or that the memory manager has encountered an internal error.” 实际上,由于我插了4G内存,空闲内存一直很多。

2010-08-07

周五晚上打开wow,有好久没上了。去了趟卡拉赞。今天依然是吃过晚饭开wow。还想去卡拉赞,队都组好了结果发现必须得等到下周二才行。然后就只好去奥金顿的几个英雄本刷声望,最后去了趟时光之穴。然后我才发现我差的东西多呢,根本进不去。然后就去做观光任务。然后大概是走错路了,还是进不去。最后让术士把我拉进去的。
明天我准备继续找点时光之穴的任务,把声望刷高点,等什么时候去买把钥匙。
今天充了一张点卡,是用上次在maemoers.com做飞信的时候他们捐给我的钱充的,哈哈。

我终于找到我的手机瘫痪的原因了!mscim-pinyin

最近手机总是报告 Internal Error. Application X closed (这里的X是指大部分应用程序,包括phone). 我想了很多办法都没查出来为什么(也没有找到core dump file),然后就只好刷机。嗯,问题解决了。然后恢复app list和settings。然后问题依旧。
然后我就开始拼命卸载程序。直到 apt-get autoremove mscim-pinyin
然后就好了!
然后再装
#apt-get install mscim-pinyin
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following NEW packages will be installed:
mscim-pinyin
0 upgraded, 1 newly installed, 0 to remove and 1 not upgraded.
Need to get 0B/2246kB of archives.
After this operation, 5366kB of additional disk space will be used.
立马就打不开xterm
如此反复
特别明显
为了这东西我一整体关机,不能打电话。MMD!还好ssh还可以用。否则在打不开xterm/file manager的情况下,能解决什么问题??
也怪我笨,怎么不想一想,什么都不能用,为什么ssh可以。

n900的pidgin的飞信插件发布

http://maemoers.com/viewthread.php?tid=5101
pidgin版飞信
为什么要有它?
和现有的通讯软件集成在一起
实现说明:
在老的pidgin fetion的基础上把认证协议换成了4.0版的新协议
暂时不支持图形验证码。意味着如果你把密码输错了,你就得换官方的客户端登录一次。然后再来
暂时不支持头像下载
暂时只支持使用手机号登录
使用说明:
pidgin的版本必须是2.7.2
下载这个so文件。然后用scp放到手机里面

2010-08-03

今天老项目组来了一个新同事。
“玩过网游吗?”
“玩过”
“什么网游?”
“梦幻诛仙”
“多少级?”
“15”
不是抱怨什么,只是觉得又一个大好的青年要被毒害了。唉……我说不清这是我经手的第几个了。
meego的进展很缓慢。一个被标为critical的BUG居然半个多月了都没解决。http://bugs.meego.com/show_bug.cgi?id=3936 。我知道这个问题拖了这么久不是因为BUG本身,而是因为gcc的问题。但是这个拖的也太久了吧?
刚才我看了一下maemo的repos,其中pidgin的最新版本其实已经是2.7.2了http://maemo.org/packages/view/pidgin/ 。而我上周做的飞信插件也是基于2.7.2的,也就是说,我大概只需要给arm平台编译一个so试一试,大概就没什么问题了。今天太晚了,明天要是回来的早就搞这个吧。
我还是想用mantis。因为没有找到比它更好的并且免费的东西。

java表达式求值的顺序

int lorem = 1, ipsum = 2, dolor = 3; if (lorem == (lorem = ipsum)) f(); if ((ipsum = dolor) == ipsum) g(); f和g会被执行吗?

2010-08-01

我丧失了一个习惯:每个月写一下总结。以前上学的时候是有的,工作以后可能是因为要写的太多了,所以就倦了。7月份给我自己定下一个目标,一定要学会游泳。结果呢,今天拉我大学的上铺去游泳。我发现我所谓的不会游只是怕水。今天那个池子底下是平的,到处都是一样深的,是浅水池子。然后我就放心大胆的游啊,可开心了。然后被批了。虽然我能游,不淹死,在往前走,但是,姿势全是错的。手的姿势不对,脚蹬水的方式完全不对。别人都是划一下换一次气,我是吸一口气就沉下去了,扑腾好久才能再露出头来。还有,别人都是头向上,身体的后半部向下。而我是屁股在上面,头和脚一直泡水里。你说,我这个目标达到了吗?有时候就是闲的蛋疼。比如今天在公交车上,给女友打电话,然后吵起来了。长途啊!事情是我挑起来的,我说不该有普通话这种东西。国家不应该规定一个字该怎么读。我说语言最重要的作用是它作为思维最根本的不可缺的元素,其次才是与人交流的作用。文字的发音方式严重影响人的思维。而统治者统一文字统一发音是要让婴儿从一生下来就遵从他所规定的统一思维。所有人都按照他所规定的方式思考,这是统治者最想看到的。这件事情的远大影响,可远溯至中国历史上最著名的暴君:秦始皇。她当然不赞同这些。可是她的一切反对意见我觉得都可以用来支撑天安门上那句:“世界人民大团结万岁”以及共产主义红旗插满全球的崇高理想。设想世界上只有一个统治者、一个国家、一个种族、一种货币,What wonderful!后来我查了一下,根本没有一部法律授予了汉语排它性的地位,只是说应当推广。可是你看看CCTV在NBA这三个字母上下煞苦心,唉…… 宪法不如现管。但我们争吵的问题是,我认为我是在使用汉语,但是这个汉字怎么读,不该由国家来规定。http://www.edu.cn/HomePage/zhong_guo_jiao_yu/jiao_yu_yan_jiu/yu_yan_wen_zi/zheng_ce_fa_gui/index.shtml