Archive for August, 2008

links for 2008-08-31

August 31, 2008

links for 2008-08-30

August 30, 2008
  • 3. 做读书笔记。一是将自己阅读的时候的思考(包括闪念)总结下来,二是将书中的好例子摘抄下来。(这个习惯是一年前才养成的,发现受益极大。)有了google note,笔记可以加上tag,非常便于回顾,加深理解。我觉得,人与人学习的差距不在资质上,而在花在思考的时间和思考的深度上(后两者常常也是相关的)。

    4. 提到思考,我有一个小习惯。利用走路和吃饭的时候思考,还有睡觉前必然要弄一个问题放在脑子里面,在思考中迷糊入睡。发现这样一来往往在不知不觉中多出来大量的思考时间。

    (tags: study 习惯)
  • 哥德尔的不完备性定理震撼了20世纪数学界的天空,其数学意义颠覆了希尔伯特的形式化数学的宏伟计划,其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科,深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型,进而作出了可计算理论和现代计算机的奠基性工作,著名的停机问题给出了机械计算模型的能力极限,其深刻的意义和漂亮的证明使它成为可计算理论中的标志性定理之一。丘齐,跟图灵同时代的天才,则从另一个抽象角度提出了lambda算子的思想,与图灵机抽象的倾向于硬件性不同,丘齐的lambda算子理论是从数学的角度进行抽象,不关心运算的机械过程而只关心运算的抽象性质,只用最简洁的几条公理便建立起了与图灵机完全等价的计算模型,其体现出来的数学抽象美开出了函数式编程语言这朵奇葩,Lisp、Scheme、Haskell… 这些以抽象性和简洁美为特点的语言至今仍然活跃在计算机科学界,虽然由于其本质上源于lambda算子理论的抽象方式不符合人的思维习惯从而注定无法成为主流的编程语言[2],然而这仍然无法妨碍它们成为编程理论乃至计算机学科的最佳教本。而诞生于函数式编程语言的神奇的Y combinator至今仍然让人们陷入深沉的震撼和反思当中…
  • (tags: turing)
  • MOC (music on console) is a console audio player for LINUX/UNIX designed to be powerful and easy to use.

    You just need to select a file from some directory using the menu similar to Midnight Commander, and MOC will start playing all files in this directory beginning from the chosen file. There is no need to create play lists like in other players.

    (tags: moc music)
  • NAME
    mpc – Program for controlling Music Player Daemon (MPD)
    SYNOPSIS
    mpc [<command> <arguments>]
    DESCRIPTION
    mpc is a client for MPD, the Music Player Daemon. mpc connects to a MPD and controls it according to commands and arguments passed to it. If no arguments are passed, current status is given.
    (tags: mpc mpd music)
  • 在60年代的中国,如果一个大学生不懂工农业常识,例如混淆了韭菜麦子,可能会受到讥笑。本来,闻道有先后,树业有专工。要求一个领域的人理解另一个领域的知识是有些过分。在今天,如果一个计算机科学的硕士或博士不知道什么是不可判定问题,什么是停机问题,为什么停机问题不可解,什么是NP=?P问题,也有可能会受到讥笑。因为这些问题对于计算机科学而言,太基本、太重要了,它们都属于一门称为可计算理论的学科。是计算机科学研究人员应具备的修养型知识。

links for 2008-08-29

August 29, 2008

links for 2008-08-28

