Moran Carlsen's blogs: October 2023