Advent of Code 2023 This year in Go. Apart from day 24 part 2, which I implemented in Python due to easier to use Z3 bindings.