August 28, 2008
  • LaTeX 文档

    * LaTeX 2e 在线帮助(英文)
    列出了 LaTeX2e 的有关命令、环境以及书籍、网络资源等,可供对 LaTeX 有一定了解的人作为参考。
    * LaTeX 2e 插图指南(中文)
    较为详细地介绍了在 LaTeX 文档中如何插入外部图形,能够使用哪些格式的图形,对所插入图形进行定位、旋转、替换其中的文字,选择图形环境的标题式样以及如何与文本段落混排等问题。
    * TeX/LaTeX 常用宏包介绍
    o 页面与章节标题式样
    o 浮动对象及其标题
    o 生成与插入图形
    o 表格和列表
    o 目录与索引
    o 参考文献及其引用
    o 数学与化学公式
    o 抄录环境和源代码排版
    o 特殊文本元素
    o 辅助工具
    o 非标准文档式样
    * CTEX 邮件列表历史资料 (2000.1-2002.6)

  • (tags: vim plugin viki)
  • 本系列第一部分介绍了一些基本的 Vim 使用技巧。掌握这些技巧可以很大地提高编辑效率,但是 Vim 的强大功能并不仅限于此。Vim 还可以通过“插件”来进行功能扩展。精确地说,是通过脚本来进行扩展,脚本类型有插件、语法加亮、配色方案、文件类型检测等多种。大部分的脚本都是由 Vim 的用户写的,解决了用户身边的问题,使 Vim 变得更加有用。本章将介绍最常用的一些脚本,其中除了一个属于“语法加亮”脚本外,其它都属于“插件”类型。关于如何写脚本的一些基础知识将在下一部分进行一些介绍。
    (tags: vim ctags plugin)
  • 正向搜索指的是在生成的 dvi 文件中 查找 LaTeX 源代码中指定位置所对应的 dvi 段落、图表或其它元素; 反向搜索指的是在生成的 dvi 文件中查找指定段落、图表或其它元素 所对应源代码的位置。

    众所周知, LaTeX 并不是一个“所见即所得”的编辑环境, 因此许多时候我们需要通过反复编译、查看效果来调节我们编写的代码。 正向搜索可以为代码的调节工作带来极大便利 ──当我们修改了一段代码后, 只需要编译它, 然后通过正向搜索直接跳转到 dvi 中与该段对应的位置, 即可立即直接查看到这段代码的效果。

    而反向搜索在校对稿件的时候尤其有用。 当发现了错别字或病句的时候, 可以通过 dvi 文件反向搜索源代码位置, 快速跳转到源代码中的相应位置, 以便迅速而方便地修改这个错误。

  • 除了使用鼠标可以基本操作以外,还可以使用键盘。下面列出常用快捷键

    1. o 打开关闭文件或者目录
    2. t 在标签页中打开
    3. T 在后台标签页中打开
    4. ! 执行此文件
    5. p 到上层目录
    6. P 到根目录
    7. K 到第一个节点
    8. J 到最后一个节点
    9. u 打开上层目录
    10. m 显示文件系统菜单(添加、删除、移动操作)
    11. ? 帮助
    12. q 关闭

    (tags: NERDTree)
  • (tags: font criteria)
  • (tags: vim font)
  • (tags: vim font)

links for 2008-08-27

August 27, 2008

links for 2008-08-26

August 26, 2008

links for 2008-08-25

