150
reputation
4

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.

0
answers
4
questions
~890
people reached

Top tags (10)

Score 0
Posts 4
Posts % 100
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest