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
11,162
reputation
32
64

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.

145
answers
2
questions
~100k
people reached
  • Cambridge, MA
  • Member for 7 years, 11 months
  • 1,007 profile views
  • Last seen 9 hours ago

Top Tags (91)

Score 392
Posts 59
Posts % 40
Score 290
Posts 50
Score 255
Posts 35
Score 165
Posts 27
Score 161
Posts 22
Score 128
Posts 21

Top Posts (147) All Questions Answers | Votes Newest

View all questions and answers

Badges (96)

Gold

Silver

32

Rarest

Bronze

64

Rarest