Communications of the ACM

The Communications website, https://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.

twitter

Follow us on Twitter at http://twitter.com/blogCACM

https:...

Based on machine learning, DeepMind's code now lies at the heart of a variety of protein-structure tools and workflows. It may ultimately be replaced by models that are bigger but faster.

Can even secure open source software ever be considered truly safe?

Computer science is still not a level playing field for those women who majored in it and choose to pursue it as a career.

Exploring the intersection of legal compliance and ethical judgment.

Revisiting a recent column considering security updates.

Using teaspoon languages to integrate programming across myriad academic disciplines.

Facilitating ethical reflection, inquiry, and deliberation.

Seeking consistent means of measure.

Reaching out across computer science research communities.

Designing an algorithm with reduced connection churn that could replace deterministic subsetting.

The debugging technique comes into its own.

Understanding code depends not only on the code but also on the brain.

Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.

Exploring the transformational potential of FHE and the path toward adoption of its "stack."

What are the promising applications to realize quantum advantage?

Let Kt(x) denote the Levin-Kolmogorov Complexity of the string x, and let MKtP denote the language of pairs (x, k) having the property that Kt(x) ≤ k. We demonstrate that:

• MKtP ∉ Heur_negBPP (i.e., MKtP is two-sided error mildly average-case hard) iff ...

From the intersection of computational science and technological speculation, with boundaries limited only by our ability to imagine what could be.