从gnome overlay那里将 GNOME 升到了 3.6 版本，于是便遇到了关于IBus 输入法的问题。more之前我用的输入法是 fcitx 4.2.5。在 GNOME 3.6 中，虽然 IBus 默认被依赖安装了，但是 fcitx 在 GTK 与 QT 程序中依然可以照常使用，只是 XIM 出了问题，导致所有依赖 XIM 的程序都无法使用 fcitx，例如 Emacs。感觉这个问题很奇怪。折腾了一会，没有搞定，但是发现了肇事者是 gnome-settings-daemon，因为将它关掉，Emacs 就可以启用 fcitx 了。不知道 gnome-settings-daemon 做了什么手脚导致 fcitx 的 XIM 不工作，但是 IBus 和 SCIM 的 XIM 都是正常的。如果对 XIM 问题不去深究的话，去掉 GNOME 3.6 对 IBus 的依赖并使得 fcitx 的 XIM 恢复正常的话，这还是比较容易做到的，只需关掉以下三个包的 i18n 的 USE：gnome-base/gnome-shell -i18n gnome-base/gnome-control-center -i18n gnome-base/gnome-settings-daemon -i18n然后自然是重新安装它们，之后即可将 IBus 删除，并且 fcitx 全面正常。 ...继续阅读 (31)

原文见Bartosz Milewski 的系列博文。如是我闻： 单子空空，力量无限 用之愈多，所得愈多 谈之愈多，知之愈少 ——《单子之道》这样说不知是否夸张，似乎每个懂得了单子的程序员都会写一篇关于它的文章（而且每一篇的开头都是：网络上已经有了许多单子指南，但是……）。原因是对于单子的理解像是一种灵魂感悟，你想与他人分享。人们对单子的认知如同盲人摸象。你会看到有的人将它描述为容器，有的人将它描述为动作。有的人认为它是用于封装副作用的，也有人将其视为范畴论中自函子的实例。很难说清楚单子是个什么东西，因为它与我们日常生活中的事物毫无关系。对于面向对象编程中的对象，即使婴儿都知道对象是什么（可以放进嘴里的东西），单子该如何具化？more第一部分还是让我们首先回答一个相关的问题：单子为何这么二？单子使得纯函数式程序员能够实现变量、状态、I/O 以及其他那些并非函数的东西。嗯，那你可能要说了，他们活该啊……他们将手绑在身后，吹牛说他们可以用脚趾头打字。就让他们作吧，我们没必要关心。事实上，我们在命令式语言中经常使用的那些非函数式的东西是诸恶之源。以副作用为例，聪明的程序员（可理解为手指多次被烧的家伙）出于对副作用的畏 惧而倾力消减全局变量与静态变量的使用。如果你知道你在干什么，这样是切 ...继续阅读 (23)

RWH 就是《Real World Haskell》。这次是我第二次阅读它，因为第一次半途而废。现在，已经前四章读完，其中前三章讲的是 Haskell 的一些非常基础的语法，例如基本类型、用户自定义类型、函数的定义与应用、条件判断语句、模式匹配等内容，这部分内容结合书中的小示例很容易理解。第四章，其标题貌似是要概述式的讲述 FP 的思想和方法，实际上内容严重的跑题。我觉得读完这一章，只要能够理解下面这几个知识点就足够了，不必在意能否理解作者提供的那些自以为是的示例。如何用尾递归表示命令式语言中的循环惰性计算的陷阱匿名函数部分函数应用与单参数化函数的复合其中的难点是如何使用尾递归实现迭代以及惰性计算的陷阱，本文对它们略微总结一下。more循环结构的递归表示在 C 语言中，我们会经常写下面这样的代码：int n = 10; for (int i = 0; i < n; i++) { }且不论 Haskell 如何实现它，先来看 C 语言如何用递归来实现它。我们先用一个比较简单的尾递归函数来实现上述循环结构的外壳，即：void loop (int i, int n) { if (i < n) loop (i + 1, n); }然后调用这个函数：loop (0, 10);这样，这个空壳的 for 循环结构便被转化为递归函数形式。建议在编译上述 loop 代码时，使 ...继续阅读 (22)

