Yael Tauman Kalai, recipient of the 2022 ACM Prize in Computing, has developed groundbreaking methods for succinctly verifying the correctness of a computation. Recently she sat down with Leah Hoffmann to discuss how they work. Read it here via CACM's relaunched #OpenAccess website: https://cacm.acm.org/opinion/verifying-correctness/
More than six decades of CACM’s renowned research articles, seminal papers, technical reports, commentaries, real-world practice, and news articles are now open to everyone, regardless of whether they are members of ACM or subscribe to the ACM Digital Library. …
Changing the economic basis of a thriving industry is an enormous challenge (how long has open source software been around?). ACM has publicly committed to making all its content open-access by 2026 (https://www.acm.org/publications/openaccess). I'm still waiting to hear Microsoft or Facebook make a similar commitment (-:.
It has taken years because the worldwide research community must change from the "readers and libraries pay" model to "writers pay." For ACM, the transition is well underway. Many ACM conferences are now open access, and I'm happy to say that CACM is now fully open access as well (previously, it was just the older issues).
Opening CACM's content and creating a new website was a deliberate decision to try to make CACM into a central forum for the technical community to exchange ideas and debate issues. ACM is well aware that this community is orders of magnitude larger than its membership, so opening access to its flagship publication is an essential first step.
There are many technical websites and blogs online; most are focused on specific topics and areas or intended for readers who may not have a technical background. CACM's remit is computing in general, and we assume our readers are technically literate.
Please contribute (https://cacm.acm.org/author-guidelines/). CACM offers a range of options: informal blog posts, short Viewpoint pieces, and longer Research and Practice articles. We would like to hear from you!
He keeps to take the energy to run them for granted. A look into the editorial of the august issue, just one page before his own, could tell him otherwise ("This means the sustainability of computing/AI must be a concern for all computing researchers."). https://doi.org/10.1145/3606254@ACM#sustainable 🌍 #permacomputing
¹ https://mro.name/auzezk5