Hackernews posts about Mathics 7.0