S

Stripe API

Software / AppMentioned in 1 video

An external API mentioned as an example of a dependency that would be difficult to handle with formal verification due to potential side effects.

Videos Mentioning Stripe API

Cursor Team: Future of Programming with AI | Lex Fridman Podcast #447

Cursor Team: Future of Programming with AI | Lex Fridman Podcast #447

Lex Fridman

An external API mentioned as an example of a dependency that would be difficult to handle with formal verification due to potential side effects.