Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
636
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
10
questions
~7k
people reached

Top Tags (22)

Score 7
Posts 3
Posts % 23
Score 7
Posts 1
Score 6
Posts 7
Score 6
Posts 6
Score 6
Posts 4
Score 0
Posts 3

Top Posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (23)

Gold

Silver

4

Rarest

Bronze

19

Rarest