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