CACM Is Now Open Access(cacm.acm.org)
291 points by transpute | 44 comments
291 points by transpute | 44 comments
365 points by pcvarmint | 47 comments
ACM page announcing its transition to a fully open access publishing model for all its research content by the end of 2025.
345 points by tanelpoder | 127 comments
Communications of the ACM practice article by Marc Brooker and Ankush Desai on how AWS uses formal and semi-formal methods to ensure systems correctness.
59 points by tosh | 12 comments