Submissions from acm.org

		Certified Decision Procedures for Width-Independent Bitvector Predicates (acm.org)
		1 point by luu 22 hours ago \| past \| discuss
		Verification Debt: When Generative AI Speeds Change Faster Than Proof (acm.org)
		2 points by pseudolus 4 days ago \| past \| discuss
		The Rise and Fall of Corba (2008) (acm.org)
		1 point by twoodfin 6 days ago \| past \| 1 comment
		Programming pearls: a sample of brilliance (1987) [pdf] (acm.org)
		2 points by barishnamazov 6 days ago \| past \| discuss
		The Human Need for Storytelling (acm.org)
		5 points by rbanffy 6 days ago \| past \| discuss
		Dev-owned testing: Why it fails in practice and succeeds in theory (acm.org)
		161 points by rbanffy 6 days ago \| past \| 182 comments
		What does it mean to be a programming language, anyhow? (2021) [pdf] (acm.org)
		1 point by hun3 6 days ago \| past \| discuss
		System Design (2006) (acm.org)
		1 point by todsacerdoti 6 days ago \| past \| discuss
		The XOR Cache: A Catalyst for Compression (acm.org)
		1 point by blakepelton 7 days ago \| past \| 1 comment
		Two Concepts of Intelligence (acm.org)
		58 points by 1970-01-01 9 days ago \| past \| 75 comments
		The five orders of ignorance (2000) (acm.org)
		90 points by svilen_dobrev 10 days ago \| past \| 23 comments
		The Ubiquity Tradeoff (acm.org)
		1 point by zdw 13 days ago \| past \| discuss
		There is No Now – Problems with simultaneity in distributed systems (acm.org)
		9 points by onurkanbkrc 13 days ago \| past \| 2 comments
		CHERIoT: Complete Memory Safety for Embedded Devices (acm.org)
		3 points by blakepelton 14 days ago \| past \| 1 comment
		3Duino: A Low-Barrier Platform for Prototyping Interactive 3D-Printed Devices (acm.org)
		1 point by rbanffy 15 days ago \| past
		On the criteria to be used in decomposing systems into modules (1972) (acm.org)
		6 points by surprisetalk 15 days ago \| past
		Sculpin: Direct-Manipulation Transformation of JSON (acm.org)
		4 points by andsoitis 18 days ago \| past
		Meridian: A Design Framework for Malleable Overview-Detail Interfaces (acm.org)
		3 points by andsoitis 18 days ago \| past
		"Goto Considered Harmful" Considered Harmful (1987) (acm.org)
		3 points by susam 18 days ago \| past
		TreeTracker Join: Simple, Optimal, Fast (acm.org)
		2 points by remywang 19 days ago \| past
		ACM Is Now Open Access (acm.org)
		337 points by leglock 21 days ago \| past \| 51 comments
		Linear Address Spaces: Unsafe at any speed (2022) (acm.org)
		182 points by nithssh 22 days ago \| past \| 172 comments
		A Conversation with Arthur Whitney (2009) (acm.org)
		2 points by tosh 23 days ago \| past
		The challenges of synthetic users in UX research (acm.org)
		2 points by azhenley 23 days ago \| past
		[flagged] Why the Internet Is Bad for Democracy (2005) (acm.org)
		40 points by tguvot 24 days ago \| past \| 33 comments
		Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation (acm.org)
		2 points by matt_d 24 days ago \| past
		Compiled Python Performance Comparison (acm.org)
		2 points by igouy 24 days ago \| past
		Certificates in AI: Learn but Verify (acm.org)
		1 point by eustoria 26 days ago \| past
		Graph Retrieval-Augmented Generation: A Survey (acm.org)
		2 points by Anon84 27 days ago \| past
		CYC: A large-scale investment in knowledge infrastructure (1995) [pdf] (acm.org)
		4 points by swatson741 28 days ago \| past
		More