TLA+ Survey 2022 – Tell us what you love and hate(docs.google.com)

https://docs.google.com/forms/d/e/1FAIpQLScRQP5GCZ2Cn4vAjDKNvzZgPT5lZHmaUCPdY9QXXbYf7GSMxg/viewform?usp=sf_link