为了准备上次所说的Haskell 文学编程项目，这两天浅尝辙止的学习了一点 CWEB 的知识，勉强可以进行 C 语言的文学编程了。moreCWEB 程序的结构很简单，最小而全的编程单位是“节”。每节分为三个部分：TeX 部分，就是用 TeX 所写的文档；中间部分，主要是用于定义 C 语言的宏；C 代码部分，就是放置 CWEB 宏或 C 代码的区域。这三个部分中的任何一个都可以为空，但是它们必须要按照这个次序出现。下面这个例子就是 CWEB 程序的一节：@* Clutter Stage 构建示例 这个程序主要是构建一个 Stage 对象，并让它能够对单击事件作出改变背景 颜色的响应。程序结构大致如下： @c @<头文件@> @<全局变量@> @<响应单击事件的函数@> @<主函数@>这个 CWEB 节只有 TeX 部分与 C 代码部分。代码中的 @ 符号后面尾随一个字符，这个结构叫做“控制字”。@*控制字表示开始一个新的 CWEB 节，并且领起 TeX 部分。@c控制字表示开始 C 代码部分，而@< ... @>这样的结构表示 CWEB 宏，它表示一段 C 代码。与@*控制字类似，@ 符号后面尾随一个空格字符，也可以开始一节，它与前者的区别是前者类似于写文档进行分章，而后者是构成章的各节。这些术语用的是真够乱的。HWEB 绝不这 ...继续阅读 (24)

这只是一个很粗略的计划，主要是作为这次重新学习 Haskell 的过程中的唯一的一个实践。也就是说我会将这个项目作为 Haskell 的技术实验场，所以一个丑陋的过程是必然的，最终功能不全也可能是必然的，因为对于编译原理目前我也是个门外汉。more我的想法是美好的。将 Haskell 强大的程序逻辑表现力与用于表述人类思考过程的自然语言融为一体，从而实现程序即文档，文档即程序这样的愿望。但是与 Knuth 相比，我这燕雀虽倾慕鸿鹄之志却也应当自量。结果应当显而易见。我费劲周折，学习了一些之前只有耳闻却从未尝试的技术和工具，写了一个或者好用或者很难用的 HWEB，然后这个 WEB 会和之前的其他 WEB 那样默默无闻。当你不幸读到这篇文章，可能不知道我所说的 WEB 是什么。Knuth 在取名字的时候，认为它是英语中很少的几个没有用于计算机的三字词语之一。事实证明他老人家在这一点上的判断非常的不英明神武。现今，我们听到 WEB 这个单词的时候，谁会想到它是一种文学编程语言呢？不知道文学编程的“严重后果”可从http://complystill.iteye.com/blog/370568略见一斑。我不关心 Haskell 现在有没有类似的文学编程实现的项目，所以未对现状作过太多调查。有文字表明 Haskell 支持半文学编程。事实上所谓的“半文学编程 ...继续阅读 (120)

下载一些光盘镜像文件后，最好进行 Hash 校验保证文件的正确性。这一点对于 Linux 用户而言，属于常识的常识。只不过我经常因为一时想不起来校验命令，又懒得再去 google，所以就不校验。这个 Nautilus 的 Hash Check 脚本利用了 Zentiy 实现了一个图形界面的校验工具，可以直接在 Nautilus 中选中文件后在右键菜单中调出校验工具生成校验码，并且还能够将校验码与文件名扔给 google，完成校验码的核对工作。more有关这个脚本更详细的介绍见http://worldofgnome.org/the-fastest-and-easiest-way-to-check-your-downloads/如果你想安装这个脚本，而且你也和我一样身处水深火热的天网而难以访问这个脚本在 DropBox 上的下载地址，那么你可以在这里下载我修改过的这个版本。我所做的修改就是禁止它的安装程序自动查询 DropBox 上的最新版本号。不过，我觉得这样的功能应该有文件管理器内建支持才对。 ...继续阅读 (20)

是在planet.gnome.org的一篇采访文章中看到woGue这个网站。它于 2012 年 5 月 28 日上线，只关注 GNOME 桌面信息，但是与 GNOME 官方没有什么关系。woGue从 gnome.org、邮件列表、开发者博客以及 Git 仓库获取 GNOME 的相关新闻，还有对 GNOME 开发者所做的采访。网站的设计风格很现代，内容也丰富，基本上每日都有更新。为啥取名 woGue？“woG” 应该是指“world of GNOME”，而“ue” 貌似是“User Experience”的缩写。错！实际上 woGue 是超时尚的意思。因为 vogue 是时尚。woGue应该是第二个专注于 GNOME 桌面动态的网站。因为之前有一个gnomejournal.org网站，它已经死了好久，不知道还会不会还阳。至于planet.gnome.org，它的内容实际上一直都很无趣，就是那伙开发者们在唠叨一些八杆子也搭不着普通用户边的话。 ...继续阅读 (17)

