ZeroNoise Logo zeronoise
Post
Belsky backs a "speed is the new moat" case for Cerebras; Khosla points to Claude's formal-verification work
•
3 min read
• 203 docs
This period's picks: Scott Belsky on fast inference, Vinod Khosla on Anthropic and Theorem Labs' formal verification, Fred Wilson's two listens on agency in the AI era, Tobi Lütke's code-mode environment, and shorter mentions from Fadell, Hoover, Sweeney, Gerstner, Armstrong and Puri.

Scott Belsky: "Nobody Wants Dial-Up AI," by Artur Meyster

Belsky shared Meyster's X article on Cerebras ($CBRS) under the line "speed is the new moat." His takeaway: we won't want to wait for agents to finish very complex tasks "if there's a faster way to get it done."

Meyster's main evidence is a test Cerebras ran last month: booking a dinner reservation through an AI assistant. Grokbot took 7m40s, Claude Cowork 6m25s, Meta's Muse 4m36s, and an assistant running on Cerebras 22 seconds. He argues that now that every assistant is smart, the question is "how fast does it get things done?" He compares this to dial-up giving way to broadband. Keep in mind that the author has held Cerebras since 2024 and bought more after the stock fell about 40% below its IPO price.

Vinod Khosla: Anthropic and Theorem Labs on formal verification

Khosla said he is "a total fan" of Theorem Labs' work adding formal verification to probabilistic LLMs, calling it an "Important concept broadly." He shared Anthropic's Frontier Red Team post on the work. Anthropic says formal verification used to be practical only for small codebases or took a lot of expert time. With Theorem Labs, it used Claude to prove security properties in more than 100 real-world open-source libraries over a few weeks. (Full research)

Fred Wilson: two listens on autonomy and agency

Wilson recommended two videos for people with a lot of commuting, driving or working out ahead, saying both "speak to autonomy and agency in the AI era."

Tobi Lütke: dquickts

Tobi called stencil-hq/dquickts an "Excellent code mode env." He shared it by quoting an earlier post of his. There he argued that the MCP-vs-CLI debate is at the wrong layer: both work well when LLMs run inside a REPL-like environment that keeps state, and code-mode REPLs (usually QuickJS) are among the best options.

Shorter mentions

  • Tony Fadell marked the iPod's 25th anniversary by sharing Steven Levy's WIRED piece, "I'm Still Convinced the iPod Was the Perfect Gadget". He noted that Levy "was there from the start."
  • Ryan Hoover told founders to "embrace the cringe," linking Sandy B. Kwon's essay "Is It Cringe or Am I Just Uncomfortable?".
  • Tim Sweeney said a post by @JNavok is "exactly what's happening." The post argues that Valve's labels on AI-assisted games draw hostile attention that hurts indie developers' finances.
  • Brad Gerstner called a John Mackey clip shared by David Senra "Beautiful & true." In the clip, Mackey argues that capitalism creates "win win win" outcomes and that all philanthropy and taxes ultimately come from business.
  • Brian Armstrong linked Coinbase's new research with The Block on the "always-on economy." He shared it alongside his argument that stablecoins suit agent payments because agents need instant, global settlement, including for small amounts. Coinbase produced the research, so this is a self-promotion.
  • Shaan Puri called Nathan For You season 1, episode 4 "a work of art." He found it after the Elizabeth Holmes movie sent him down a Nathan Fielder rabbit hole.
