Keith Pinson
7,162
reputation
5
54
97
In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.