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

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