August 25, 2008
  • 中文名称:攻壳机动队
    英文名称:Ghost in the Shell
    版本:[思路][Blu-ray.RE.a1080.X264.DTS][MKV][BR-RE]粤日双语
    发行时间:1995年
    导演:押井守
    演员:薙素子…田中敦子
       巴特…大塚民夫
       德古沙…山寺宏一
       石川…仲野裕
       荒卷…大木民夫
    地区:日本
    语言:粤语,日语
  • 原著:士郎正宗
    导 演: 押井守 Mamoru Oshii
    主 演: Atsuko Tanaka Akio &Ocirc;tsuka Tamio &Ocirc;ki K&ocirc;ichi Yamadera Tessh&ocirc; Genda Naoto Takenaka Yutaka Nakano Hiroaki Hirata
    上 映: 2004年09月17日
    地 区: 日本
    时 长: 99 分钟
    类 型: 动作 动画 剧情 科幻 惊秫 奇幻
    分 级:美国:PG-13
    制作:I.G 动画制作公司
    出品:东宝映画公司
  • 《GHOST IN THE SHELL 攻壳机动队》[1995年]{剧场版}
    《攻壳机动队 STAND ALONE COMPLEX》[2003年]{TV版26集}
    《攻壳机动队 STAND ALONE COMPLEX·2nd GIG》[2004年]{TV版26集}
    《GHOST IN THE SHELL INNOCENCE(无罪)》[2004年]{剧场版}
    《攻壳机动队 STAND ALONE COMPLEX·笑脸男事件》[2005年]{OVA版}
    《攻壳机动队 STAND ALONE COMPLEX·Solid State Society》[2006年]{OVA版}
  • [剧情介绍]
    这个世界距离我们并不遥远,你把它看作是现代社会的镜子亦为不可。
    也许:无论人类怎样发展,人性是不会改变的,即使容纳这渺小人性的外壳换作了机器身体亦是一样。
    无论怎样,在一个充斥着改装身体的社会里,人类的欲望得以被延续且发扬光大,由此相关的犯罪也应运而生。
    由荒卷所领导的特务组织:公安9课,其实也可算是日本社会的清洁剂
  • 【剧情介绍】
    公元2030的世界,改造人、生化人、机器人等等的存在已经非常普及。主人公草稚素子正是人类最高科技的结晶:只有大脑是人脑,其余身体部分皆为机械装置,外表看起来则是一名美貌兼干练的年轻女性。
    在这个高科技的世界里,人类通过更换身体的各个部件而达到长寿已不是新鲜事,更有许多人的大脑也已经电脑化,从而真正实现所谓的“电子化的存在”(并非“信息化的存在”^^)。
    从庞大的社会结构直至单独的个人身体,都可方便的通过网络连接,构成了一个无比复杂的信息网络:这就是本作的世界基础。

    虽然人类社会的电脑化带来很多方便,但是无论构造成为身体的材料怎样变化,人类毕竟还是拥有人性,因此各种以电脑为契机的犯罪层出不穷。
    日本的公安九课是一个高出统治阶层的存在,它的职能就是猎捕一切有关于高级电脑类刑事犯罪者!这个特别行动部队的领导者是一名神秘的老者荒卷,队长就是前面介绍过的草稚素子。队内各个队员的能力各有所长,其中最有影响力的两个人,一是和队长关系暧昧的副手巴特,此大壮行动果断勇敢还颇有幽默感,另一个则是队内唯一一位几乎没经过改造的真正人类:德古斯,此君的最爱就是古老的左轮枪。

    公安九课所面对的罪犯:有时可能是政府中的高官,有时可能是偷换他人大脑的投机分子,更有可能是身边的同伴;每一次的案件,都是对人类存在的再思考,都可能给队内的每一个队员带来沉重的精神压力。

  • (tags: GNU c library libc)
  • 在高级文件系统实现者指南中,Daniel Robbins 向您展示了如何在 Linux 2.4 中使用最新的文件系统技术。在 AFIG 系列文章的这一结束篇中,Daniel 继续讨论用于 Linux 的企业卷管理系统(Enterprise Volume Management System,简称 EVMS)。他向您显示了如何使用来利用新硬盘,对它分区并在其上创建 LVM 卷。接着,他向您介绍了重要的 EVMS 概念,当您继续研究此功能强大的技术时,您会发现这些概念是必不可少的。
    (tags: lvm evms)
  • Programming with GNU Readline

    This chapter describes the interface between the GNU Readline Library and other programs. If you are a programmer, and you wish to include the features found in GNU Readline such as completion, line editing, and interactive history manipulation in your own programs, this section is for you.

  • 管理在 -ix 环境(UNIX®、AIX 等等)中并不是新特性。逻辑卷管理(logical volume management,LVM)在 Linux® 内核 2.4v1 和 2.6.9v2 中就已经出现了。本文讨论 LVM2 最有用的特性(LVM2 是一个相当新的用户空间工具集,它提供逻辑卷管理功能),并提供几种简化系统管理任务的方法。

    逻辑卷管理(LVM)指系统将物理卷管理抽象到更高的层次,常常会形成更简单的管理模式。通过使用 LVM,所有物理磁盘和分区,无论它们的大小和分布方式如何,都被抽象为单一存储(single storage)源。例如,在图 1 所示的物理到逻辑映射布局中,最大的磁盘是 80GB 的,那么用户如何创建更大(比如 150GB)的文件系统呢?

    (tags: lvm)
  • (tags: lvm howto)
  • 在本文中,Daniel 和我们一起分享了他将 cvs.gentoo.org 的 /home 文件系统转换成 LVM 逻辑卷的经历。在转换之后,当 cvs.gentoo.org 的 /home 分区实时动态地进行大小调整,而无需重新引导、卸装 /home,甚至无需降低到运行级别 1 时,我们将会看到 LVM 的种种优点。所有进程在没有任何中断的情况下继续工作。Daniel 对转换的逐步详细介绍将对那些有兴趣在他们自己的机器上执行类似转换的人有所帮助。
    (tags: lvm)
  • 在本文中,Daniel 向您介绍了 Linux LVM(逻辑卷管理)背后的概念,并告诉您如何将最新的内核补丁和工具安装到您的系统上。LVM 可以让您在除机器上的物理存储资源以外创建逻辑卷。不过,与物理卷不同,逻辑卷可以在系统仍处于运行状态时扩充和缩减,这样就为 Linux 系统管理员提供了他们梦寐以求的存储器灵活性。
    (tags: lvm)

links for 2008-08-24

