Congratulations to the entire team! And congrats to everyone who competed in this year's #ioi2023.

→ View original post on X — @jeffdean