reshabh

Recent Submissions

1. 1. ▲ Tool-space interference in the MCP era (microsoft.com) 3 points · 3 months ago · 0 comments
2. 2. ▲ AI Models Need a Virtual Machine (blog.sigplan.org) 26 points · 3 months ago · 1 comment
3. 3. ▲ Agentic Workflows: Towards Natural‑Language Programming for GitHub Actions (githubnext.com) 3 points · 4 months ago · 0 comments
4. 4. ▲ GitHub Models CLI now auto-generates test cases and an evaluator (github.blog) 1 point · 4 months ago · 0 comments
5. 5. ▲ Testing AI Software Isn't Like Testing Plain Old Software (blog.sigplan.org) 2 points · 9 months ago · 0 comments
6. 6. ▲ PromptPex: Automatic Test Generation for Language Model Prompts (arxiv.org) 2 points · 9 months ago · 1 comment
7. 7. ▲ How to Hack AI Agents and Applications (josephthacker.com) 2 points · 9 months ago · 0 comments
8. 8. ▲ 2025 Top Risk and Mitigations for LLMs and Gen AI Apps (genai.owasp.org) 2 points · 1 year ago · 0 comments
9. 9. ▲ Software Security Analysis in 2030 and Beyond: A Research Roadmap (arxiv.org) 1 point · 1 year ago · 0 comments
10. 10. ▲ SPML: A DSL for Defending LLMs Against Prompt Attacks (arxiv.org) 6 points · 1 year ago · 2 comments