tom_

joined 3/31/2018, 12:37 AMhas 2,929 karma

Long-time pseudonymous HN commenter, now posting under my real name.

Posts