Belsky backs a "speed is the new moat" case for Cerebras; Khosla points to Claude's formal-verification work
Summary
Coverage start
1 day ago
Coverage end
3 hours ago
Frequency
Daily
Published
2 hours ago
Reading time
3 min
Research time
4 hrs 22 min
Documents scanned
203
Documents used
18
Citations
20
Sources monitored
137 / 137
Insights
Skipped contexts
Source details
Source Docs Insights Status
Guillermo Rauch 2 0
Alexandr Wang 6 0
Aaron Levie 2 0
Marc Benioff 0 0
Amjad Masad 4 0
Kevin Systrom 0 0
Tim Sweeney 7 2
Mike Krieger 0 0
Adam D'Angelo 0 0
Brad Gerstner 4 1
Nat Friedman 0 0
clem 🤗 7 1
Tony Fadell 1 1
Matt Mullenweg 0 0
Sahil Lavingia 0 0
Demis Hassabis 0 0
Aravind Srinivas 5 1
Jessica Livingston 0 0
Drew Houston 0 0
martin_casado 12 1
Sarah Tavel 0 0
Ryan Hoover 5 1
Reed Hastings 0 0
Jeff Lawson 0 0
Stewart Butterfield 0 0
Howie Liu 0 0
Eric Schmidt 0 0
Palmer Luckey 0 0
Elon Musk 36 6
Satya Nadella 0 0
Jeff Bezos 0 0
Shaan Puri 3 2
Not Boring by Packy McCormick 1 0
Jason ✨👾SaaStr.Ai✨ Lemkin 11 3
Ben Thompson 2 0
Li Jin 0 0
Morgan Housel 0 0
delian 0 0
Daniel Ek 0 0
No Priors: AI, Machine Learning, Tech, & Startups 1 0
Invest Like The Best 0 0
Lenny's Podcast 0 0
20VC with Harry Stebbings 0 0
Garry Tan 9 0
Brian Armstrong 2 1
andrew chen 0 0
tobi lutke 6 2
benahorowitz.eth 0 0
jack 29 1
scott belsky 5 1
David Sacks 0 0
Vinod Khosla 6 2
Chamath Palihapitiya 2 1
Fred Wilson 3 1
Tim Ferriss 7 0
Sam Altman 0 0
balajis.com 0 0
Book of the Day from The Next Big Idea Club 1 0
The Foresight Playbook 0 0
Seliria’s Newsletter 0 0
The Generalist 0 0
Lenny's Newsletter 0 0
Elad Gil 0 0
No Priors 3 0
sarah guo 6 1
Bill Gurley 0 0
Chris Dixon 0 0
Keith Rabois 0 0
Patrick OShaughnessy 0 0
Bill Gates 3 0
Reid Hoffman 1 0
Naval 0 0
Farnam Street 2 0
Shane Parrish 0 0
Patrick Collison 0 0
Balaji 0 0
Sam Altman 0 0
Marc Andreessen 🇺🇸 1 0
David Perell 0 0
Paul Graham 0 0
Parker Conrad 0 0
Palmer Luckey 0 0
Suhail 0 0
Tom Blomfield 0 0
Guillermo Rauch 0 0
clem 🤗 0 0
Jeremy Howard 0 0
aileenlee 0 0
@jason 0 0
Ryan Hoover 0 0
Nat Friedman 0 0
Gokul Rajaram 0 0
Ivan Zhao 1 0
Chris Dixon 0 0
Eric Schmidt 0 0
Susan Wojcicki 0 0
Jeff Weiner 0 0
Kevin Systrom 0 0
Sundar Pichai 0 0
Tony Fadell 0 0
Scott Belsky 0 0
Drew Houston 0 0
Marc Benioff 0 0
Brian Chesky 0 0
David Heinemeier Hansson (DHH) 0 0
Sahil Lavingia 0 0
Andrew Wilkinson 0 0
jack 1 0
John Doerr 0 0
Satya Nadella 1 0
Mark Zuckerberg 0 0
Garry Tan 0 0
Jensen Huang 2 1
Michael Seibel 0 0
Daniel Gross 0 0
Shane Parrish 0 0
Fred Wilson 0 0
tobi lutke 0 0
David Sacks 0 0
Jeff Bezos 1 0
Elon Musk 0 0
Bill Gates 0 0
Sam Altman 1 0
Peter Thiel 0 0
Elad Gil 0 0
Keith Rabois 0 0
Reid Hoffman 0 0
Balaji Srinivasan 0 0
Tim Ferriss 0 0
Brian Armstrong 0 0
Ben Horowitz 1 0
Naval Ravikant 0 0
Patrick Collison 0 0
Marc Andreessen 0 0
Paul Graham 0 0
Tomasz Tunguz 0 0
Brad Feld 0 0