这篇文章介绍一下我在用的仅有的三个 GNOME Shell 扩展。more永远邪恶的状态图标假如你是一名 pidgin 或某个 IRC 客户端的用户，估计你会非常希望将程序的图标置于桌面顶部面板的右侧，而不是动态隐藏的底部消息状态栏的右侧。另外，你可能也想将顶部面板中的一些固定的图标隐藏，例如辅助功能、蓝牙、电源、网络状态等图标。Evil Status Icon Forever扩展可以帮助你解决这些问题。从网页安装这个扩展之后，根据自己的需要编辑 ~/.local/share/gnome-shell/extensions/EvilStatusIconForever@bone.twbbs.org.tw 目录中的 extension.js 文件中的 notification 与 removeStatusIcon 这两个变量，例如我将它们设为：var notification = [ 'pidgin' // Pidgin IM Client ] var removeStatusIcon = [ 'a11y', // Accessibility // 'volume', // 'battery', // 'keyboard', // 'bluetooth', // 'network' ]窗口最大化扩展因为 ...继续阅读 (15)

自从版本 0.0.2发布后，工作和学习上的事情比较多，所以一直未进行更新。上个月，决定要将以前的设计推倒重来之后，这一个多月的时间里将全部的代码重写了一遍，现在又基本上可以用了，功能也多了一些。moreCikada 0.5 版主要具有以下功能：提供了幻灯片硬盘缓存模式，可将全部幻灯片转化为图片存储于 /tmp 目录，并对 PDF 文档进行 MD5 校验，避免对同一份 PDF 文档重复进行缓存；具有页面平移、缩放、淡入/淡出这些常规的幻灯片切换动画效果；提供了进度条，不仅可用于追踪演讲进度，还可用于页面跳转；支持 TEX/ConTeXt 风格的配置文件，可以配置幻灯片默认的动画效果、进度条的颜色及尺寸，也可将一组连续的幻灯片组织为“延续体”，用于静态页面所构成的动画演示。下载地址：https://github.com/liyanrui/cikada/tree/0.5.0演示视频： ...继续阅读 (16)

看到了一篇很有趣的文章“Why smart people are stupid”。这里大概的翻译一下。其实也不是非常有趣，其中全部观点就是《道德经》所谓的“绝圣弃智，民利百倍”，而且《道德经》还给出了解决方案：“为学日益，为道日损。损之又损，以至于无为”。没准西方的心理学搞着搞着，发现搞出来一本 E 文的道德经。more看这样一个简单的算数问题：一根球棒和一个球价值 1 美元零 10 美分，球棒要比球贵 1 美元，问球值多少钱？绝大多数人会信心十足迅速的作出回答，认为球值 10 美分。这个答案显然是错的。正确答案是球值 5 美分，球棒值 1 美元零 5 美分。五十多年以前，诺贝尔奖得主、普林斯顿大学心理学教授 Daniel Kahenman 问过我们与上述类似的一些问题并且分析了我们的答案。他做的这些不瘟不火的简单的实验彻底改变了我们对思维的思考方式。哲学家、经济学家和社会学家几个世纪普遍认为人类是理性的动物——理由是普罗米休斯带给我们的礼物——Kahneman 和他的搭档，后起之秀 Amos Tversky 揭示了我们并非像我们所认为的那样理性。当人们面对一种不确定的情况之时，他们不会认真的对信息进行评估或者寻找相关的统计。相反，他们的决断依赖于一份心智捷径的清 ...继续阅读 (25)

鱼鱼（fishfish）是鱼（fish）的一个 fork。fish 不是真的 fish，只是 friendly interactive shell 的简写。morefishfish 除了继承了 fish 的全部特性之外，又增加了一些功能，点击它的主页上的小图片可以大致领略一下它的风采。其中最让我动心的是自动建议功能以及在 Web 网页中进行色彩定制。可能你对 fish 也不熟悉，这里有它的一份介绍：对话 Unix，使用 fish！。其实，我也是昨天晚上发现了 fishfish，才知道了 fish，并且一度搞混淆了，认为它们是一回事。结果我个在 gentoo 里 emerge 了 fish，发现没有自动建议功能才醒悟。自从用 Linux 以来，我一直都没有换过 bash，即便那个 zsh 有多么的强大。用过 emacs 的人应该都知道一件事情：强大的东西，不好掌控。我已经选择了被 emacs 虐，就没必要再找一个了。发现 fishfish 之后，发现它个基本上都不需要怎么配置，也不需要啥插件就可以无痛上手使用了。特别是假如你一直都没有分清楚'$var'、"$var"和`$var`的区别，并且也极度不喜欢 bash 在变量赋值时等号两侧不能有空格这种恶习，也许你也会喜欢 fishfish 的，你得到的这两条鱼非常有营养。 ...继续阅读 (33)

首先不好意思的说，我入手了一个山寨的 Android 平板，而且已经三个多月了，前几天这个平板的厂商才发布 Android 4.0.3 固件。鉴于这件事，我决定在这里将这个厂商的名字公布出来，它就是“索爱”，这样我们就可以一起鄙视它了。对的，就是那个老是喜欢伪装成“索尼爱立信”的那个。这个山寨的平板，质量上比 IPAD 自然是不敢比的，虽然厂商的广告说它跟 IPAD 有一拼。它唯一的好处就是让我折腾它的时候毫不心痛。自从买来之后，除了刷了几次厂商提供的固件之外，其他的大山寨——纽曼、原道、酷比模仿等厂商的固件我也不断的向这个平板里刷。呃，我的废话有点多了。请原谅，毕竟攒了有三个多月了，现在才一总倒出。这篇文章真正的主题讲的是如何借助 Coversal 与 xdotool，让我的平板能够支持 Linux 笔记本（或 Linux PC）中的 pinpoint 的控制，主要就是可以切换幻灯片的页面。CoversalAndroid 市场中有许多远程控制软件，其中支持 Linux 则不算太多，比较有名的是 Remotedroid 与 GMote。这些软件通常需要在主机端装上一个 Java 写的服务端。如果你用的是 Android 手机，那么可以不用读下面的内容了。我之所以不用这些软件，主要是因为它们的分辨率不适合在平板中 ...继续阅读 (76)

这是我在写 Cikada 时遇到的一个小问题，发现利用 GIO 库的 GFileMonitor 类与 GLib 提供的 GMainLoop 主循环可以很方便的解决它。more#include <gio/gio.h> static void dir_is_changed (GFileMonitor *monitor, GFile *file, GFile *other, GFileMonitorEvent event_type, gpointer user_data) { if (event_type == G_FILE_MONITOR_EVENT_CREATED) g_print ("You just created '%s'!\n", g_file_get_path (file)); } int main (int argc, char **argv) { g_type_init (); GMainLoop *main_loop = g_main_loop_new (NULL, TRUE); ...继续阅读 (20)

看这个简单的例子：#include <clutter/clutter.h> static gpointer gen_slide (gpointer data) { return clutter_cairo_texture_new (800.0, 600.0); } static gboolean on_stage_button_press (ClutterActor *stage, ClutterEvent *event, gpointer data) { g_thread_new ("test", gen_slide, NULL); return TRUE; } int main(int argc, char *argv[]) { if (clutter_init (&argc, &argv) != CLUTTER_INIT_SUCCESS) return 1; ClutterColor stage_color = { 0x21, 0x43, 0x5e, 0xff }; ClutterActor *stage = clutter_stage_get_default (); clut ...继续阅读 (20)

很长一段时间以来，因为要处理的主要矛盾太多了，Cikada 这种次要矛盾只好推到一边，虽然它是我最想做的一件事情。这是 Cikada 项目自发布0.0.2 版本之后一直都没什么进展的主要原因。虽然这个项目搁置了好久，但是也不是坏事情，在这段时间中我对报告中的演示需求有了更多的体会。下面是一些粗略的新的规划：去掉那个时钟模式的概览视图。主要因为用了一段时间感觉很不方便，观看进度时画面是不应该切换成概览模式的。保持只有“淡入/淡出”的页面切换效果不变。提供演示文档的“剧本”支持。基本思想是：演示文档的每一页，用户都可以将其视为演员，可通过“剧本”来控制文档主题树、演讲时间，甚至添加一些辅助文本、图形与视频。报告的进度应当直接呈现在演示画面当中，并且进度的测度不应当由当前页数与总页数的比值来表示，应当将其表示为预期的报告时间以及各个页面对应的报告时间。分段加载页面时，在各段的起点时页面切换会出现停滞，决定使用一个线程负责页面切换，另一个线程负责预加载页面。以树状图的形式建立概览视图，这样可以快速的跳转到各个子主题。 ...继续阅读 (10)

自 GTK+ 3.0 发布后，GtkGLExt 一直没有支持它，并且这个项目已沉寂了很久。最近 GtkGLExt 邮件列表中 Thomas Zimmermann 的三封邮件，让这件事情看上去有了一些眉目。more第一封邮件大家好！这个周末我将 GtkGLExt 向 GTK+3 进行了初步的移植。你可以通过以下命令获取代码：$ git clone git://github.com/tdz/gtkglext.git这份代码我已在 Fedora 15 中测试了，没有发现什么大问题。在屏（On-screen）窗口当可以工作，不过目前只支持 X11 后端。由于 GTK+ 3 移除了GdkDrawable，导致GdkGLWindow不再是可绘制对象，不过这不是什么问题。实际上这一变故将 GdkGLExt 向 GLX 层面更加靠近。当然，你依然可以从GdkGLWindow中获取GdkWindow，在它上面绘制图形。离屏（Off-screen）渲染目前尚不支持。在 GDK 3 中，离屏渲染是通过GDK_WINDOW_TYPE_OFFSCREEN类型的窗口实现的。未来，GtkGLExt 的离屏渲染需要基于这种类型的窗口进行实现。颜色索引（Color-index）被我扔掉了。因为 GDK 3 没有为操纵窗口的颜色表提供所需接口，因此很难在 GtkGLExt 中保留这一功能。另外，OpenGL 3 也已 ...继续阅读 (22)

GObject Introspection（简称 GI）用于产生与解析 C 程序库 API 元信息，以便于动态语言（或托管语言）绑定基于 C + GObject 的程序库。moreGI：约定 + 机制为了正确的生成 C 库的 API 元信息，GI 要求 C 库的实现者要么使用一种特定的代码注释规范，即 Gtk-Doc[1]，要么使用带有类型自省功能的 GObject 库。首先来看如何基于 Gtk-Doc 注释产生 API 元信息，见下面的示例：#ifndef FOO_H #define FOO_H void foo_hello (void); #endif#include <stdio.h> #include "foo.h" /** * foo_hello: * * This function just for test. */ void foo_hello (void) { printf ("hello foo!\n"); }使用 gcc 编译上述 C 代码，生成一个共享库：$ gcc -fPIC -shared foo.c -o libfoo.so然后使用 g-ir-scanner 产生 libfoo.so 库的 API 元信息：$ g-ir-scanner --namespace=Foo --n ...继续阅读 (52)

我们屋里有一台计算机是专门用来做报告的，为它配备了一台投影仪。在作报告的时候，有时想播放一些音频文件，但是这台计算机没有扬声器。为了便于问题的描述，可以将这台计算机称为“哑巴机”。除了这台哑巴机之外，其他的计算机都内置了音效挺好的扬声器，相应的，我们管这些带扬声器的机器称为“有声机”。由于我们比较缺钱，所以不想为哑巴机再配备一个外部音箱，只想找个办法使得哑巴机可以通过有声机的扬声器播放音频。使用 PulseAudio 可以很简单的解决这个问题。more将有声机作为服务器打开 /etc/pulse/default.pa 文件，增加以下内容：load-module module-native-protocol-tcp auth-ip-acl=127.0.0.1;192.168.0.0/24 auth-anonymous=1192.168.0.0这个 IP 起始地址可根据具体的网络环境进行修改。然后重启 pulseaudio 服务：$ pulseaudio --kill $ pulseaudio --start将哑巴机作为客户端在哑巴机上，只需将有声机的 IP 地址设为服务器地址，然后开启音频程序（这个音频程序支持 PulseAudio）即可，例如：$ export PULSE_SERVER=192.168.0.7 $ rhythmbox ...继续阅读 (16)

不懂 Unix 的人，注定最终还要重复发明一个蹩脚的 Unix。这句话对于 X Window 系统可能也很合适。more当 Google 刚推出在线办公软件的时候，许多人就开始准备昂首挺胸的进入云计算/云服务时代了。当 google 推出 Chrome OS 系统的时候，许多人赞叹在一个像浏览器的系统中就可以做很多传统桌面的事情了。当 Apple 的 ipad 和 iphone 大行其道的时候，热衷于谈论云计算的人越来越多。就像当年的大型机降格为 PC 一样，无数人认为 PC 终将降格为 ipad。在未来，大家只需要拿着一个很小很小的终端设备在机场、车站、大街上走来走去就利用云服务来完成所有曾经在 PC 上完成的事情。一切看上去都很美好！让我们将目光回转到上个世纪的 80 年代，那时 X Window 系统已经问世。假设全世界所有的计算机都安装了 X Window 系统，而且这些计算机也都在同一个网络上。那么我们可以在任意一个计算机 A 中通过网络去运行任意一个计算机 B 上的程序。比方说有一个叫做 Xoogle 的人，他在计算机上安装了LibreOffice软件，那么我可以在我的计算机中使用他机器中的 LibreOffice 来撰写文档，并且文档也可以保存在他的机器上。如果别的人也连接到了 Xoogle 的计算机上，那么他们可以做与我相似的事情。了解 X Window 系统的人应 ...继续阅读 (8)