Active
Recent
Comments
Search
Login
Login
cacm.acm.org: 80 stories from 50 submitters
23
FoundationDB: A Distributed Key-Value Store
databases
cacm.acm.org
via
eatonphil
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
8
Limited Success Generating a Binary Search
☶
ai
cacm.acm.org
via
jmiven
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
23 comments
23
10
Extracting the Essential Simplicity of the Internet
networking
cacm.acm.org
via
GeoffWozniak
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
12
What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software
ai
cacm.acm.org
via
kir0ul
8 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
11 comments
11
54
The Go Programming Language and Environment
go
cacm.acm.org
via
s-video
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
14
Static Analysis at GitHub
formalmethods
cacm.acm.org
via
sanxiyn
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
8
Reimagining Chess with AlphaZero
ai
cacm.acm.org
via
xcombelle
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
13
Fifty Years of P vs. NP and the Possibility of the Impossible
compsci
math
performance
cacm.acm.org
via
Corbin
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
3
What Serverless Computing Is and Should Become: The Next Phase of Cloud Computing
distributed
web
cacm.acm.org
via
adamshaylor
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
7
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
formalmethods
testing
cacm.acm.org
via
kiniry
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
10
Program Verification: Vision and Reality
formalmethods
cacm.acm.org
via
GeoffWozniak
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
Collusion Rings Threaten the Integrity of Computer Science Research
compsci
culture
cacm.acm.org
via
sigint
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
4
The Robustness Principle Reconsidered (2011)
☶
programming
cacm.acm.org
via
GeoffWozniak
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
6
Automata Modulo Theories
compsci
cacm.acm.org
via
Anon84
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
20
Everything VPN Is New Again
networking
cacm.acm.org
via
cadey
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
Hazardous Enthusiasm and How Eagerness Can Kill A Project (2019)
culture
cacm.acm.org
via
rele
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
17
Safe Systems Programming in Rust
plt
rust
cacm.acm.org
via
brendan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
27
The Decline of Computers as a General Purpose Technology
programming
cacm.acm.org
via
zge
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
32
50 Years of Pascal
historical
programming
cacm.acm.org
via
Walterion
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
12
Let's Not Dumb Down the History of Computer Science
historical
science
cacm.acm.org
via
sjamaan
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
7
A Review of the Semantic Web Field
web
cacm.acm.org
via
gerikson
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
17
What Everyone Knows and What No One Knows
education
math
cacm.acm.org
via
hwayne
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
23 comments
23
13
Discovery: User Manual of the Oldest Surviving Computer in the World
historical
cacm.acm.org
via
pushcx
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
11
Keeping CALM: When Distributed Consistency Is Easy
databases
distributed
cacm.acm.org
via
redblackbit
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
Neuromorphic Chips Take Shape
hardware
cacm.acm.org
via
mooreds
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
Page 2 >>