Evidence receipt / belief
Published · transcript-backedLinus Lee: belief
1 Jun 2023 Latent Space Building the AI × UX Scenius — with Linus Lee of Notion AI
“Speaking of adding constraints to general systems, adding constraints, adding program verification, all of these things I think are super fascinating.”
Source trail
Everything needed to verify it.
- Speaker
- Linus Lee
- Attribution
- Verified speaker
- Claim type
- belief
- Recorded
- 1 Jun 2023
- Publisher
- Latent Space
Transcript context
…Yeah, I'm so excited by that. Just in terms of reliability, I'll call out our previous guest. Rojbal. Yeah, yeah. And she's working on Guardrails AI. There's also LMQL. And then Microsoft recently put out Guidance, which is their custom language thing. Have you explored any of those? I've taken a look at all of them. I've spoken to Shreya. I think this general space of like more... Speaking of adding constraints to general systems, adding constraints, adding program verification, all of these things I think are super fascinating. I also personally like it a lot. Because before I was spending a lot of my time in AI, I spent a bunch of time looking at like programming languages and compilers and interpreters. And there is just so much amazing work that has gone into how do you build automated ways to reason about a program? Like compilers and type checkers and so on. And it would be a real shame if the whole field of program synthesis and verification just became like ask GPT-4. But actually, it's not.…
Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.