3 ms·The comment linked on Reddit by parent is by Charles Nutter, of JRuby fame.by bad_user 13y agoThe comment linked on Reddit by parent is by Charles Nutter, of JRuby fame.