prepend
prepend avatar
Active user
7 months ago by invitation from gerikson
338, averaging 2.68 per story/comment
3, most commonly tagged formalmethods
123

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