176
reputation
1
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
~4k
people reached
  • Manhattan, KS
  • Member for 28 days
  • 36 profile views
  • Last seen Sep 28 at 15:28

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 (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest