Follow all of cacm.acm.org →

A Generative AI-Powered Digital Twin for Adaptive NASH Care

cacm.acm.org
Read on Scour →
Feeds

Technical Perspective: A Symbolic Approach to Verifying Quantum Systems

cacm.acm.org
Read on Scour →
Feeds

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

cacm.acm.org
Read on Scour →
Feeds

Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis

cacm.acm.org
Read on Scour →
Feeds

‘Upon This Quote I Will Build My Church Thesis’

cacm.acm.org
Read on Scour →
Feeds

Accept the Consequences

cacm.acm.org
Read on Scour →
Feeds

Systems Correctness Practices at Amazon Web Services

cacm.acm.orgHN2
Read on Scour →
Feeds

How AI Raises the Bar for Developers

cacm.acm.org
Read on Scour →
Feeds

They Can Include AI, But Should They?

cacm.acm.org
Read on Scour →
Feeds

Is AI Security Work Best Done In Academia or Industry? Part 2

cacm.acm.org
Read on Scour →
Feeds

Malicious AI Models Undermine Software Supply-Chain Security

cacm.acm.org
Read on Scour →
Feeds

Revenge of the Bots

cacm.acm.org
Read on Scour →
Feeds

Is AI Making Coders Obsolete?

cacm.acm.org
Read on Scour →
Feeds

AI and Art

cacm.acm.org
Read on Scour →
Feeds

Students in Advanced Computational Fields Are Accelerated Early Adapters of Generative AI Technology

cacm.acm.org
Read on Scour →
Feeds

Computer Science and the Law

cacm.acm.org
Read on Scour →
Feeds

Practical Applications of AI Agents

cacm.acm.org
Read on Scour →
Feeds

Who is Liable When AI Goes Wrong?

cacm.acm.org
Read on Scour →
Feeds

Analyzing Krazy Kode

cacm.acm.org
Read on Scour →
Feeds

Towards a Better CS Conference Experience

cacm.acm.orgHN
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help