Submissions from acm.org

		Expanding the Affordances of Speech Interfaces with a Virtual Proxy Hand (acm.org)
		1 point by PaulHoule 42 days ago \| past
		Automatically Translating C to Rust (acm.org)
		1 point by hochmartinez 42 days ago \| past
		Memory Safety for Skeptics (acm.org)
		89 points by steveklabnik 43 days ago \| past \| 198 comments
		Beyond the Repository – Communications of the ACM (acm.org)
		1 point by rbanffy 44 days ago \| past
		SeamFit: Towars Practical Smart Clothing for Automatic Exercies Logging (acm.org)
		1 point by sargstuff 45 days ago \| past
		Using an Array of Needles to Create Solid Knitted Shapes (acm.org)
		2 points by sargstuff 45 days ago \| past
		The AI Deskilling Paradox (acm.org)
		4 points by jruohonen 46 days ago \| past \| 1 comment
		The Path to a Superhuman AI Mathematician (acm.org)
		4 points by bikenaga 46 days ago \| past
		SampCert: Verified Foundations for Differential Privacy (PLDI 2025) (acm.org)
		1 point by stmw 47 days ago \| past
		GenAI for Computing Careers: A Sunny Take (acm.org)
		2 points by tjr 49 days ago \| past
		Efficiently Processing Joins and Grouped Aggregations on GPUs (acm.org)
		1 point by blakepelton 50 days ago \| past \| 1 comment
		Why It's Time to Sunset the Turing Test (acm.org)
		2 points by pseudolus 51 days ago \| past
		Mathematics solves problems by pen and paper. CS helps us to go far beyond that (acm.org)
		3 points by vismit2000 51 days ago \| past
		Parsing with zippers improves parsing with derivatives (acm.org)
		2 points by fanf2 51 days ago \| past
		The Silent Scientist: When Software Research Fails to Reach Its Audience (acm.org)
		82 points by mschnell 52 days ago \| past \| 52 comments
		Minimal Sufficiency: A Principle 'Similar' to End-to-End (acm.org)
		5 points by rbanffy 53 days ago \| past
		Opportunistically Parallel Lambda Calculus (acm.org)
		8 points by matt_d 54 days ago \| past \| 3 comments
		Automatically Translating C to Rust – Communications of the ACM (acm.org)
		5 points by rbanffy 54 days ago \| past
		Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing (acm.org)
		1 point by matt_d 55 days ago \| past
		How the U.S. National Science Foundation enabled Software-Defined Networking (acm.org)
		121 points by zdw 55 days ago \| past \| 43 comments
		In Search of Better Search (acm.org)
		6 points by zdw 55 days ago \| past
		OpenEarable 2.0: Open-Source Headphones for Music and 30 Health Metrics (acm.org)
		1 point by mlcq 57 days ago \| past
		Property-Based Testing in Practice (acm.org)
		3 points by birdculture 57 days ago \| past \| 2 comments
		Extended User Interrupts (XUI): Fast and Flexible Notification Without Polling (acm.org)
		3 points by blakepelton 57 days ago \| past \| 2 comments
		Video Codecs are Secretly Tensor Codecs (acm.org)
		3 points by entropyxu 58 days ago \| past \| 1 comment
		Graffiti: An Ecosystem of Personalized and Interoperable Social Applications (acm.org)
		4 points by PaulHoule 58 days ago \| past
		Falcon: A Reliable, Low Latency Hardware Transport (acm.org)
		26 points by teleforce 58 days ago \| past \| 10 comments
		Property-Based Testing in Practice (acm.org)
		1 point by todsacerdoti 58 days ago \| past
		Firefly: Scalable, Ultra-Accurate Clock Synchronization for Datacenters (acm.org)
		1 point by jamesblonde 59 days ago \| past
		A Stop-the-World Debugger for Erlang (and the Beam) (acm.org)
		1 point by manusachi 60 days ago \| past
		More