Keith Pinson
7,835
reputation
7
61
104
In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.