Circuit.Chautauqua

Circuit.Chautauqua

Blog Tags Authors

Thoughts about programming.

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