Hackernews posts about Thomas Gleixner