acm-header
Sign In

Communications of the ACM

Blogroll


bg-corner

From Computational Complexity

Lautemann's Beautiful Proof

In writing the drunken theorem post, I realized I never wrote a post on Lautemann's amazing proof that BPP is contained in \(\Sigma^p_2\), the second level of the...

Designing an interactive prayer mat
From CS4FN (Computer Science For Fun)

Designing an interactive prayer mat

Successful interactive systems design is often based on detecting a need that really good solutions do not yet exist for, then coming up with a realistic solution...

ExxonMobil Lobbyist Caught Hacking Climate Activists
From Schneier on Security

ExxonMobil Lobbyist Caught Hacking Climate Activists

The Department of Justice is investigating a lobbying firm representing ExxonMobil for hacking the phones of climate activists: The hacking was allegedly commissioned...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account