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

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