Resource Hub
2692 hand-picked resources, updated every week. Search it, filter it, or just browse a collection and see what catches your eye. Want today’s headlines instead? Read the free AI news feed.
Filtered by tag
Answers come only from resources in this hub, with the sources listed underneath.
2 resources
A research and engineering effort working toward a shared, formally verified software stack built up from its smallest pieces, starting with verified sandboxes that AI agents cannot escape or game.
A September 9, 2025 blog post saying Veracode's research found security flaws in 45% of AI-generated code it tested, and giving advice on checking AI-written code before shipping it.
Why I recommend it: Veracode sells code-security scanning, so it benefits from this finding. The 45% figure comes from its own tests, not independent research. The advice to review AI code still holds.
