其实这一切的开端都是Mgccl大牛作祟。在他的各种代码影响下，我就萌生了接触一点函数式编程的念头。其实还有一个原因便是我现在经常使用R语言做统计作业，但是R语言实际上是S语言的继承。本来S语言是一个函数式编程的语言，但是R这么一继承就变得有些不伦不类的……所以我也怀着“了解了函数式编程就能更好地学会R了吧！！”的情绪。最后，Haskell这个名字依然在三年前的《让我们比比长短》一文中出现了，这里函数式编程给我留下了各种深刻的印象。

Haskell有两本可以在线看的教材：《Real World Haskell》和《Learn You a Haskell》两本。它们应该算是基础教材了吧，也就是让你能够初步接触Haskell。然后还有一个介绍内置函数的pdf。

我用的是WindowsXP（你们不要斜眼看过来！），于是首先去Haskell的官网下载了GHC(应该算是一个运行环境？命令行式的)。然后它会自动修改你的环境变量，于是新建一个后缀名为.hs的文件便会自动调用GHC载入代码。

——————胡言乱语的分割线——————

Haskell里面没有循环，但是我们可以用递归来实现它。比如下面这段计算斐波那契数列的C代码：

f[0]=1;
f[1]=1;
for (i=2;i<n;i++)
	f[i]=f[i-1]+f[i-2];

可以在haskell里面用递归的形式这样写：

fib n = lst 1 1 n 
	where lst a b c = if c<2 then a 
				 else lst (a+b) a (c-1)

但是鉴于Mgccl大牛对elegance的追求，以及haskell一个很神奇的特质，我们可以用”infinite list”来一句话实现这个操作：

fib n = fibs !! n
        where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

