2011年1月28日星期五

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.

辟谷排毒,健康长寿

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

排毒的基本方法