Bret Taylor discusses how programming languages, formal verification, and development environments should evolve for the AI era.
0:00 / 0:15exact quote · 15.7s
720p mp4 · rendered on demand · StarZero watermark
“I have a strong suspicion that if we designed these systems with the role of a software engineer in mind being an operator of a machine rather than the author of the code, we could make the process Much more robust and much more productive.”
quote is from the automated transcript, cleaned for reading:
filler sounds and stutters are removed, nothing is rephrased. names can be misheard
(the analysis reads context, assessments check outside sources). how →
More from Bret Taylor
PredictionNot checkable as stated
Taylor: The craft of software engineering will completely change by 2027
“The actual craft of software engineering that we're doing right now I think it's literally a fact that it'll be completely different two years from now.”
Bret TaylorDec 23, 2025▶ 18:02Be Your Best in 2026: The Most Important Lessons from The Knowledge Project (2025)
PredictionNot checkable as stated
Taylor: The craft of software engineering will be completely different by 2027
“And if I look at the actual craft of software engineering that we're doing right now I think it's literally a fact that it'll be completely different two years from now.”
Bret TaylorApr 15, 2025▶ 27:58Bret Taylor: A Vision for AI’s Next Frontier
Insight
Taylor: Generating AI code in human-designed programming languages is a local maximum
“It feels like a local maximum in a really obvious way to me, which is you have a bunch of code written by people written in programming languages that were designed to make it easy for people to tell a computer what to do.”
Bret TaylorApr 15, 2025▶ 30:42Bret Taylor: A Vision for AI’s Next Frontier
Insight
Taylor: Pre-training a fourth-best foundation model offers highly questionable ROI
“If you're pre-training a foundation model that's the fourth best that's gonna cost you a lot of money, and the return on that investment is, is probably fairly questionable, because why use your fourth best large language model versus a frontier model or an op…”
Bret TaylorApr 15, 2025▶ 1:01:10Bret Taylor: A Vision for AI’s Next Frontier
PredictionNot checkable as stated
Taylor: AI model market will consolidate into a few massive capex players
“I think we have probably have too many people building models right now. There's already been some consolidation actually of companies being folded into Amazon and Microsoft and others. But I do think it will play out a bit like the cloud infrastructure busine…”
Bret TaylorApr 15, 2025▶ 1:01:32Bret Taylor: A Vision for AI’s Next Frontier
Insight
Taylor: Pre-training startups have pharma-like costs without the pharma business model
“I would have a hard time personally, like, funding a startup that says, I'm gonna do pre-training, you know, it's, ah, it's, I don't really know, like, what's your differentiation in this marketplace, and I think a lot of those companies you're already seeing,…”
Bret TaylorApr 15, 2025▶ 1:02:18Bret Taylor: A Vision for AI’s Next Frontier
Made with StarZero
Turn any episode into a week of clips.
This entire site, over 200 episodes transcribed, diarized, checked and made playable,
runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the
moments worth sharing, cuts them, captions them, and reframes them for every feed.
We use essential cookies to make the site work. With your permission we
also use analytics cookies (Google Analytics and Mixpanel) to understand
usage and improve StarZero. See our Cookie Policy.