GitHub Universe 2023 Day 1 Recap