Hackernews posts about Dana Scott