bwr
bwr avatar
Active user
2 years ago by invitation from jpo
174, averaging 7.57 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.