If the prof wasn't personally asked and butted into someone elses convo, sure then I can see that being not appropriate
https://www.reddit.com/r/berkeley/comments/1bitr75/another_d...
Reply on news.ycombinator.com