1You Don't Know Jack About Formal Verification (opens in new tab)(queue.acm.org)2yarapavan1d ago0Save
2Climbing the Generative AI Mountain: A "hitchhiker's guide" for product managers (opens in new tab)(queue.acm.org)2yarapavan8d ago0Save
4Artificial Intelligence for Software Engineering: From Probable to Provable (opens in new tab)(cacm.acm.org)3yarapavan27d ago0Save
6Large Language Models in Software Security Analysis (opens in new tab)(cacm.acm.org)3yarapavan28d ago0Save
12OpenClaw and the China-US AI Agent Divide (opens in new tab)(hellochinatech.com)3yarapavan3mo ago0Save
14AI Observability and Evaluations: The Operating System for Reliable LLM Products (opens in new tab)(labs.adaline.ai)2yarapavan3mo ago0Save
15The future of software engineering [pdf] (opens in new tab)(thoughtworks.com)PDF2yarapavan4mo ago0Save
