Submissions from acm.org

		Goodhart's Law Comes for Every Benchmark You Trust (acm.org)
		3 points by alasr 28 minutes ago \| past \| discuss
		Where Does the Foundation Come From? (acm.org)
		3 points by rbanffy 5 hours ago \| past \| discuss
		Software Verification in the Age of Artificial Intelligence (acm.org)
		3 points by rbanffy 6 hours ago \| past \| discuss
		Now Is the Time to Give LLMs Access to the ACM Digital Library (acm.org)
		85 points by rbanffy 6 hours ago \| past \| 61 comments
		Google's Beyond Zero: Enterprise Security for the AI Era (acm.org)
		136 points by jordigg 11 hours ago \| past \| 72 comments
		A practical partitioner for distributed simulations on sparse dynamic domains (acm.org)
		2 points by matt_d 1 day ago \| past \| discuss
		AutoCO: An Online Continuous Optimization System for Phase-Changing DB Workloads (acm.org)
		3 points by matt_d 3 days ago \| past \| discuss
		Execution-Free Agentic Program Repair for Enterprise-Scale Development [pdf] (acm.org)
		3 points by azhenley 4 days ago \| past \| discuss
		Resolving Conflict (acm.org)
		2 points by ethanpil 5 days ago \| past \| discuss
		Overly Attached: Know when to let go of emotional attachment to your work (acm.org)
		3 points by ethanpil 5 days ago \| past \| discuss
		Any text-to-SQL benchmark should address difficulties of real-world data stores (acm.org)
		62 points by shenli3514 5 days ago \| past \| 21 comments
		I Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happened (acm.org)
		4 points by wslh 6 days ago \| past \| discuss
		AI makes programming differently difficult (acm.org)
		165 points by tchalla 7 days ago \| past \| 145 comments
		Stop Blaming QA and Start Diagnosing the Hidden Inefficiencies (acm.org)
		12 points by andrewdutton 7 days ago \| past \| 1 comment
		The drivers behind software delivery inefficiency (acm.org)
		91 points by qaprof 8 days ago \| past \| 55 comments
		Topological Control of LLMs: A Route to Trustworthy AI (acm.org)
		1 point by visha1v 8 days ago \| past \| discuss
		The Dawn of AI Change-Control (acm.org)
		1 point by visha1v 8 days ago \| past \| discuss
		Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search (acm.org)
		1 point by matt_d 8 days ago \| past \| discuss
		Barbarians at the Gateways (2013) (acm.org)
		3 points by tosh 9 days ago \| past \| discuss
		AI for Systems is "AGI-Complete" (acm.org)
		3 points by matt_d 9 days ago \| past \| discuss
		Gaming Sickness and Its Impact on Players' Experiences with Games (acm.org)
		5 points by BiraIgnacio 9 days ago \| past \| discuss
		Goodbye, and Thanks for All the Bikesheds (acm.org)
		292 points by Ygg2 10 days ago \| past \| 266 comments
		The Birth of Prolog (1996) (acm.org)
		122 points by Jtsummers 10 days ago \| past \| 19 comments
		Oxidizing OCaml with Modal Memory Management (2024) (acm.org)
		2 points by lioeters 11 days ago \| past \| discuss
		AI Didn't Make Programming Easier. It Just Made It Differently Difficult (acm.org)
		5 points by pseudolus 12 days ago \| past \| discuss
		Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs (acm.org)
		10 points by matt_d 12 days ago \| past \| discuss
		Manual Work Is a Bug (acm.org)
		11 points by Anon84 12 days ago \| past \| 3 comments
		Locality-Aware Automatic Differentiation on the GPU for Mesh-Based Computations (acm.org)
		2 points by matt_d 12 days ago \| past \| discuss
		Unsolved Problems in MLOps (acm.org)
		52 points by gnyeki 13 days ago \| past \| 5 comments
		Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor (acm.org)
		13 points by hopelessluca 13 days ago \| past \| 4 comments
		More