The CompCert C Compiler(compcert.org)

183 points by nequo 2 years ago | 186 comments

The End of Code Review: Coding Agents Supersede Human Inspection(arxiv.org)

15 points by cribwi 4 months ago | 11 comments

ACM Software System Award Given to seL4 Microkernel(awards.acm.org)

203 points by pjmlp 3 years ago | 53 comments

ACM Transitions to Full Open Access(acm.org)

365 points by pcvarmint 1 year ago | 47 comments

ACM page announcing its transition to a fully open access publishing model for all its research content by the end of 2025.

Writing Efficient C++ Code (2013)(asawicki.info)

164 points by ibobev 1 month ago | 127 comments

Adam Sawicki's article, originally published in Programista magazine in 2013, on practices for writing efficient, high-performance C++ code.

Rule of Three(en.wikipedia.org)

17 points by revskill 3 years ago | 17 comments