Evans Lanier's blogs: October 2022