August 24, 2008
  • 传统上,一个分区大小是静态的。这要求一个系统安装人员必须考虑的不是“我要在这个分区上存储多少数据”,而是“我‘究竟’要在这个分区上存储多少数据 ”。当一个用户在这个分区上没有空间了,他要么不得不重新分区(这可能要求整个操作系统重装),要么象符号连接一样使用组装机。

    一个分区就是物理磁盘上一系列连续数据块的概念已经演变了。多数类Unix系统现在有能力分解物理磁盘到许多单元。多个驱动器上的存储单元可以汇聚成一个“逻辑卷”,它们可以分配给分区。另外,单元可以随着空间要求的改变而从分区中添加和删除。

    这就是基本的逻辑卷管理器(LVM)

    例如,假设你有一个1GB的磁盘,并且创建“/home”分区花了600MB。设想你没有空间了,于是决定“/home”需要1GB。用传统的分区观念,你不得不有另外一个至少1GB大小的驱动器。接着增加这个磁盘,创建新的/home,并且将现有的数据拷贝过去。

    然而,用LVM配置,你仅仅只需要增加400MB(或更大)的磁盘,并将它的存储单元添加到“/home”分区中。其他工具可以让你调整原来文件系统的大小,所以你仅仅只需要调整“/home”大小来使用更大的分区,接着返回到商务中。

    一个非常特殊的处理,LVM甚至可以做它自身的“快照”,这使你能对不可移动的目标做备份。我们返回到这个激动人心的可能中,稍后,有许多另外的真实应用。

    以下章节中,我们解释了LVM的基本要素,和它使用中的许多概要。

    (tags: LVM howto)

links for 2008-08-23

August 23, 2008

links for 2008-08-22

August 22, 2008
  • 基本概念:

    1> tty(终端设备的统称):
    tty一词源于Teletypes,或者teletypewriters,原来指的是电传打字机,是通过串行线用打印机键盘通过阅读和发送信息的东西,后来这东西被键盘与显示器取代,所以现在叫终端比较合适。
    终端是一种字符型设备,它有多种类型,通常使用tty来简称各种类型的终端设备。

    2> pty(虚拟终端):
    但是如果我们远程telnet到主机或使用xterm时不也需要一个终端交互么?是的,这就是虚拟终端pty(pseudo-tty)

    3> pts/ptmx(pts/ptmx结合使用,进而实现pty):
    pts(pseudo-terminal slave)是pty的实现方法,与ptmx(pseudo-terminal master)配合使用实现pty。

    (tags: pty pts tty 终端)
  • 1. 落雨大 – “落雨大,水浸街”是我们经典的儿歌,在每个广州人的一生中唱过无数次。而这首歌以说唱的方式讲述年轻人长大后的总总烦恼。最爱里面的一句“人比人,比死人,不需理会别人;好有钱,好有面,梦想未必实现;世上很多嘢,比钱银更值钱……”,在很多郁闷的时候我就哼这一段鼓励自己。

    2. 月光光,照羊城 – 把童谣、粤剧和R&B结合,不是一般的牛,而且结合得那么天衣无缝。细细体会歌词,你能看到一个很古色古香的羊城。感受到一个宁静月光之下的羊城了吗?

    3. 亚洲的梦 – 很让我自豪的一首歌,红棉是我们的市花,那种热情的红色正是我们的激情所在。2010年,广州将举行亚运会,就如会徽一样,我们正烘烘燃烧着热情,我们准备就绪、迎接各国好友,我们有信心把亚运会办好!

    4. 剑合钗圆帝女花 – 粤剧,是广州地区的传统文化的代表。随着老一辈的老去,年轻人更喜欢流行曲,粤剧在式微。小时候我也不怎么爱看粤剧,但外婆外公喜欢看,我就很烦躁地在一旁左搞搞右弄弄,大概是当年不太懂演员用部分古语呀呀呀所唱的剧情吧。这歌把粤剧和R&B有机结合,十分有新鲜感。

    5. 广州队 – 今年,广州队在多年之后努力之后终于冲超成功,可喜可贺!这歌是广州足球球迷联盟的会歌,在我们的越秀山主场经常都是蓝色人浪翻滚,广州队高唱。每次听到这首歌我都会热血沸腾,随着节奏摆起双手。虽然从未到越秀山体育场支持我的广州队,但也经常在电视机前为他们捏一把汗。

    6. 珠江印象 – 很大气的一首歌,也是我经常无意中唱的其中一首。其中包含了广州人对母亲城市的感激,能生活在如此一个美好的城市真让人感到无比自豪。

  • (tags: memcached)