In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.