|visits||member for||2 years, 11 months|
|seen||May 3 '11 at 14:16|
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||2 years, 11 months|
|location||Portland, OR||seen||May 3 '11 at 14:16|