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,600
reputation
30
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.

140
answers
2
questions
~92k
people reached

Top Tags (90)

Score 361
Posts 54
Posts % 38
Score 274
Posts 47
Score 236
Posts 33
Score 160
Posts 27
Score 160
Posts 22
Score 107
Posts 19

Top Posts (142) All Questions Answers | Votes Newest

View all questions and answers

Badges (92)

Gold

Silver

30

Rarest

Bronze

62

Rarest