• 介绍唐唐

    Posted on: Wed, 10/31/2007 - 04:30 By: Huahai

    姓名:唐唐

    性别:小帅哥。

    品种: 沙特尔猫(Chartreux, 法国的国猫喔:-))

    性情:麻麻说我是一只象狗的猫。理由如下:(1)我喜欢舔人,第一次见面的客人也要舔,使劲舔,这样大家才喜欢我呀;(2)麻麻走到哪个房间,我就跟到哪,我一边呆着,没准麻麻就会给我分配一个光荣任务呢;(3)我喜欢趴在麻麻的脚下睡觉; (4) 我会被牵着到外面去遛达; (5) 我懂 come, sit, stand的指令。 哦,我还会roll over, 嘿嘿,其实我只是喜欢躺在地上晒我的肥肚子,"嗯,满腹经纶啊"。我是一只乖乖猫,不挑食,也不乱吃东西,只喜欢吃猫粮。嗯,猫treat我也不会拒绝的,呵呵。他们说我乖,还因为我好对付,给我洗澡剪指甲啥的,我动动就闭上眼不动了,就当它没有发生吧。

    进门的经历:噢,要不是我乖,差点就进不了这个好人家的门的。虽然巴巴一开始就看上了我,可麻麻一开始没有选我的,巴巴没有发言权嘛。幸好麻麻开始选的那个家伙不知好歹,把麻麻都抓出血了,要不我还在和一大帮猫们挤在一个窝里度日如年呢。我可喜欢这个家了,现在要我出家门,我还老大不愿意呢。

  • 电脑病毒, Linux和中国

    Posted on: Wed, 10/31/2007 - 01:39 By: Huahai

    昨天我的从中国来的访问学生说他的电脑中病毒了,然后很形象的给我合掌鞠躬,说,熊猫烧香。这个病毒我听说过,没想到在美国还有人中招,很吃惊。来美国以后,我很有一些年没被电脑病毒所困扰了。唯一的一次病毒事件,还是中了那个有名的‘爱情信’病毒。

  • 一个关于逻辑和概率的简单科普

    Posted on: Tue, 10/30/2007 - 07:24 By: Huahai

    人们一般说的逻辑指命题逻辑,它是理性思维的基本规则。比如以罗素为代表的数理哲学家就把逻辑看作数学的基础。命题逻辑的规则并不多,很多人心里都是知道一些大概的的,不过有人没有正式学过,有些地方不太清楚而已。这篇文章就简单扼要地说一说。更重要的是,本文要介绍现在一个新的进展,就是把概率论看作逻辑的扩展,把传统的亚里士多德的逻辑看成是概率论的特例。

  • A Thinkpad X61 Hotkeys Solution on Debian Linux

    Posted on: Sun, 10/28/2007 - 23:41 By: Huahai

    On my old Thinkpad X31, there is a nice little program called tpb that makes all Thinkpad hotkeys work on Linux. However, that project hasn't been updated for two years, and tpb does not work with the newer Thinkpad models. On my new X61, notably, the sound volume controls are broken: volume UP and volume Down keys produce the same effect - bring the volume to the half level. It seems that piece of hardware called nvram, on which tpb relies, now produces different values than older models. So, I have to ditch tpb.

  • Use XRandR 1.2 to Swtich on External Display for Thinkpad Laptop

    Posted on: Sun, 10/28/2007 - 15:00 By: Huahai

    Thinkpad X61 has an VGA output port, so it supports dual-head display. However, with the Intel GMA965 graphics chipset in X61, the thinkpad_acpi (used to be called ibm_acpi) kernel module does not seem to support switching on or off this VGA port any more. The traditionally used commands, such as "echo crt_enable > /proc/acpi/ibm/video", no longer work.
    Fortunately, the xserver-xorg-video-intel display driver supports xrandr 1.2. extension in recent versions of Xorg X server. So we can use xrandr to dynamically switch on or off the external VGA display, and much more.

  • Install MEPIS Linux on X61

    Posted on: Sun, 10/28/2007 - 01:58 By: Huahai

    I got a brand new Thinkpad X61 laptop last Saturday. Unfortunately, the factory loaded Vista Home Basic was too bloated and ate up 700MB memory from a fresh boot without launching any application! If you know me, you know what I will do - remove Windows and load up Linux!

Subscribe to Huahai's Blog