All Posts

Published on
June 9, 2019
依赖类型与定理证明
dependent-type idris pie coq
Dependent types in Pie
Published on
November 12, 2018
浅析 Subtyping
Typed-Racket Java Subtyping
Published on
July 31, 2018
OOP vs FP：用 Visitor 模式克服 OOP 的局限
Java OCaml Visitor OOP FP
Published on
April 30, 2016
Y Combinator in Scheme
Scheme Y-Combinator
Published on
June 14, 2015
通过 Linode API 实现动态 DNS
Linux Linode DDNS
Published on
January 24, 2015
几种惰性求值方法的 Racket 实现
Lisp lazy-evaluation Racket
Published on
July 14, 2012
与 Raspberry Pi 共享鼠标键盘
Linux Raspberry-Pi
Published on
May 30, 2012
Memoization
Python Racket
Published on
April 14, 2012
让 OpenWRT 下的空闲硬盘自动停转
Linux