The Four Color Theorem with Near-Linear Time Coloring | Hacker News Reader