bwr
bwr avatar
Active user
2 years ago by invitation from jpo
173, averaging 7.52 per story/comment
5, most commonly tagged formalmethods
18

I’m Ben - I work at the Machine Intelligence Research Institute in Berkeley.

I’m originally from Blacksburg, Virginia.