Lonely Runner Conjecture may be proved | Dark Hacker News