262
reputation
1
9

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
~2k
people reached

Top tags (39)

Score 1
Posts 4
Posts % 29
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 0
Posts 2

Top posts (14) All Questions Answers | Votes Newest

View all questions and answers

Badges (10)

Gold

Silver

1

Rarest

Bronze

9

Rarest