自由程序人(卍)

恶忌阴,善忌阳。故恶之显者祸浅,而隐者祸深;善之显者功小,而隐者功大。...

稳定,快速的xmonad

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

2013-01-22 11:19:04

阅读数:9783

评论数:0

在#haskell@freenode中使用lambdabot

IRC可不只是闲聊的地方,她是你随时可用的好工具。IRC中有很多Bot可以随时为你服务。这里只收集了在#haskell@freenode中使用的lambdabot。(为了不影响别人,你最好发私信: /msg lambdabot ...) 查hoogle: ERC> @hoogle app...

2012-12-28 13:44:25

阅读数:2166

评论数:0

QuickLisp常用命令

QuickLisp作为Common Lisp的包管理嚣,給CL开发带来极大方便。记下常用命令以备忘。 。升级quicklisp本身 (ql:update-client) 。更新系统 (ql:update-dist "quicklisp") 。查找系统 (ql:s...

2012-11-27 10:28:01

阅读数:4795

评论数:1

神的编辑嚣emacs的简单配置

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

2012-11-25 19:13:45

阅读数:8200

评论数:0

Y combinator的简单理解

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

2012-09-17 13:38:15

阅读数:2732

评论数:0

Common Lisp中的并发编程

Rob Pike谈到了Go语言中的并发编程,其主旨是在分开的轻量级进程中启动并发的任务,任务通过channel通信来同步。Common Lisp中的ChanL库提供了类似的功能,尽管我不知道其线程如何轻量,但其接口是相似的。 使用channel简单有效的例子是并行执行一些IO相关的任务,...

2012-09-06 10:29:18

阅读数:4531

评论数:1

13种最清肠排毒的美食

1、地瓜。地瓜所含的纤维质松软易消化,可促进肠胃蠕动,有助排便最好的吃法是烤地瓜,而且连皮一起烤、一起吃掉,味道爽口甜美。   2、绿豆。绿豆具清热解毒、除湿利尿、消暑解渴的功效,多喝绿豆汤有利于排毒、消肿,不过煮的时间不宜过长,以免有机酸、维生素受到破坏而降低作用。   3、燕麦。燕麦能滑肠...

2012-09-05 05:24:31

阅读数:3021

评论数:0

一个女孩吃素5年后的大变化

1.很少感冒,几乎所有吃素的人都会提起的第一感受;先说以前:从初中开始我就经常感冒,大学时候最严重,差不多一年有两三个月一直好不了。我刚刚开始吃素的时候感冒过一次,但很快就好了(我现在把这次感冒看成身体变好的信号),接下来差不多一年多时间没有感冒,再后来一年感冒一~两次吧,但是很快就会好,我不怎么...

2012-08-20 08:36:42

阅读数:2591

评论数:0

xterm配置

xterm初看很简陋,但稍加配置你就会发现xterm其实美观实用!记下配置以备用: >cat ~/.Xdefaults XTerm*termName: xterm-color XTerm*visualBell: false XTerm*marginBell: false XTe...

2012-06-12 13:09:12

阅读数:13615

评论数:0

我的OpenBSD配置文件

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

2012-05-25 20:14:06

阅读数:3738

评论数:0

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

0) 中文名称:死亡密码 英文名称:π 别 名:3.14159265358(USA) 发行时间:1998年07月10日 科幻惊栗手法描写一名天才数学家触目惊心的经历。才华盖世的数学家马斯在过去十年来,发现股票市场在混乱波动背后原来由一套数学模式操控,于是致力研究寻出该数学模式。没想...

2012-05-24 11:28:15

阅读数:3798

评论数:0

数学史上的三次危机

数学常常被人们认为是自然科学中发展得最完善的一门学科,但在数学的发展史中,却经历了三次危机,人们为了使数学向前发展,从而引入一些新的东西使问题化解,在第一次危机中导致无理数的产生;第二次危机发生在十七世纪微积分诞生后,无穷小量的刻画问题,最后是柯西解决了这个问题;第三次危机发生在19世纪末,罗素悖...

2012-05-24 11:24:36

阅读数:5200

评论数:0

VIMer不用羡慕EMACSer了

学习使用Lisp当然是用emacs+slime, 但像偶这种已经深受VIM"毒害"的能不能拥有emacs那样的环境呢? 答案是肯定的,因为有了slimv,可能功能没有slime强大,但也基本够用了。这里有一篇教程。 目前偶使用最多的环境是:stumpwm(swa...

2012-03-06 11:11:15

阅读数:3225

评论数:1

六味地黄丸的作用

六味地黄丸是滋阴补肾的代表方剂,由熟地黄、山药、山茱萸、泽泻、茯苓、丹皮共六味药组成。传统上应用于治疗肾阴不足、虚火上炎而出现的头晕目眩、腰膝酸软、耳鸣、遗精、手足心热等症。近年来,通过临床观察,发现六味地黄丸还具有多方面的作用。六味地黄丸具有显著的增强免疫、抗衰老、抗疲劳、抗低温、耐缺氧、降血脂...

2012-02-29 08:06:59

阅读数:4341

评论数:0

如何让血管“返老还童”

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

2012-02-26 17:15:04

阅读数:1925

评论数:0

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

用sawfish很久了,有点枯燥,就想试试其它窗口管理器。作为一个lisper自然就选择用Common Lisp开发的stumpwm了。stumpwm是一个minimalist窗口管理器,是由原Ratpoison的作者开发。(原来的stumpwm开发已不活跃,就fork一个:hacking用的st...

2012-02-19 12:24:26

阅读数:6504

评论数:0

使用hunchentoot-cgi有感

最近需要用hunchentoot跑一个以前用python开发的CGI程序,使用QuickLisp装好hunchentoot-cgi后发现hunchentoot-cgi在hunchentoot-1.2.2下不能正常运行! 在联系其作者Cyrus Harmon无结果的情况下,决定自己HACK(开放...

2012-01-31 11:33:07

阅读数:3235

评论数:0

酸性食品与碱性食品

第一部分:酸性食品   一、什么是酸性食品   外行人的想法,以为酸的东西就是酸性食物,诸如一看就会令人流口水的柠檬等,其实,这些东西正是典型的碱性食物,酸性食品指含磷质较多的食品。   二、常见的酸性食品有哪些   强酸性食品:蛋黄、乳酪、甜点、白糖、金枪鱼、比目鱼。 ...

2012-01-30 09:33:06

阅读数:3644

评论数:0

素食健康:八种素食助你清除体内废物

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

2012-01-15 08:41:16

阅读数:3441

评论数:0

Common Lisp配置:SBCL

在FreeBSD及ArchLinux中, 我常使用SBCL。 启动脚本: >cat ~/bin/sb breakchars="(){}[],^%$#@\"\";:''|\\" cd /media/E/work exec rlwrap --remem...

2012-01-11 10:35:14

阅读数:5645

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