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
10,805
reputation
31
62

cody

I am currently an engineer at Draper Labs in Cambridge. My interests include software verification and language design, logic and computability, proof theory and other things.

142
answers
2
questions
~95k
people reached
  • Cambridge, MA
  • Member for 7 years, 9 months
  • 971 profile views
  • Last seen 4 hours ago

Top Tags (90)

Score 369
Posts 56
Posts % 39
Score 279
Posts 48
Score 245
Posts 34
Score 163
Posts 27
Score 162
Posts 22
Score 114
Posts 20

Top Posts (144) All Questions Answers | Votes Newest

View all questions and answers

Badges (93)

Gold

Silver

31

Rarest

Bronze

62

Rarest