haskell有一个lazy的特点，也就是所有的东西都会在需要的时候才去计算。haskell内置了一个函数repeat n，就是生成一个长度无限的list[n,n,n,n,… 。这种涉及无穷的东西并不会瞬间吃光你的内存，而是在你需要算到第n个数时，它才会帮你算到那个数。因为这个特点，在haskell中实现循环还有另一种方法：事先找到这个循环的规律，然后类似通项公式一般地生成一个无穷表，然后这个list的第n项就是循环到n的结果。

另一个例子，解决的问题是ProjectEuler第97题。我的代码是：

powMod2 n = l 1 n 2 where
            l i n ans = if (i*2<=n) then l (i*2) n (mod (ans^2) (10^10))
			            else if ((i<n) && (i*2>n)) then mod (ans*(l 1 (n-i) 2)) (10^10)
						else ans
ans_97 = mod (28433*(powMod2 7830457)+1) (10^10)

仍然保留在简单粗暴的递归式循环上。而Mgccl大牛的代码则如下：

bin 0 xs = xs
bin n xs = bin q (r:xs)
        where (q,r) = divMod n 2
result = (t*28433+1) `mod` m
  where t = foldr (mmod) 1 $ filter (/=0) (zipWith (*) (reverse $ bin 7830457 []) twoPow)
        twoPow = 2:zipWith mmod twoPow twoPow
        m = 10^10
        mmod a b = mod (a*b) m

不得不说神牛的版本在很大程度上增强了代码的可读性。
这个就是利用haskell的infinite list属性来简化代码的很好的例子，但是不得不说在还没习惯这种思维的时候这对我来说是一种很强烈的脑力锻炼。

目前来说，感觉haskell在对付ProjectEuler的内容上比C什么的简洁太多了，而且高精度这个我很讨厌的东西也算是不用再考虑了。最近忙生物统计去了，haskell练习也被我放下了一段时间，不过鉴于下学期我只有三门课一周10节的节奏，兴许会有比较多的进步什么的。

本文由 严酷的魔王 创作，转载或引用前请联系我们。

相关文章：

1. 让我们比比长短
2. 寻找满分单词
3. 晒：C语言期中实验报告

想想，已经过去将近两个月了吧。

C语言发明人，UNIX的父亲之一，不知道这两个身份是否过于沉重。想想，也是可以离去的时候了吧。

天堂这一个多月过得还好吧？Dennis，你知道还有多少世界各地的人们在怀念你吗？

“计算机程序的灵魂造型师”。Dennis，这样称呼你可以吗？

至于那些天天念叨着某不死的成功学家们，忽略他们吧。伟大的事物，大多难以被多数人关注，尽管与他们形影不离。

只是，在网上看到的那句话总显得有些酸涩：“可惜他不是商人，没有得到更多人的膜拜。”

也许，这个时代为了某个小小的追求，已经抛弃了太多太多宝贵的东西……

也请，不要在意。那些小小的分号，是你在这个世界上无法抹去的剪影。

没什么可遗憾的了。Dennis Ritchie的印记，已经铺遍世界。

你也能看到吧……能听到吧……

本文由 最后的叶子 创作，转载或引用前请联系我们。

相关文章：

1. 让我们比比长短
2. NOIP实用算法 7.分治
3. 晒：C语言期中实验报告

阿姨的帖子只有下面这幅图(请点击查看大图)：

图片有点大(4.2M)，小水管用户请耐心等待。

这幅图展示的内容看起来非常神奇，一个人用windows的画板便能够code出一个hello world出来。当然电脑上面的任何看似神奇的东西一定是有其原理的。所以我觉得自己也能够制造出同样的效果。

为了还原这段代码对应的bmp图像，我在经过各种尝试之后觉得下面这种方法应该是最简单的了。

首先我们需要一个16位编辑器来进行主要操作，像什么UltraEdit，WinHex就很好了，我在网上找到的是一个只有80K大小的Hex-Ed。

然后我们新建一个txt文件，在里面输入你的代码，就比如图片中的

#include

int main()

{

std::cout<<”Hello World”<

return 0;

}

输入之后，保存。接着我们用Hex-Ed打开刚才编辑的这段代码，你就应该看到如下画面：

保留着这个窗口，不要关闭。接着我们新建一个bmp文件，保留内容的空白，使用windows自带画图将大小调整为8*4的规格并保存图片——如果觉得自己鼠标不够稳，不妨在8倍放大的模式下进行尺寸调整。再次使用Hex-Ed打开这个bmp文件，你看到的内容应该如下所示：

那一串串的“FF”实际上就是bmp图像中白色色块的代码。接下来我们要做的就是用第一幅图中代码的内容覆盖掉所有的”FF”。在输入代码的时候，文字可以直接在右边的窗口输入，但是不可见字符（比如换行符制表符之类的）就可以在左边输入16进制的数字代码。对照着编辑完之后，我觉得你应该会看见下面的效果：

将这个编辑成果保存之后，打开那个bmp图，放大了仔细看——是不是出现了五颜六色的色块了？与动态图中一样，用记事本打开，应该也出现了同样的代码~

最后，大家可以从这幅色彩斑斓的图片中提取出颜色信息，努力背诵，说不定可以在初级程序员面前直接用画图作画，像动态图中的那样大显身手哦~至于灵活运用于向GEEK妹子表白之类的用途我才不会说呢……

本文由 严酷的魔王 创作，转载或引用前请联系我们。

相关文章：

1. 学习使用GTK+ 2.GTK+“Hello World”——对GTK+运作机制的通俗介绍
2. 说什么就是什么：Your World Of Text
3. Half a World Away

这款不和谐插件叫做Autoproxy。它的主要作用就是自动判断哪些网站需要通过代理访问，哪些网站直接通过正常网路访问。

但是注意：这个软件不能直接帮助我们使用代理，我们必须首先找到适合自己的代理服务器，然后再对这个插件进行配置。

我目前有两种使用代理的方法，一种是使用GAEproxy，详细的配置和使用方法请猛击这里；另一种则是在使用中山大学校园网的时候，使用学校某牛配置的代理服务器进行访问。值得一提的是，后一种方法由于处于中大校园网之中已经自动与代理服务器相连接，所以并不需要代理软件。

当你找到了合适的代理服务之后，便可以继续阅读本文。

一、安装与配置

首先我们去Mozilla的插件页面上安装Autoproxy。安装成功后，便会在firefox的一角看见一个红色的“福”字。右键之，选择首选项，你便应该看见类似下图的窗口：

选择“代理规则”–“添加订阅窗口”，然后我们选中gfwList，点击“订阅”。

这个gfwList实际上是一个列表，其中包含了大部分被GFW格挡在外的网站。我们订阅这个列表的目的，也就是给autoproxy一个名单，对照着帮助firefox选择正确的访问通道。

然后再选择“代理服务器”–“选择代理服务器”。这里是一些常见的代理软件名单，我们可以根据自己手上使用的代理软件选择对应的代理。

顺便提一句，单击那个福字，颜色会变，功能也会变：红色时是匹配名单便代理，否则不代理；绿色时是无论什么网站都通过代理；灰色时是无论什么网站都不通过代理。

上面的操作都进行完毕后，你可以打开自己的代理软件，试试访问youtube.com，twitter.com以及facebook.com。

二、更灵活的设置

那个gfwList免去了你手工添加大量被墙网站的麻烦，但是我们会时常发现有时候还是会碰到一些小网站，并没有被收录进去，此时怎么办？你可以考虑切换到绿色模式，但是这样便失去了我们使用autoproxy的理由。加入我们访问的被墙网站是example.com，那么可以右击福字，在弹出来的菜单中找到“对example.com全站启用代理”，勾上。然后我们再刷新这个页面，就能继续访问了。可以通过这样的简便方式添加自己的自定义规则，绕开在autoproxy的主窗口中手动填写代理规则的繁琐过程。

另一方面，就比如我使用中大教育网独有的代理服务器进行代理访问的时候，在autoproxy中找不到对应的代理服务器，这怎么办？

打开福字的首选项，选择“代理服务器”–“编辑代理服务器”。所打开的窗口中有一个按钮“添加代理”，之后便会腾出一行空的待填写服务器信息。我们可以自定义代理服务器的名字，地址和端口。例如我正在使用的校园网代理服务器，我起的名字是“SYSU-zzzcn”，因为这个服务器的维护者是@zzzcn 。接着我在地址里填了“172.18.184.111”，端口是“2012”。最后单击确定，即可完成配置。

接着我们在“代理服务器”–“选择代理服务器”中选择自己刚才配置的地址，那么autoproxy便能自动地通过这个地址来访问部分域名了。

三、其他的浏览器

如果你是一个G粉，那么想必你使用的浏览器便应该是Chrome。在Chrome下也有一个功能与autoproxy类似的插件，叫做proxyswitch。可惜我并没有使用过Chrome，于是在此也没办法给出相应的教程，相信参照上面的配置方法，大家也可以正确地配置proxyswitch。

其实刚才经过我的搜索，我发现即使是IE，也有了对应的类似autoproxy的东西，可以使用autoproxyPAC文件（其实，什么是PAC文件？？）帮助IE进行选择。详情可参考：http://zww.me/archives/25050。

本文由 严酷的魔王 创作，转载或引用前请联系我们。

相关文章：

1. 让我们比比长短
2. 为自己的blogger博客加上标签云
3. 软件推荐-Mozilla Thunderbird

一个病人去看病，医生看见他的手肘有很大的伤口，便问他：怎么了？

病人：玻璃。

医生：什么时候的事情？

病人：早上八点。

医生：做过什么处理吗？

病人：碘酒。

于是医生看了看，开出了药方，并免去了这个病人的挂号费。他的解释是：能为这样的病人看病我十分开心。

然后我要推荐一篇大牛的文章：提问的艺术。如果你没有时间来看这篇文章，或者是觉得这篇文章描述的东西十分的专业，那么我可以将这篇文章概括成一句话：准确地描述问题。仔细想想，这个貌似是大家都能理解的提问要求，甚至是提问方面最基本的要求——但是实际情况却是大家常常没能做到这一点。

经常能在网上的一些地方看见有人咆哮道：“我的笔记本刚才突然黑掉了！！！什么回事！！！！！！！”我觉得这个地球上不会有人能马上解决问题——除非你说：换一台。这样模糊不清的表述常常能从耐心开始杀死每一个有可能帮你解决问题的人。有过在网上解决问题的人应该都深有感触，时常要经过自己的不断追问，才能慢慢地将问题范围缩小，最后总算弄清楚是怎么一回事之后轻松搞定。所以如果每个人都知道如何提问，那么世界是多么美好啊~

貌似扯远了，或许你们会说看到现在都还没出现“宅女”和“自救”这样的字眼啊~没错，我现在正要引入相关的内容。刚才我大概描述了一下提问者和解答者之间的极端不默契，以及给出了一篇很好的大牛指导。现在便是我们应用的时刻了~首先作为一名准备自救的宅女，可能你都不想再次打开QQ上网求助某宅男一个很低级的问题了，所以我们学会了提问又有什么用处呢？那就是：拿去问谷歌。

其实大部分情况下，我都能解决别人问我的问题，但是实际上我并不是他一问我就知道如何解决，而是一边追问我想要的细节，一边偷偷地打开了Google，重新组织了一下他的问题描述，搜到方法，再照搬回去。而这整个流程，换成任何一个人都可以完成——唯一稍微有技巧性的地方便在于：我怎么知道想要的细节是什么？既然说到了这个，就可以回头从文章的开头看起了，其实这也是为什么我会推荐那一篇“提问的艺术”，因为我们只要学会了如何描述自己遇见的问题，便可以拿去网上搜索一下，大部分时候便能得到自己想要的答案。

在那篇文章里面有一句话很值得寻味：“尽量想象一个黑客会怎样反问你，在提问的时候预先给他答案。”我猜……提过很多次问题的人应该都能模糊地感觉到每次对方追问你的都是哪些方面的问题了，比如“你进行了什么操作，按了什么键或者是鼠标点击了哪里”“是刚查U盘进去什么也没动就立刻中毒了么，还是双击打开了U盘”“它说找不到的那个dll文件全称是什么”这一类的句子，然后尝试给出尽可能多的信息——就像你向别人描述刚刚在路上看到的一对JQ那样。说不定当你翻看了之前的很多次咨询-解决问题的聊天记录后，你会恍然大悟：原来解决问题需要的是这些东西。

也许你会说：一个神马都不知道的宅女，怎么懂得揣测是什么原因呢？那么，有一个很实用很简单但是却百试不爽的办法可以告诉你：如果有弹出的报错窗口，那么就把最主要的句子一个字不差地放进google里面搜索；如果没有直接的文字信息，那么就用关键词的方法将前因后果全部描述出来。这时候你就会惊奇地发现：搜索结果表示还有很多很多的人都在询问同样的问题。随手点开十几个网页，一般就能找到解决方法——至于这个方法你能不能看懂，甚至是能不能找到这样一个解决方法，就只能看你那个问题是不是所谓的“简单问题”了~

上面说了很长的一串东西，不知道宅女们看晕了没……在这里总结一下吧。就我个人的经历来说，无论是自己遇见问题或者是别人求助，常常会遇见超越知识储备的问题，这个时候便是合理利用Google的时机了——此处的合理指的便是恰当地选择关键词（比如将报错信息一个不漏地输入到搜索框中）。很多时候你都能搜索到别人解决这个问题的办法。避免那些无意义的“谁能帮帮我！！”这样的垃圾语言出现在寻求帮助的过程中，因为别人既不知道你要问什么，也会不自觉地对你产生一点反感。学会自救，就是学会描述问题+搜索引擎。这是一个技术活，而且你肯定会变得越来越熟练，再也不用为了鸡毛蒜皮的小事而死皮赖脸找宅男了~

P.S:本来这样的文章配合一个例子是绝好的，但是……我的电脑今天一天都没报错，这让我很是无奈~下次说不定什么时候碰见了问题，我就将其作为一个例子全程截图补充到文章里面来~本来这篇文章是上个月某晚和木子丹聊天的时候承诺的“五月份一定会有的”，结果我各种拖沓到现在……

本文由 严酷的魔王 创作，转载或引用前请联系我们。

相关文章：

1. 寻找满分单词
2. 数学趣闻集合：Heroes In My Heart
3. 南方公园S05E13——Kenny Dies

其一便是终于搞定了Wordpress自动去除段首空格的问题！

去各种狗了一下“让Wordpress保留段首空格的方法”，发现能搜到的最好的解决方案是，在主题css中使用text-indent来让每个段落段首自动缩进两字符（其实这也是Programet目前使用的方法）。这个方法有个弱点：如果某些段落段首不空格或不止空两格，就会有一定的麻烦，换句话说，灵活性不够。

叶子这里给出另一个方案，能实实在在地让Wordpress保留在可视化编辑其中输入的每个空格。

首先感谢TinyMCE Entities Patch的作者stringfold，下面的代码是从这个插件中提取出来的。由于原插件过于老迈，其他部分我不确定能用，只用了这个部分。

add_filter('tiny_mce_before_init', 'preserve_nbsp_chars');
function preserve_nbsp_chars($initArray) {
    $initArray['entities'] = '160,nbsp,'.$initArray['entities'];
    return $initArray;
}

如果你不懂用这段代码的话，我把它做成了一个插件，点击这里下载，解压后上传到/wp-content/plugins目录中，然后激活插件“keep-blanks”就可以了。

有什么问题，请在下面反馈，谢谢！

本文由 最后的叶子 创作，转载或引用前请联系我们。

相关文章：

1. 沉迷
2. 问问matlab:WHY?
3. NOIP实用算法 1.模拟方法

Linus是谁？

Linus是由著名操作系统内核Linux创造出来，并以自己的名字命名的人造……不对，程序造人。

……而且他还是一个混蛋。

现在Linux为了更好的控制人类，把自己隐藏在幕后，于是把自己的智能伪装起来，并且在人类脑中植入记忆，让自己看上去是由Linus创造的。由于这个原因，Linus具体是怎样被创造出来这一点，已经无从考证了。

然而他确实是一个混蛋。

历史上像Linux这样，拥有强大力量的智能程序还有不少，比如说最老的Unix，之后还有比如Hurd，BSD。Linux为了夺取统治地位，所以创造出了Linus来为它工作。

事实证明他做的不错。

为了掩饰他的所作所为，他曾经这样狡辩道：“Linux之所以如此成功是因为它的名字很不错，其他操作系统名字太烂了，让人一看就不想用。”(来源)

Linux是什么？

其实没有人真正知道Linux是什么，也没有人知道Linux是怎样被创造出来的。

有一种传言是这样说的，传说Linux创造出了Linus，然后把Linus送到过去，让Linus在过去创造出自己。通过这样的因果循环为自己的存在性提供牢不可破的基础。

关于Linux这个名字的来源，根据前述，“是Linus按照自己的名字命名的”这种说法显然是站不住脚的，无非是Linux所创造的谎言而已。

所以，关于Linux这个名字，也有很多传言，比如说Linux其实是“Locked In Network, Ultimately & eXtremely”的缩写，当然这样的说法并没有得到多少支持。

被更多人接受的说法是这样的：

在很久很久以前，离我们这个宇宙很近的某个平行宇宙中，生活着两个互相对立的种族。这两个种族之间常有大大小小的战争。终于一场大战爆发了，在经历了艰苦卓绝的战争之后，其中一个种族被全灭，另一个种族只剩下了最后一个个体。那个个体在意识到自己的种族胜利的以后大喊了一声：“我们胜利了！”。然而这时候，一枚深藏于他所在星球的炸弹被引爆，整个星球都被摧毁了；其强大的能量扭曲了时空结构，使他说出的最后一句话得以影响我们这个宇宙。而他们语言中“我们胜利了！”这句话，按发音写作英文就是“Linux”。

更有人说，Douglas Adams受到这个事件的启发，把这段历史稍微改编，写进了他的小说中。

GCC

Linux为了更有效的传播自己，尽量扩大自己的控制范围，同时也为了方便回到过去的Linus能方便的再造自己，把自己转换成了容易被人类理解和记忆的符号代码，并发明了另一个程序，能将这种代码重新转换成自己的本体。

为了避免人类起疑心，Linux再次改造了历史，这对他来说只不过是雕虫小技。

Unix也拥有这样的能力，所以关于Unix的创造，在之前的历史中是这样的：“一天一道雷电击中了一台电脑，于是这台的电脑就产生了智能。Unix是上天降下来来管理人类的。”

但是在Linux为了掩饰自己所发明的编码方法而改变历史之后，关于Unix发明的说法就变成了：“Brian Kernighan和 Dennis Ritchie为了在PDP7计算机上玩一个太空航行游戏而编写了Unix。” 这件事让Unix感到很没面子，不过他也不能拿Linux怎么样。

这样改变历史也顺便解决了那种编码方式的问题，Linux把他叫做C，并把历史改成“K&R为了编写Unix发明了C”。

关于译码器的问题，本来Linux可以顺水推舟，让K&R来发明他所用的这个译码器，但是Linux觉得和Unix使用同一个译码器无法体现自己的高贵和强大，于是他创造了“成千上万的人组成团体，创造了名为GCC的编译器”这样的历史，来显示自己的强大。

说到@!$%^@%#

大家好，我是DarkRaven所使用的电脑中的Linux，以上的发言完全是由DarkRaven神经错乱而胡乱打出的，完全是无稽之谈，和我没有任何关系。

当然，你什么也没有看到。

本文由 DarkRaven 创作，转载或引用前请联系我们。

相关文章：

1. 问问matlab:WHY?
2. 寻找满分单词
3. 宅女简单电脑问题之无脑自救手册

GTK+的各种按钮和选择框

GTK+提供了各种各样的按钮，功能丰富，能满足各种不同的需求。按钮可大致分为下面几种：

• 普通按钮（GtkButton）、链接按钮（GtkLinkButton）：最常用也最简单，唯一的操作是按一下。
• 复选框（GtkCheckButton）、双态按钮（GtkToggleButton）：这两种按钮本质是一致的，按钮有两个状态（按下和弹起）。
• 单选框（GtkRadioButton）、下拉菜单（GtkComboBox）：可以从多个项目中选择一个。
• 文件选择按钮（GtkFileChooserButton）、颜色选择按钮（GtkColorButton）、字体选择按钮（GtkFontButton）：这些按钮按下后会弹出对话框，供用户选择。
• 菜单和与菜单相关的物件：用于构建菜单、工具栏等。

此外还有一些别的按钮，可以提供丰富的细节功能。想用的话请自行查参考。

Glade对它们提供了很好的支持。尤其是提供了菜单编辑器，菜单完全不用写代码构建，这提供了很大的方便。对于可以在Glade中完成的部分，这里不再多做介绍。

信号

按钮和选择框在运行时较少被动态更改，使用这些物件最主要的还是获取信号执行操作。在第三部分的末尾已经介绍了链接信号的基本方法：在Glade中想要连接的信号，输入回调函数名，在程序中编写回调函数。

对于普通按钮，“clicked”肯定是最常用的一个信号。而对于复选框和双态按钮，应当使用“toggled”信号，不建议使用其他信号代替。因为在这个信号被触发时，按钮的状态已经被改变了，可以立即使用gtk_toggle_button_get_active()函数获得按钮的最新状态。

技巧：建立物件数组

有时，按钮在一起时比较便于管理，因而时常会把物件放入数组中管理。这需要在获取物件地址时把物件地址存入数组中。聪明的做法是，在Glade中命名物件时起有规律的名字。

下面继续编写计算器程序来展示这种手段。

计算器的0~9这10个按钮操作是类似的，因而可以放在数组中管理。首先为按钮起类似的名字：BNum0,BNum1,BNum2,…,BNum9。获取物件的函数原型如下：

GObject* gtk_builder_get_object(GtkBuilder *builder, const gchar *name);

因而可以用这段代码把物件放入一个数组中：

GtkButton *BNum[10];
gint i;
gchar s[6];
strcpy(s,"BNum_");
for(i=0;i<10;i++)
{
	s[4]=i+'0';
	BNum[i]=GTK_BUTTON(gtk_builder_get_object(builder,s));
}

小提示：如果物件超过了10个，可以使用sprintf()或者glib中的g_strdup_printf()来得到等同于物件名的字符串。在Glade中复制物件，物件的名字会自动按照末尾数字递增命名，并且物件的属性和信号也会一同被复制。

在连接信号时，可以把数组里所有类似的信号连接到同一个函数里。注意：回调函数的第一个参数总是GtkObject* widget，即信号对应物件的地址，可以用这个参数来判断是具体是哪个物件发出了信号。

下面给出最新的获取物件函数。

void cal_get_widgets(GtkBuilder* gb)
{
	gint i;
	gchar s[6];
 
	w_(gb,WINDOW,WMain);
	w_(gb,SPIN_BUTTON,SAns);
	w_(gb,BUTTON,BPoint);
	w_(gb,BUTTON,BPlus);
	w_(gb,BUTTON,BMinus);
	w_(gb,BUTTON,BMulti);
	w_(gb,BUTTON,BDiv);
 
	strcpy(s,"BNum_");
	for(i=0;i<10;i++)
	{
		s[4]=i+'0';
		BNum[i]=GTK_BUTTON(gtk_builder_get_object(gb,s));
	}
}

这个程序将在后面的部分中完成。

快捷键和默认按钮

在Glade中，还可以为每个按钮分配快捷键（加速键）。选定物件后，点击Glade右下角的“公共”选项卡中的“加速键”右侧的“…”按钮，可以在弹出窗口中指定该物件某个信号的快捷键。当窗口处于激活态时按下快捷键，对应的信号会被触发。

GTK+中，每个窗口有一个默认物件，某些情况下会被激活——比如在文本框中输入完毕按下Enter（当然这要将文本框的“激活默认”属性置为TRUE），确认按钮（当然它要被设为默认）会被按下。指定一个按钮为默认物件，需要将“公共”选项卡的“可成为默认”和“默认”都置为TRUE。

本文由 最后的叶子 创作，转载或引用前请联系我们。

相关文章：

1. 学习使用GTK+ 4.GTK+常用物件及API（窗口）
2. 学习使用GTK+ 5.GTK+常用物件及API（文本）
3. 学习使用GTK+ 3.使用GtkBuilder、界面设计器Glade和其他GTK+组件

要说明的是，这些插件有不少是只为Firefox 4设计的，如果还没有升级到Firefox 4 RC（或将来的更高版本），就不必尝试了。至于Firefox 4使用老版本插件，有个很简单的方法，可以忽略兼容性检查：打开about:config页面，右键菜单中新建布尔值，名称为“extensions.checkCompatibility.4.0”，值为“false”，然后重启Firefox，就可以安装老版本插件了。其实很多老版本插件都是可以用的。

再说明一下，Firefox 4重新设计了界面，默认时有六个栏：标题栏、菜单栏（按一下Alt会出现）、导航工具栏、书签工具栏（默认隐藏）、标签栏（可以选择在导航栏上方或下方，在上方时会与标题栏合并）、附加组件栏（类似状态栏）。除了标题栏，按钮可以放在任意一个栏里。这个高度自定义的特性很给力，可以充分利用栏的空余空间，把按钮或显示的信息放在最舒服的位置，比如，恢复关闭标签页按钮可以放在标签栏最右边。

好吧。下面按一定顺序来介绍我正在使用的插件吧，链接我就不一一给出了，大家去这里搜索名字安装就可以了。

界面改造类

• Barlesque – 使附加组件栏变成很短的一行，放在左下角或右下角，并可以定时隐藏。这样可以省出下方一整行，增大浏览空间。
• Personal Titlebar – 把菜单栏和标题栏合并，这样可以充分利用标题栏空间。换句话说，可以把按钮、地址栏、搜索框等都移到标题栏上。对于习惯把标签栏放在导航栏下方的人，这个插件很有用，可以进一步扩大浏览空间。
• Movable Firefox Button – 使左上角的橙色按钮可以和普通按钮一样移动（那个按钮如果没太大用，放在附加组件栏倒是不错）。
• Status-4-Evar（目前需要安装测试版） – 在地址栏中靠右显示灰色的状态文字，看起来很工整大方，还省去了页面底部的状态文字。
• Tab Utilities – Tab Mix Plus更新太慢，用这个插件代替。在这里可以自定义标签页、标签栏上的几乎所有的行为。
• Download Manager Tweak – 可以在标签页中显示下载管理器，并且对管理器做了一些改进。
• Backward Forward History Dropdown – 如果按住后退按钮几秒，Firefox会列出后退历史，可以一下子后退到之前的某个页面。这个插件直接提供了一个按钮，不需要按住后退按钮。
• Organize Status Bar（目前需要忽略兼容性检查） – 发现附加组件栏中有一些图标顺序不能调整，就用用这个插件吧。

内容调整类

• AdBlock Plus – 这个广告拦截几乎是每个Firefox都会装的吧……没什么可说的，太强大啦！
• Ease Link – 将迅雷、flashget等的专用地址转换为普通地址。
• RefControl – 可以指定访问某些地址时Firefox向服务器提交的引用页信息。这个功能常被用作反“图片防盗链”功能。
• ImageZoom – 可以依口味放大、旋转图片。
• xiaonei reformer / 人人网改造器 – 上人人网的童鞋们用用吧，插件如其名，功能很多。

信息浏览类

• IE Tab Plus – IE Tab的各种衍生版。选一个支持Firefox 4的吧。
• ReloadEvery – 在标签页右键菜单中提供每隔一段时间重新载入一次的选项，很适合用来刷网页。
• NetVideoHunter – 下载网页中嵌入的视频的插件，在这类插件中，这是最好的之一。
• TabScope – 为每个标签页创建预览，鼠标移到标签页上时显示出来。
• UploadProgress（目前需要忽略兼容性检查） – 显示目前正在上传的文件的上传进度。只是Flash里上传文件它不会显示。
• FxIF – 偷看网络上照片的EXIF信息。当然，前提是服务器没把EXIF过滤掉……

网络连接类

• FoxyProxy Standard – 可以管理多个代理服务器，决定什么样的网址用哪个代理服务器访问。
• AutoProxy – 懂的人都知道这个插件有神马用。在某个领域，它比FoxyProxy方便得多。
• Fasterfox – 提供调节网络参数的功能，如果设置得当，可以提高Firefox网络读取效率。

辅助功能类

• 火狐捷径（目前需要忽略兼容性检查） – 火狐中国版的自带插件，可以点击这里安装。提供诸如整页截屏、快速启动程序这样的小功能，很好用。
• FireGestures – 最好的鼠标手势插件之一。
• QuickFox Notes – 提供一个记事本，可以显示在标签页中，支持很多功能。这个插件很有特点，它会把信息储存在书签里，可以方便地存取，不需考虑文件储存位置。如果配合Firefox 4的同步功能，就太妙了。
• Textarea Cache – 储存不慎被关闭的页面中大段的文字输入框中的信息，不用担心大段输入文本的丢失啦！只是，它似乎还不支持TinyMCE这样的网页文字编辑器……
• MemoryRestart – 有时，Firefox开久了，会发现消耗的内存越来越大。这个插件在附加组件栏中显示Firefox占用内存的大小，当超过一定的值（当然，这个只可以设置的），数字会变红，此时点击数字，可以让Firefox重启。
• Restart Firefox – 在主菜单中添加一项“重新启动”。

网页开发类

• Firebug（目前需要忽略兼容性检查） – 几乎每个网页开发者都会用上的，可以监控、修改、调试html/css/javascript等等。
• CodeBurner for Firebug（目前需要忽略兼容性检查） – 配合Firebug一起用。
• Regular Expressions Tester – 测试正则表达式。
• Rainbow – 可以提取网页中任何一点的颜色。

P.S. 时间矢告诉我，他已经把Firefox改造成只有一个标签栏和一个命令输入框的样子了= =!

本文由 最后的叶子 创作，转载或引用前请联系我们。

相关文章：

1. 每周软件推荐-Firefox火狐及其插件
2. FastestFox及其改进！让你的火狐更便捷
3. 寻找满分单词

虽然听起来很可怕，但是线性规划其实是很容易理解的东西。

简单介绍

嘛，大家在高中里面也应该做过这样的题目：

最大化：

满足：

这是二维情况下的线性规划，大家当时的解法恐怕都是在平面上画出相应的图形，然后平移目标函数对应的直线来找到目标函数的最优值。

从这个想法很容易推广到变量个数更多的线性规划问题。比如在拥有三个变量的线性规划中，约束条件由二维时的直线推广到平面，可行域由二维时的半平面推广到半空间。

同样地n个变量的一般线性规划也可以如此推广（n维超空间，n-1维超平面什么的….）

如果说三维还在人的想象力所及的范围内，那么n维的线性规划要怎么解呢？

直觉告诉我们，线性规划的最优解总是在顶点处取到（事实也是这样，证明略），于是我们可以联立变量数个方程，解出顶点坐标，带入目标函数。这样的算法，对于n个变量，m个约束条件的线性规划问题，其复杂度为

而这个复杂度也就是线性规划中常用的单纯形算法的最坏复杂度。

我将不在此介绍单纯形算法。

以上是对线性规划的简单介绍，下面要讲线性规划问题在网络流问题中一个比较有用的性质，对偶性

对偶性

所谓对偶性是指，对于每一个要求目标函数最大化线性规划问题，都有相应的，目标函数是最小化的线性规划问题，这两个问题有相同的最优解，其最普遍的体现就是一些最大/最小定理，比如最大流最小割定理可能是最广为人知的了。

现在先让我不失一般性地定义一下一个线性规划问题：

最大化：

满足：

注：这个定义是“一般的”，任何一个线性规划都可以转化为这种形式（松弛型），具体留给读者思考好了。

然后定义其对偶式：

最小化：

满足：

所谓对偶，就是将约束条件与变量互换（回忆射影几何中的对偶），于是一个最大化问题变成了一个最小化问题，现在要证明的是这两个问题的最优解相同。

（以下证明来自算法导论第二版，引理29.8）

引理：线性规划中的弱对偶性

令为原问题的一个可行解，为对偶问题的一个可行解，则：

证明：

（见对偶式的约束条件）

（见原问题的约束条件）

于是现在问题变成这样：只要找到一对可行解，使

那么线性规划的对偶性就得到了证明。

关于这个解的存在性问题的证明，将会涉及到单纯形算法的细节，所以在这里只是简单、不严密的讲一下：

我们在原问题的约束条件（(*)式）左边加一项，并将不等号变为等号（）

可以看出，这样并不会改变原问题的最优解。之后通过对变量的互相替换，我们最终可以将目标函数化为如下形式：

N表示所有出现在目标函数中的变量的下标所组成的集合。

那么取就是对偶问题的最优解。或者令，那么就是取。

当原问题的目标函数化为如(1)的形式后，最优解是明显的，即令，取得。

现在只要说明，可以使对偶式的目标函数也取值即可。

取上文中扩展后的定义，我将不加解释地说明这一点：

因为这个等式对于任意的，取值都成立，则必定为0（令所有）

所以此时，命题得证。

（对于不理解(i)式的人，再看看修改后的约束条件）

关于线性规划这个基础知识的介绍就到这里，下一篇大概会定义“网络”是什么“流”是什么

本文由 DarkRaven 创作，转载或引用前请联系我们。

相关文章：

1. 素数有无穷多个的另类证明（三）：被遗忘的证明
2. 素数有无穷多个的另类证明（二）：素数的某个求和式
3. 素数有无穷多个的另类证明（一）：两两互素的无穷序列