Y
Hacker News
new
|
ask
|
show
|
jobs
by
odersky
2 days ago
The blog post describes a new scheme to securing AI agents based on tracking capabilities in types. This got the best paper award at the inaugural ACM Conference on AI and Agentic Systems (CAIS 2026).