Haha well, I haven’t worked there in a number of years now. They were a very large company that was bought out by another larger company and things changed. I very much doubt people would get away with using their personal laptops there anymore. Discussions were actually had in most comment sections on Reddit, instead of just screaming into the void, or screaming at each other for various political reasons. Back when the userbase was too young to care about most of the world’s problems.
Reddit really wasn’t mainstream at all back then. Nowadays however it is very mainstream, hell, even my parents have heard of it (baking/cooking stuff and from reading/watching the new users of Reddit now are still young. Every so often subreddits will do a questionnaire for their subscribers, age and gender are usually the first and second questions. A large portion of Reddit is still under the age of 18 and is unsurprisingly mostly male.