646
reputation
4
19

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.

3
answers
11
questions
~8k
people reached

Top tags (25)

Score 7
Posts 3
Posts % 21
Score 6
Posts 7
Score 6
Posts 6
Score 6
Posts 4
Score 0
Posts 3
Score 0
Posts 3

Top posts (14) All Questions Answers | Votes Newest

View all questions and answers

Badges (23)

Gold

Silver

4

Rarest

Bronze

19

Rarest