Stripe API
Software / App
An external API mentioned as an example of a dependency that would be difficult to handle with formal verification due to potential side effects.
Mentioned in 2 videos
Videos Mentioning Stripe API
How To Hire AI Engineers (ft. James Brady and Adam Wiggins of Elicit)
Latent Space
Used as an example of a conventional API with predictable latency, contrasted with language model APIs.
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.