LearnYouACode

81
reputation
6

I love the overlap of CS and math. Functional programming and correctness/verification/proofs are really interesting to me.