Tech - Minjie Zha

July 19, 2013 关闭Linktuned
May 18, 2012 创建了Linktuned
July 28, 2011 Lazy CEK Machine
July 23, 2011 CEK Machine
June 11, 2011 CK Machine
May 28, 2011 CC and SCC Machine
May 22, 2011 Textual Machine
May 16, 2011 Recursion and Y Combinator
May 14, 2011 Eager and Lazy Evaluation
April 16, 2011 Solving Partially Reduced Problem
April 06, 2011 Constants and Builtin Functions
February 17, 2011 A Simple Lambda Calculus Evaluator - Extended
January 19, 2011 A Simple Lambda Calculus Evaluator - III
January 18, 2011 A Simple Lambda Calculus Evaluator - II
January 17, 2011 A Simple Lambda Calculus Evaluator - I
January 28, 2010 Tiny Extension to Ruby YAML
December 04, 2009 使用GAppProxy翻墙
June 27, 2009 kubuntu下使用openvpn访问blogspot
April 25, 2009 使用Git管理简历
March 14, 2009 Find back Plasma in KDE 4.2.1
February 22, 2009 踢球分组中的概率
February 07, 2009 Personal Wiki
December 03, 2008 Liar Paradox and Halting Problem
November 29, 2008 Understanding Scope
November 26, 2008 惊魂一刻
June 13, 2008 Hello Android
June 11, 2008 kubuntu下配置Android SDK
April 27, 2008 升级到kubuntu8.04
December 10, 2007 Russell's Paradox
December 10, 2007 A cool proof of Pythagorean Theorem
November 25, 2007 kubuntu7.10下配置texlive + CJK + UTF-8中文环境
November 14, 2007 使用rubygems安装rails
October 29, 2007 英文locale使用SCIM拼音输入法
October 23, 2007 kubuntu7.10下配置latex中文环境
October 23, 2007 REST on Rails的教程
October 22, 2007 安装latex
October 22, 2007 升级到kubuntu7.10