Three-time maths Olympian on the 2020 IMO | Hacker News Reader