reddit coal miners learn to code