prepend
prepend avatar
Active user
1 year ago by invitation from gerikson
411, averaging 2.70 per story/comment
3, most commonly tagged formalmethods
148

Probably the same person logging in as https://news.ycombinator.com/user?id=prepend