cacm.acm.org | Lobsters

cacm.acm.org: 97 stories from 62 submitters

3

Self-Designing Software ai programming cacm.acm.org
via dpk 23 days ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
5

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions performance cacm.acm.org
via ztoz 28 days ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
2

Bjarne Stroustrup: 21st Century C++ ☶ c++ cacm.acm.org
via mikea 1 month ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
47

It Is Time to Standardize Principles and Practices for Software Memory Safety ☶ security cacm.acm.org
authored by david_chisnall 1 month ago | caches
Archive.org Archive.today Ghostarchive
| 50 comments

50
5

Soundness and Completeness: Defined With Precision [2019] programming cacm.acm.org
via ankush 2 months ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
3

Remembering Grace Hopper – Communications of the ACM historical cacm.acm.org
via levlaz 4 months ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
4

Always Measure One Level Deeper (2018) performance cacm.acm.org
via matklad 4 months ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
6

What Is Theoretical Computer Science? compsci cacm.acm.org
via levlaz 4 months ago | caches
Archive.org Archive.today Ghostarchive
| 10 comments

10
3

50 Years of Queries databases historical cacm.acm.org
via fanf 5 months ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
3

Beyond Efficiency (2013) programming cacm.acm.org
via GeoffWozniak 5 months ago | caches
Archive.org Archive.today Ghostarchive
| 2 comments

2
3

Knowledge Graphs – Tracking the historical events that lead to the interweaving of data and knowledge ai databases historical cacm.acm.org
via mgm 5 months ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
3

Free and Open Source Software–and Other Market Failures historical unix cacm.acm.org
via jrw 8 months ago | caches
Archive.org Archive.today Ghostarchive
| no comments

0
17

How to Design an ISA hardware cacm.acm.org
via fanf 8 months ago | caches
Archive.org Archive.today Ghostarchive
| 8 comments

8
11

Measuring GitHub Copilot’s Impact on Productivity ai cacm.acm.org
via levlaz 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 10 comments

10
59

Communications of the ACM Is Now Open Access compsci historical science cacm.acm.org
via pwelch 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 15 comments

15
11

Co-Developing Programs and Their Proof of Correctness formalmethods programming cacm.acm.org
via pyj 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 1 comment

1
23

FoundationDB: A Distributed Key-Value Store databases cacm.acm.org
via eatonphil 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 8 comments

8
8

Limited Success Generating a Binary Search ☶ ai cacm.acm.org
via jmiven 1 year ago | caches
Archive.org Archive.today Ghostarchive
| 23 comments

23
10

Extracting the Essential Simplicity of the Internet networking cacm.acm.org
via GeoffWozniak 1 year ago | caches
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 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 11 comments

11
54

The Go Programming Language and Environment go cacm.acm.org
via s-video 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 6 comments

6
14

Static Analysis at GitHub formalmethods cacm.acm.org
via sanxiyn 2 years ago | caches
Archive.org Archive.today Ghostarchive
| 8 comments

8
8

Reimagining Chess with AlphaZero ai cacm.acm.org
via xcombelle 3 years ago | caches
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 3 years ago | caches
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 3 years ago | caches
Archive.org Archive.today Ghostarchive
| 5 comments

5