|visits||member for||3 years, 10 months|
|seen||Jan 11 '13 at 21:41|
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, 10 months|
|location||Portland, OR||seen||Jan 11 '13 at 21:41|
4 Votes Cast
|all time||by type|