Submissions from acm.org

		Wither ACM? Publish and Perish? (acm.org)
		6 points by jwstarr 12 hours ago \| past \| 1 comment
		The Philosophical and Technical Legacy of Bernard Stiegler (2021) (acm.org)
		1 point by nativeit 1 day ago \| past \| discuss
		Mechanistic interpretability researchers applying causality theory to LLMs (acm.org)
		116 points by adunk 1 day ago \| past \| 83 comments
		Barbarians at the Gateways (2013) (acm.org)
		2 points by tosh 3 days ago \| past \| discuss
		Superoptimizer – A Look at the Smallest Program (acm.org)
		2 points by linggen 3 days ago \| past \| discuss
		Can We Understand How Large Language Models Reason? (acm.org)
		2 points by pseudolus 4 days ago \| past \| discuss
		Can We Understand How Large Language Models Reason? (acm.org)
		3 points by visha1v 6 days ago \| past \| 1 comment
		ACM ByteCast Episode 2 Donald Knuth (acm.org)
		1 point by Alien1Being 7 days ago \| past \| 1 comment
		In-place functional programming with Koka (acm.org)
		1 point by fanf2 7 days ago \| past \| discuss
		Never ask a model to do something a deterministic system can do reliably (acm.org)
		3 points by visha1v 7 days ago \| past \| 1 comment
		Is Recursive Self-Improvement Here? (acm.org)
		3 points by visha1v 7 days ago \| past \| 2 comments
		The Widening Gap: The Benefits and Harms of Generative AI for Novice Programmers (acm.org)
		1 point by ctenb 7 days ago \| past \| discuss
		You Don't Know Jack About Formal Verification (acm.org)
		3 points by aravindputrevu 7 days ago \| past \| 3 comments
		But Nothing Has Changed on Our Side (acm.org)
		3 points by visha1v 9 days ago \| past \| 1 comment
		The LLVM Compiler Infrastructure (acm.org)
		2 points by yarapavan 9 days ago \| past \| discuss
		But Nothing Has Changed on Our Side (acm.org)
		53 points by adunk 10 days ago \| past \| 13 comments
		The LLVM Compiler Infrastructure (acm.org)
		80 points by tosh 10 days ago \| past \| 20 comments
		Overturning a $1B Copyright Award Against a Broadband Provider (acm.org)
		3 points by zdw 10 days ago \| past \| discuss
		The LLVM Compiler Infrastructure (acm.org)
		4 points by sohkamyung 11 days ago \| past \| discuss
		Can AI Prevent Suicides? (acm.org)
		4 points by visha1v 11 days ago \| past \| 1 comment
		The security of modern password expiration (2010) (acm.org)
		1 point by Tomte 12 days ago \| past \| discuss
		The energy cost of web advertising (acm.org)
		2 points by iamacyborg 12 days ago \| past \| discuss
		Software Security Analysis in 2030 and Beyond: A Research Roadmap (acm.org)
		1 point by pjmlp 12 days ago \| past \| discuss
		Software Security Analysis in 2030 and Beyond: A Research Roadmap (acm.org)
		2 points by matt_d 12 days ago \| past \| discuss
		A Core Calculus for Documents (2024) (acm.org)
		2 points by mpweiher 13 days ago \| past \| discuss
		Guardians of the Agents Formal verification of AI workflows. (Dec 2025) (acm.org)
		2 points by steilpass 13 days ago \| past \| discuss
		On the Efficacy of PyTorch for High-Performance Computing (acm.org)
		2 points by matt_d 13 days ago \| past \| discuss
		Towards efficient matching of regexes with backreferences using register set aut (acm.org)
		2 points by fanf2 14 days ago \| past
		What can you confidently guarantee about your software? (acm.org)
		130 points by eatonphil 15 days ago \| past \| 67 comments
		Communicating the Value of Publicly Funded Science (acm.org)
		1 point by visha1v 15 days ago \| past
		More