Skip to main content
Scour
Discover
Docs
System
Light
Dark
Login
Sign up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
February 2025 – Communications of the ACM
cacm.acm.org
+
Follow
ing
Follow all of cacm.acm.org →
A Brazilian Perspective on Computing for the Planet’s Sustainability
cacm.acm.org
64w
64 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for A Brazilian Perspective on Computing for the Planet’s Sustainability
Electoral Trickery
cacm.acm.org
64w
64 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Electoral Trickery
Defying Moore: Envisioning the Economics of a Semiconductor Revolution through 12nm Specialization
cacm.acm.org
64w
64 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Defying Moore: Envisioning the Economics of a Semiconductor Revolution through 12nm Specialization
Toward Environmentally Equitable AI
cacm.acm.org
64w
64 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Toward Environmentally Equitable AI
AI Authorship Revisited
cacm.acm.org
64w
64 weeks ago
HN
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for AI Authorship Revisited
Advancements in Weather Prediction
cacm.acm.org
65w
65 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Advancements in Weather Prediction
Energy-Optimized Supercomputer Networks Using Wind Energy
cacm.acm.org
65w
65 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Energy-Optimized Supercomputer Networks Using Wind Energy
DeepSeek Inside: Origins, Technology, and Impact
cacm.acm.org
65w
65 weeks ago
HN
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for DeepSeek Inside: Origins, Technology, and Impact
Making AI Less ‘Thirsty’
cacm.acm.org
65w
65 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Making AI Less ‘Thirsty’
I Teach Computer Science, and That Is Not All
cacm.acm.org
66w
66 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for I Teach Computer Science, and That Is Not All
Empowering Users to Make Sustainability-Forward Decisions for Computing Services
cacm.acm.org
66w
66 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Empowering Users to Make Sustainability-Forward Decisions for Computing Services
Environmental Computing as a Branch of Science
cacm.acm.org
66w
66 weeks ago
HN
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Environmental Computing as a Branch of Science
AI and Trust
cacm.acm.org
66w
66 weeks ago
HN
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for AI and Trust
The Rational Programmer: Investigating Programming Language Pragmatics
cacm.acm.org
66w
66 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for The Rational Programmer: Investigating Programming Language Pragmatics
Beyond the Checkbox: Upgrading the Right to Opt Out
cacm.acm.org
66w
66 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Beyond the Checkbox: Upgrading the Right to Opt Out
Generative Artificial Intelligence Policies under the Microscope
cacm.acm.org
67w
67 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Generative Artificial Intelligence Policies under the Microscope
Understanding the Environmental Impact of Generative AI Services
cacm.acm.org
67w
67 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Understanding the Environmental Impact of Generative AI Services
Technical Perspective: A Symbolic Approach to Verifying Quantum Systems
cacm.acm.org
68w
68 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Technical Perspective: A Symbolic Approach to Verifying Quantum Systems
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
cacm.acm.org
68w
68 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
cacm.acm.org
68w
68 weeks ago
cacm.acm.org
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block cacm.acm.org
Actions for Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
« Page 9
·
Page 11 »
Log in to enable infinite scrolling
Keyboard shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help