You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Dec 10 2025 at 15:54):This could be a reason not to hold conferences (like ACT) in the United States. From the Washington Post:
U.S. plans to ask visitors to disclose 5 years of social media history
The proposal would affect travelers from countries on the visa waiver program, including Australia, Britain, France, Germany, Israel, Japan and South Korea.
The United States could begin requiring visitors from countries on the visa waiver program to provide up to five years of their social media history, according to a U.S. Customs and Border Protection proposal posted to the Federal Register to be officially published Wednesday.
There are dozens of countries on the visa waiver program list, including many European nations, Australia, New Zealand, South Korea, Japan, Brunei, Singapore, Qatar, Israel and Chile.
The proposal suggests adding social media as a “mandatory data element” for an Electronic System for Travel Authorization (ESTA) application.
Applicants would also have to provide additional information “when feasible,” according to the proposal. The list includes telephone numbers used in the last five years, email addresses used in the last 10 years, IP addresses and metadata from electronically submitted photos, and biometrics, including facial, fingerprint, DNA and iris data.
It would also require applicants to provide information about their family members, including names, telephone numbers, dates of birth, places of birth and residences.
According to CBP, the proposal is open for a 60-day public comment period.