|visits||member for||3 years|
|seen||Jan 11 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|
|location||Portland, OR||seen||Jan 11 at 21:41|