Git recover a deleted file

$ echo "hello" > afoo
$ git add afoo
$ git commit -m "add afoo"

$ rm afoo # we delete afoo

$ git checkout afoo # we recover deleted afoo

If you modify afoo

Hongseok Yang

Hongseok Yang
http://www.eecs.qmul.ac.uk/~hyang

Bor-Yuh Evan Chang
http://www.cs.colorado.edu/~bec/

Caml Trading talk at CMU

http://ocaml.janestreet.com/?q=node/61#comment-form

I was at CMU several weeks ago, and gave a version of my "Caml Trading" talk there. See below if you are interested in seeing the video. It's a reasonably good source if you're interested in understanding more about how and why Jane Street uses OCaml.

Caml Trading from Yaron Minsky on Vimeo.

五个确定 Gmail 是否安全的方法

Gmail的支持页面里更新了一篇安全清单，通过以下5个方法即可知道自己的Gmail是否有安全隐患。敏感词人士必读：
http://mail.google.com/support/bin/static.py?page=checklist.cs&tab=29488

1在这里查看授权获取Google帐户数据的网站。我自认为自己的安全功夫做的很到家，但在这里依然发现了1个奇怪的网站获得了Google帐户的访问权，赶紧ban掉
https://www.google.com/accounts/IssuedAuthSubTokens
2检查你浏览器的插件、扩展和第三方应用是否需要访问你的Google帐户。比如你安装了一个可检查Gmail新邮件的扩展，那么Google是无法控制这个扩展的安全性的，如果你安装了并不知名的扩展，需要小心了

3查看邮件设置，以确保你的Gmail邮件没有被转发出去，有四个地方的设置会有安全隐患：
常规：检查签名、外出回复
https://mail.google.com/mail/?shva=1#settings/general
帐户：检查“用这个地址发送邮件”、
https://mail.google.com/mail/?shva=1#settings/accounts
过滤器：检查是否有过滤器将你的邮件转发到垃圾箱、垃圾邮件，或是转发到其它邮箱里
https://mail.google.com/mail/?shva=1#settings/filters
转发和POP/IMAP：查看这里是否有位置的帐户或邮件客户端
https://mail.google.com/mail/?shva=1#settings/fwdandpop

4检查帐户最近的可疑活动。点击Gmail最下面的“上次帐户活动时间”后的“详细信息”链接，看看是否有可疑的IP访问了你的Gmail

5进入设置的“常规”里，将“浏览器连接”设置为“始终使用 https”，以确保当你使用咖啡厅或酒店的公众网络访问邮箱时不会泄露信息
https://mail.google.com/mail/?shva=1#settings/general

国外免费VPN——IPv6 -- tunnelbroker.net

此次提供的免费VPN申请、以及此VPN的设置均有点复杂，虽然每一步均已截图注释，但生怕还是有菜菜不会，因此提示一下：如果没有耐心看完，请参考以前的相关VPN介绍。

首先去http://www.tunnelbroker.net申请个VPN账号（这个实在是不想截图，如果连注册账号都搞不定，还是洗洗睡吧）。

什么是HTTP协议和FTP协议

什么是HTTP协议和FTP协议

为Blogger添加代码Code

1. 代码转换，如< >符号

http://www.opinionatedgeek.com/DotNet/Tools/HTMLEncode/Encode.aspx

2. 在文章中將程式碼置於<code></code>區塊中即可

Publishing hg Repositories with hgwebdir.cgi

This is how to set up a web hg repos server:

ocaml modules with the same (file)name in different folders

In ocaml, if you have files with the same name in different folders, like this

src1/
a.ml
b.ml
...
src2/
a.ml
b.ml
...

Emacs Key Combinations

Note that C-x means Control-X while M-x means Meta-X where meta may mean hitting and releasing the escape key, or alt. These keys are excerpted from the Unix in a Nutshell book. The first column has their default key binding; the second their function name; last is a short description.

世界系统探秘：控制世界的系统是怎么运作的？

不要对下列内容提出质疑，或者引用已知的东西来反驳，反驳的越多，越证明下面内容的正确性。

1.管理世界的基本系统组成。
管理世界的3个主要系统：金融系统，国家系统，宗教系统。
幕后的控制们制造了这3个神奇的系统，每个人都在这3个系统下生存。

git vs hg

看到一篇文章，重新又勾起了我对版本控制工具的回忆和兴趣，拿出最好用的两种来比较比较吧：git和hg 。

Q: WFF to DNF algorithm

A formula of the propositional calculus is said to be in disjunctive
normal form (DNF) if it is a disjunction of elementary conjunctions.
An elementary conjunction is a conjunction of some combination of
propositional variables and negations of propositional variables.

辟谷排毒，健康长寿

现在中国、马来西亚和新加坡已经有上万人采用了辟谷排毒技术。他们的身体一天比一天好，而且看起来一天比一天年轻。排毒的方法源远流长，不但在中国，在欧美也非常盛行。佛教，道教有“闭关”、“辟谷”的说法，伊斯兰教有“斋月”，这些其实就是一种排毒。神奇的大自然创造了万物，很多动物也有冬眠，这其实也是在排毒。我们每个人体内都积累了大量的毒素。而且，瘦的人比胖的人其实更毒。我们发现，瘦人的脸色比较暗淡，胖人相对好些。瘦人是以牺牲自己的体重为代价来承载毒素。空气、水、装修材料、很多化妆品、服装、家具等等，都是毒素的来源。这些毒素累积到一定时候，你的身体就会生病。因此，我们需要为自己的身体排毒。我们的房间几乎天天都有打扫卫生，过年前更是要大扫除。我们可以想象，如果我们身体不去打扫会是怎样？

排毒的基本方法