TLA+ Survey 2022 – Tell us what you love and hatedocs.google.com3 points·lemmster··0 commentsOpen articleSaveView on HN