Isn't this Joshua Stein? (I feel like I've gotten this wrong before.)
No, AFAIK the author is German and his nickname is stein (stone).
It's not, and you have.
alt Hacker News
No, AFAIK the author is German and his nickname is stein (stone).