Skip to content
Launchpad Library logo

Resource Hub

Everything I'd send you, in one place

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.

Type
Cost

Filtered by tag

Ask the library about workforce, startup, and technology trends

Answers come only from resources in this hub, with the sources listed underneath.

1 resource

FreeOrganization
Coding & Developer Tools

Theorem — Verified Software Stack

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.

#formal verification#AI safety#software security
theorem.devAdded Oct 3, 20260 opens