|visits||member for||3 years, 8 months|
|seen||Jan 17 '13 at 4:46|
I'm a developer and student strongly interested in programming languages and formal methods. I program python by day and everything else by night.
|bio||website||mostly-decidable.org||visits||member for||3 years, 8 months|
|location||Portland, OR||seen||Jan 17 '13 at 4:46|