The Stack Overflow podcast is back! Listen to an interview with our new CEO.
2,336
reputation
13
30

Jake

I'm a software engineer at a major company in the bay area. I love formal methods, computability, type theory, logic, and functional programming languages. I also like piano music, drawing, and some hobbyist electrical engineering. I just started working on the LLVM project.

28
answers
30
questions
~42k
people reached

Top tags (78)

Score 39
Posts 11
Posts % 19
Score 18
Posts 6
Score 15
Posts 10
Score 11
Posts 5
Score 9
Posts 7
Score 8
Posts 12

Top posts (58) All Questions Answers | Votes Newest

View all questions and answers

Badges (43)

Gold

Silver

13

Rarest

Bronze

30

Rarest