tom_
since 3/31/2018
2777 karma
submissionscommentsfavorites
Long-time pseudonymous HN commenter, now posting under my real name.