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
11,397
reputation
34
66

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.

149
answers
2
questions
~106k
people reached
  • Cambridge, MA
  • Member for 8 years, 3 months
  • 1,052 profile views
  • Last seen 9 hours ago

Top tags (92)

Score 398
Posts 60
Posts % 40
Score 289
Posts 50
Score 260
Posts 37
Score 175
Posts 28
Score 166
Posts 22
Score 134
Posts 22

Top posts (151) All Questions Answers | Votes Newest

View all questions and answers

Badges (100)

Gold

Silver

34

Rarest

Bronze

66

Rarest