Stack Exchange Network

Stack Exchange network consists of 175 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
153
reputation
6

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

Top Tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (1) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

Bronze

6

Rarest