Prominent GitHub Engineer Quits, Alleging Gender-Based Harassment | Hacker News Reader