不如找个公式... 例如这个
\begin{gather}
\textbf{[Var]}
&\frac{x:\sigma \in \Gamma}{\Gamma \vdash x:\sigma}
\\
\textbf{[App]}
&\frac{\Gamma \vdash t : A \rightarrow B \quad \Gamma \vdash s : A}{\Gamma \vdash t \cdot s : B}
\\
\textbf{[Abs]}
&\frac{\Gamma,x : A \vdash t : B}{\Gamma \vdash \lambda x.t : A \rightarrow B}
\\
\textbf{[Let]}
&\frac{\Gamma \vdash s : \sigma \quad \Gamma,x:\sigma \vdash t : B}{\Gamma \vdash \textbf{let}\ x=s \ \textbf{in}\ t : B} &
\\
\textbf{[Inst]}
&\frac{\Gamma \vdash t : \sigma \quad \sigma \sqsubseteq \sigma'}{\Gamma \vdash t : \sigma'}
\\
\textbf{[Gen]}
&\frac{\Gamma \vdash s : \sigma \quad X \notin \textbf{FV}(\Gamma)}{\Gamma \vdash t : \forall \ X.\sigma}
\end{gather}
看效果可以贴到 http://luikore.github.io/latex/
这种东西最忌讳想找一堆寓意,就像某些企业想设计个 Logo,要包含行业特征,寓意一本万利、客似云来、车水马龙、生意兴隆、如日中天、欣欣向荣。最后搞了个四不像,设计师就是这么被玩死的。
就像配色的基本原则,不要用超过 3 种主色,建议你简单点,可以在: { } [ ] /* */ ~ $ 这几种里面选一个,懂的都懂,不懂的也无谓多费唇舌。推荐黑底绿字的经典 terminal 配色。
刚好准备开个印程序员个性 t 恤的淘宝店;已经在申请过程中了。我想图片一定要 Geek, 比如我自己特别喜欢 github 和 rails 相关的 t 恤,这次就有两个系列 github 和 rails 的,因为淘宝店还没开起来,大家还看不到。t 恤也刚刚印制了一些,选图片真是个技术活。大家有需要可以联系我,把希望的印制图片发给我。
话说 发个淘宝店地址会不会被鄙视 http://shop104047036.taobao.com/search.htm?spm=a1z10.1.w4004-1706917940.1.oSdlp4&search=y&orderType=coefp_desc
淘宝店是最近赋闲在家无聊开的,也算给老婆找点事情做; 如果大家有需要定制 尽管把大图给我 北京海淀附近可以面交 - 我经常活动在车库咖啡周围
gawk; talk; date; wine; grep; touch; unzip; touch; gasp; finger; gasp; mount; fsck; more; yes; gasp; umount; make clean; make mrproper; sleep
这两天玩 vimgolf。这是某个 challenge 排名第一的 solution:
dGpqqyiw@"jI <Esc>P#w@qq@qddZZ
我的 QQ 签名,一段 coffeescript, 轻拍
coffeescript
g_info =
name: "Gordon"
sex: "M"
profession: "Software Developer"
hobbies:[
"Music"
"Sports"
]
contacts:{
email: "[email protected]"
}
@_= ($_$) -> ($ = ((_x) -> console.log " #{$_$} ", _x) g_info)
Gordon = @_('^_^')
while (i >= x || j >= x) { x = (i % x == 0 && j % x == 0) ? (y = x) + 1 : x + 1; }
Kernel.send(:define_method,:puts,proc{|s|print "I love you\n"})
puts "hello world"
#It's not a bug.I just want you to know...
#if i can break into your heart...
girl.instance_eval{@lovers.clear << :me} if !girl.love?(:me)
我师兄搞了一个定制 T 恤的云服务,现在还挺火的 http://open.teeker.com/wikis/sdkxz 已经有 PHP 和 iOS 的 SDK 了,哪位兄弟有时间来做个 Ruby 或者 Python 的,呵呵