ACMModify

2025-06-02 23:25:42

Today, let's remember E. Allen Emerson, a computer scientist born #OTD in 1954. W/ Edmund Clarke & Joseph Sifakis, Emerson received the 2007 #ACMTuringAward for developing Model-Checking into a highly effective verification technology. Here, he explains Model-Checking: https://youtu.be/sUwxA8px7O8

2025-06-02 21:55:19

There’s a mathematical concept called the kissing number, which enumerates how many spheres can touch a single sphere of equal size without crossing it. Now, an AI agent developed called AlphaEvolve has made its contribution to the problem. Learn how: https://bit.ly/43oCZwo

2025-06-01 23:30:41

This #PrideMonth, ACM will spotlight cutting-edge research at the intersection of tech and the LGBTQ+ experience—from digital safety to representation in AI.

Visibility matters. Inclusion matters. Innovation thrives when everyone is seen.
https://buff.ly/fhuHc9A

#PrideInTech

2025-05-31 23:17:18

🎙️ ACM Fellow Michael Freedman talks w/ Rashmi Mohan abt building Coral CDN, co-founding Timescale & turning research into real-world impact.

💡 From peer-to-peer systems to databases for real-time analytics—listen now: https://buff.ly/R2fFGLJ

#ACMByteCast

2025-05-31 01:29:00

Thank you to the digital health leaders of AAPI heritage who are helping to transform our health system with #technology! #AAPIHeritageMonth

HIMSS: At HIMSS, we recognize and celebrate the immeasurable contributions of Asian American and Pacific Islander (AAPI) professionals who are committed to shaping and strengthening digital transformation across the health ecosystem.

During AAPI Heritage Month, we honor the

2025-05-30 20:50:10

Today, let’s remember John Cocke, a computer science pioneer, who was born #OTD in 1925. John Cocke received the 1987 #ACMTuringAward for significant contributions to computer architecture and optimizing compilers. Read more here: https://bit.ly/3JyJUK7