lambda_z-CSDN博客

原创稳定，快速的xmonad

一台旧电脑跑stumpwm有点吃力，就换成了很久以前使用过的xmonad，网上一搜，发现xmonad的开发还比较活跃！简单修改了以前的配置就可以运行了，系统跑起来既快又稳定，很适合编程序。updated on github.安装（先装好GHC）$cabal update && cabal install xmonad && cabal install xmonad-contrib

2013-01-22 11:19:04 11064

原创在#haskell@freenode中使用lambdabot

IRC可不只是闲聊的地方，她是你随时可用的好工具。IRC中有很多Bot可以随时为你服务。这里只收集了在#haskell@freenode中使用的lambdabot。（为了不影响别人，你最好发私信： /msg lambdabot ...）查hoogle：ERC> @hoogle applicative Control.Applicative class Functor f => Appl

2012-12-28 13:44:25 2684

原创 QuickLisp常用命令

QuickLisp作为Common Lisp的包管理嚣，給CL开发带来极大方便。记下常用命令以备忘。。升级quicklisp本身(ql:update-client)。更新系统(ql:update-dist "quicklisp")。查找系统(ql:system-apropos "vector")。装载/安装软件(ql:qu

2012-11-27 10:28:01 5790 1

原创神的编辑嚣emacs的简单配置

一个lisper不用emacs的确説不过去哈！虽然使用vim很多年，但由于用stumpwm做窗口管理嚣很久，配置使用emacs也不太难。简单从网上搜集整理一些资料就可以正常使用了，现记下以后再完善。所有配置文件放在~/.emacs.d下。更新在github;;;;;;;;;;;;;;;;;;;;;;;;;;;;;$ cat ~/.emacs.d/init.el(a

2012-11-25 19:13:45 8970

原创 Y combinator的简单理解

Y combinator本身是一个无状态函数，当用于另一个无状态的函数时，将返回该函数的递归版本。比如定义Y：（为了说明方便，用λi代替lambda关键字）(defun y (f) ((λ1 (x) (funcall x x)) (λ2 (y) (funcall f (λ3 (&rest args) (apply (

2012-09-17 13:38:15 5125

翻译 Common Lisp中的并发编程

Rob Pike谈到了Go语言中的并发编程，其主旨是在分开的轻量级进程中启动并发的任务，任务通过channel通信来同步。Common Lisp中的ChanL库提供了类似的功能，尽管我不知道其线程如何轻量，但其接口是相似的。使用channel简单有效的例子是并行执行一些IO相关的任务，比如取多个网页。开始前，先定义一个计时的宏：(defmacro time-it (&body

2012-09-06 10:29:18 5645 1

转载 13种最清肠排毒的美食

1、地瓜。地瓜所含的纤维质松软易消化，可促进肠胃蠕动，有助排便最好的吃法是烤地瓜，而且连皮一起烤、一起吃掉，味道爽口甜美。　　2、绿豆。绿豆具清热解毒、除湿利尿、消暑解渴的功效，多喝绿豆汤有利于排毒、消肿，不过煮的时间不宜过长，以免有机酸、维生素受到破坏而降低作用。　　3、燕麦。燕麦能滑肠通便，促使粪便体积变大、水分增加，配合纤维促进肠胃蠕动。　　4、薏仁。薏仁可促进体内血液循环、水分

2012-09-05 05:24:31 3438

1．很少感冒，几乎所有吃素的人都会提起的第一感受；先说以前：从初中开始我就经常感冒，大学时候最严重，差不多一年有两三个月一直好不了。我刚刚开始吃素的时候感冒过一次，但很快就好了（我现在把这次感冒看成身体变好的信号），接下来差不多一年多时间没有感冒，再后来一年感冒一～两次吧，但是很快就会好，我不怎么吃药，经常就是姜汤或者大葱煮萝卜就可以好；即使吃也是吃些滋阴润肺的中药。而且不会象以前一样感冒时候昏昏

2012-08-20 08:36:42 3357

原创 xterm配置

xterm初看很简陋，但稍加配置你就会发现xterm其实美观实用！记下配置以备用：>cat ~/.XdefaultsXTerm*termName: xterm-colorXTerm*visualBell: falseXTerm*marginBell: falseXTerm*alwaysHighlight: falseXft.dpi:96xpdf.title:

2012-06-12 13:09:12 16949

原创我的OpenBSD配置文件

以KISS为原则的OpenBSD让人非常喜欢，记录一下配置文件以备用。$cat /etc/profile#PKG_PATH=ftp://ftp.openbsd.org/pub/OpenBSD/5.1/packages/i386/PKG_PATH=ftp://ftp.jaist.ac.jp/pub/OpenBSD/5.1/packages/i386/CVSROOT=an

2012-05-25 20:14:06 4665

转载数学系学生要看的十部影视

0) 中文名称：死亡密码英文名称：π 别名：3.14159265358(USA) 发行时间：1998年07月10日科幻惊栗手法描写一名天才数学家触目惊心的经历。才华盖世的数学家马斯在过去十年来，发现股票市场在混乱波动背后原来由一套数学模式操控，于是致力研究寻出该数学模式。没想到，主宰金融市场的一家华尔街财团，以及不择手段要释破圣经密码的一个卡巴拉宗教组织均同时派员追缉他，马斯

2012-05-24 11:28:15 4797

转载数学史上的三次危机

数学常常被人们认为是自然科学中发展得最完善的一门学科，但在数学的发展史中，却经历了三次危机，人们为了使数学向前发展，从而引入一些新的东西使问题化解，在第一次危机中导致无理数的产生；第二次危机发生在十七世纪微积分诞生后，无穷小量的刻画问题，最后是柯西解决了这个问题；第三次危机发生在19世纪末，罗素悖论的产生引起数学界的轩然大波，最后是将集合论建立在一组公理之上，以回避悖论来缓解数学危机。第一

2012-05-24 11:24:36 5839

原创 VIMer不用羡慕EMACSer了

学习使用Lisp当然是用emacs+slime, 但像偶这种已经深受VIM"毒害"的能不能拥有emacs那样的环境呢？答案是肯定的，因为有了slimv,可能功能没有slime强大，但也基本够用了。这里有一篇教程。目前偶使用最多的环境是：stumpwm(swank) + vim(slimv), 用VIM看Common Lisp代码时，只需要按就可以快速连上stumpwm中的swa

2012-03-06 11:11:15 3764 1

转载六味地黄丸的作用

六味地黄丸是滋阴补肾的代表方剂，由熟地黄、山药、山茱萸、泽泻、茯苓、丹皮共六味药组成。传统上应用于治疗肾阴不足、虚火上炎而出现的头晕目眩、腰膝酸软、耳鸣、遗精、手足心热等症。近年来，通过临床观察，发现六味地黄丸还具有多方面的作用。六味地黄丸具有显著的增强免疫、抗衰老、抗疲劳、抗低温、耐缺氧、降血脂、降血压、降血糖、改善肾功能、促进新陈代谢及较强的强壮作用。　　1、小儿呼吸道反复感染有人用六

2012-02-29 08:06:59 4883

转载如何让血管“返老还童”

不规律的生活习惯、暴饮暴食的酒鬼、一相情愿地节食、缺乏运动的吸烟者、因压力而连续失眠……纠结于混乱中，动脉硬化悄然降临，说不定哪一天就突发脑中风或心肌梗塞而命丧黄泉……好可怕!还好，日本医学博士栗原毅说，血管乃至血液，是可以返老还童的!只要你力行低糖生活，不可豪饮，只可小酌，借助水的力量预防血栓，吃让血管充满活力的食品……　　白领遵循7件事，让血管“返老还童”　　6件事讨得血管欢心

2012-02-26 17:15:04 2392

原创 Common Lisp开发的的窗口管理器stumpwm

用sawfish很久了，有点枯燥，就想试试其它窗口管理器。作为一个lisper自然就选择用Common Lisp开发的stumpwm了。stumpwm是一个minimalist窗口管理器，是由原Ratpoison的作者开发。(原来的stumpwm开发已不活跃，就fork一个：hacking用的stumpwm)用sbcl编译后个头有点大: (如果你在意磁盘文件大小，可以不用编译，直接将下面这行

2012-02-19 12:24:26 7646

原创使用hunchentoot-cgi有感

最近需要用hunchentoot跑一个以前用python开发的CGI程序，使用QuickLisp装好hunchentoot-cgi后发现hunchentoot-cgi在hunchentoot-1.2.2下不能正常运行！在联系其作者Cyrus Harmon无结果的情况下，决定自己HACK（开放源码就是好哈）。虽然不熟悉hunchentoot，但其代码量不大，而且weitz.de写的代码文

2012-01-31 11:33:07 3743

转载酸性食品与碱性食品

第一部分：酸性食品　　一、什么是酸性食品　　外行人的想法，以为酸的东西就是酸性食物，诸如一看就会令人流口水的柠檬等，其实，这些东西正是典型的碱性食物，酸性食品指含磷质较多的食品。　　二、常见的酸性食品有哪些　　强酸性食品：蛋黄、乳酪、甜点、白糖、金枪鱼、比目鱼。　　中酸性食品：火腿、培根、鸡肉、猪肉、鳗鱼、牛肉、面包、小麦。　　弱酸性食品：白米、花生

2012-01-30 09:33:06 4373

转载素食健康：八种素食助你清除体内废物

人体在新陈代谢过程中会产生不少“废物”，而且从不洁空气中也会吸入大量有毒有害气体和微粒。尽管人体具有一定清除自身毒素的能力，但当体内废物积蓄过多或机体解毒排污功能减弱时，废物不能及时排出时，就会影响健康。以下8种食物有助排出人体的多种“毒素”。　　1.绿叶蔬菜：绿叶菜中多为碱性，可以中和饮食中糖、肉、蛋及代谢中产生的过多的酸性物质，使体液保持弱碱性，从而清除血中有毒物。常食蔬菜可选萝卜叶、青菜

2012-01-15 08:41:16 3828

原创 Common Lisp配置：SBCL

在FreeBSD及ArchLinux中，我常使用SBCL。启动脚本：>cat ~/bin/sbbreakchars="(){}[],^%$#@\"\";:''|\\"cd /media/E/workexec rlwrap --remember -c -b "$breakchars" -f "$HOME"/.sbcl_completions -S 'λ> ' sbc

2012-01-11 10:35:14 7289

转载富人狼性穷人羊性

富人的成功，穷人的平庸，二者之间究竟有什么秘诀和不同?学历不高，在学校成绩平平、且调皮捣蛋的学生，走上社会后当老板、发大财，这是为什么?以前成分高的人家的孩子尽管经受了历史的挫折，可一旦有了好的政策他们又很快的走在了别人的前面，又是为什么?看看这篇文章，你也许会明白些什么。　　富人狼性穷人羊性　　常人贪图安逸，富人喜欢挑战　　择业观不同：普通人喜欢到大企业里面干事，工作环境

2012-01-04 08:27:12 4261

转载孙惟微：《赌客信条：你不可不知的行为经济学》

孙惟微的《赌客信条------你不可不知的行为经济学》，非常有趣，拿起来就不想放下。　　抄一些好句在这里;　　人生而需要面对未来，而未来总有诸多的不确定性。需要我们不断地作出选择。因而人生而为“赌客”。　　不确定性的来源主要有两种：自然的不确定性与其他赌客采取行动的不确定性。　　大部分生活中最重要的问题，都只是概率的问题。　　你是个“见好就收”的人吗?投资时

2011-12-20 08:10:47 2325

转载一勺芝麻酱胜过三块鱼

芝麻的营养作用和鱼有很多相似之处，据《现代家庭报》报道，鱼的营养非常丰富，在肉类食品中名列前茅。不过你很难想到，普通平凡的芝麻酱竟跟鱼的营养成分相当，在食疗保健上，它们有很多相似的营养作用。　　l、健脑：　　鱼肉中丰富的欧米伽3不饱和脂肪酸，被人称为“脑黄金”，对健脑益智、促进儿童智力发育非常有好处。　　芝麻酱也有很好的健脑功效，因为它跟鱼一样，含有丰富的不饱和脂肪酸。

2011-12-14 12:57:24 915

翻译 OCaml中的“协变”与“逆变”

概略地说，子类型是类型间的一种二元关系。如果t1是t2的子类型，那么使用t2的地方就可以使用t1。在OCaml中，子类型起因于多态变体（polymorphic variants）。比如，[`A ]是[ `A |`B ]的子类型，因为能处理`A或`B的代码，一定能处理`A。你可以使用表达式 (e : t1:> t2) 强制OCaml检查子类型。这个表达式有两层含义：首先核实t1是t2的子

2011-12-08 10:33:06 1409

转载性格决定生死：6种坏性格害你早死

意志薄弱型此种性格的人往往自控能力很差，凡事都任性而为，所以很容易染上抽烟、酗酒等恶习，严重影响身心健康。怀疑防范型疑心重重、充满敌意的人不但容易把他人的行为解读为“居心叵测”、“不怀好意”，而且容易罹患心脏病。烦躁紧张型精神经常处于高度紧张状态，不停地担心并且意志消沉的人，要比同龄人过早地离开人世。郁羞怯型研究发现，这种性格的人很容易患外周动脉疾病，早亡的几率也更

2011-12-08 08:06:08 806

转载看完这篇文章受益终身

1、98年马化腾等一伙凑了50万创办了腾讯没买房；98年史玉柱借了50万搞脑白金没买房；99年丁磊用50万创办163.com 没买房；99年陈天桥炒股赚了50万创办盛大没买房；99年马云等18人凑了50万注册阿里巴巴没买房。如果当年他们用这50万买了房，现在估计还在还着银行的贷款吧。 2、年轻的我们必须懂得： 1、你不勇敢，没人替你坚强。2、没有伞的

2011-12-06 09:13:54 3755

转载毒性堪比砒霜的食物

一、青西红柿　青西红柿含有毒性物质、叫龙葵素，食用这种还未成熟的青色西红柿，口腔有苦涩感，吃后可出现恶心、呕吐等中毒症状，生吃危险性更大。二、烂白菜　　食用腐烂的大白菜后，会使人缺氧而引起头痛、头晕、恶心、腹胀等，严重时会抽筋、昏迷，甚至有生命危险。三、无根豆芽　　在生产过程中，多施用除草剂使生长出来的豆芽没有根。而除草剂中含有使人致癌、致畸和致突变的有害物质。四、鲜黄花

2011-11-29 08:19:25 1016

转载不可不知的家庭生活妙招

1、炒菜时，不要加冷水，冷水会使菜变老变硬不好吃，而加开水炒出来的菜又脆又嫩。　　2、炒藕丝时，一边炒一边加些水，能防止藕变黑。　　3、炒鸡蛋时，一个蛋加一汤匙温水搅匀，就不会炒老，而且炒出的蛋量多，松软可口。　　4、豆腐下锅前，可先放在开水里浸渍一刻钟，这样可清除泔水味。　　5、用冷水炖鱼无腥味，并应一次加足水，若中途再加水，会冲淡原汁的鲜味。　　6、蒸鱼或蒸肉时待蒸锅的水开

2011-11-27 09:39:05 1451

原创编译sawfish的配置文件

sawfish的配置文件本不需要编译, 但当文件较大时, 编译不仅能预先检查文件的正确性 , 而且还能提高启动速度.具体步骤如下:>cd ~/.sawfish>mv rc my-init.jl>sawfish --batch -lcompiler -f compile-batch my-init.jl如果没有什么错误, 则会生成 my-init.jl

2011-11-25 19:09:31 915

原创使用OCaml的Functor与First class module

假设我们已经有啤酒与威士忌两个模块:module Beer = struct type t = BEER let pour () = let () = Printf.printf "... a nice head ... " in BEER let consume t =Printf.printf "Ha! No

2011-11-24 11:09:31 1592

转载手机被隐密了的功能

1、当不喜欢别人打搅自己的时候，又不想关机，给大家一个办法，使自己的号码变成空号。　　输入 **21*999999# ，按打电话时候的拨出键。当别人拨打你的电话时候就你的号码就变成空号了。　　再输入 ##21#，在按拨出键又正常了。　　这个功能移动公司是不收费的，应该是手机号码的一个漏洞。可以当场实验，如果觉得好用就转给你好友，以后不想接听那个令你伤心的她/或他的电话的

2011-11-22 07:52:04 886

转载一些有益的格言

1、一个人，如果你不逼自己一把，你根本不知道自己有多优秀。　　2、赚钱是一种能力，花钱是一种水平，能力可以练，能力也是经营自己一生最大的成本。　　3、年轻人不可以太狂，更不能咄咄逼人;　　4、一个人的知识，通过学习可以得到;一个人的成长，必须通过磨练。　　5、世界上好书很多，可以改变命运的书很少。能改变人生的只有你自己;　　6、这个世界上朋友很多，可以用一生

2011-11-18 13:07:07 524

转载男人健康养生必知的30个秘诀

1、记住∶睡觉是养生第一要素。睡觉的时间应该是晚21∶00~早3∶00。因为这个时间是一天的冬季，冬季主藏，冬季不藏则春夏不长，即第2天没精神。2、一切药物对治病来说都是治标,不是治本,不管是中医还是西医.因为一切的病都是错误的因产生错误的果.错误的因不除,错误的果就不会绝根.健康的根本在心.一切法从心生.心净则身净.所以得病了,不要向外求,要靠自己自身的修复系统来修复自己的疾病.其实人和

2011-11-10 13:02:54 1698

翻译 OCaml for Haskellers

最大的差别是OCaml默认是impure且strict.OCaml特有的特性：OCaml有命名参数(~x:i 绑定命名参数x的值到i,~x是~x:x的缩写).OCaml有可选参数(?(x:i = default)以default为缺省值绑定i到可选命名参数x).OCaml有open的联合类型([>'Integer of int|'Real of float])此处类型保

2011-11-05 10:37:13 3419

翻译 OCaml样本代码

这段代码演示了好的OCaml编程风格。代码使用不平衡有序二叉树简单实现有限集合。代码中的注释可能多了点，但还可接受。(** An implementation of functional, finite sets.** Author: Brian Emre Aydemir* Email: [email protected]** ---------------

2011-11-03 20:04:32 1338

转载告别人工智能之父、Lisp语言发明者John McCarthy

Lisp语言发明者、“人工智能之父”约翰·麦卡锡（John Maccarthy）于10月24日与世长辞，享年84岁。青少年时的约翰·麦卡锡聪慧过人，初中时他根据一份加州理工大学的课程目录自学完大学低年级微积分课程，也因此在1944年上大学时可以免修头两年大学数学，之后去普林斯顿大学研究生院继续深造。冯·诺依曼报告引发的好奇心约翰·麦卡锡的学术人生如何步入人工智能领域，还

2011-10-26 11:29:58 1783

原创试了下CommonLisp的WEB开发

很多人喜欢Rails这种“All in One"的方式，不过个人更喜欢搭积木的方式。每个小系统专心做好自己的事，然后大家合作产生具有更强大功能的系统。从网上收集了一些样本代码，用SBCL试了下，感觉不错。>(ql:quickload "quickproject")>(quickproject:make-project "/media/E/RnD/clisp/web/":

2011-10-22 12:03:24 13019 4

转载 Lisp的本质(The Nature of Lisp)

作者 Slava Akhmechet译者 Alec Jang简介最初在web的某些角落偶然看到有人赞美Lisp时, 我那时已经是一个颇有经验的程序员。在我的履历上, 掌握的语言范围相当广泛, 象C++, Java, C#主流语言等等都不在话下, 我觉得

2011-10-10 14:20:48 2454 1

转载为什么Lisp语言如此先进？

作者：Paul Graham一、如果我们把流行的编程语言，以这样的顺序排列：Java、Perl、Python、Ruby。你会发现，排在越后面的语言，越像Lisp。Python模仿Lisp，甚至把许多Lisp黑客认为属于设计错误的功能，也一起模仿了。至于Ruby，如果回

2011-10-10 13:29:56 1199

转载非常有用的实用程序

.sed二进制修改sed $(printf 's/\x95\x0b\x2b\x77/\xef\x17\x03\x72/') /lib/modules/$(uname -r)/kernel/drivers/net/usb/asix.ko > /tmp/asix.ko.rsync与cp相比，rsync的最大优点就是可以只传送更改部分，而其它部分不变，这就极大的节约了有限的带

2011-09-21 16:35:46 1006

用OCaml开发的国际象棋程序

D语言学习软件

irb启动时能自动引入指定文件吗？