多間初創公司如何藉助 AI 推動形式化軟件驗證實用化並成為必要工具，&Truth 以 $70M 種子融資起步

Featured Podcasts

The Accidental YC Founder Solving AI's GPU Crisis | SF Compute's Evan Conrad

Veteran tech reporter Alex Konrad sits down with breakout entrepreneurs taking on the status quo to shake up their fields in AI, design, nuclear energy, space, and more.

Subscribe to The Upstarts Podcast.

Cheeky Pint:

Why Sam Altman is against a single superintelligence

Stripe cofounder John Collison interviews founders, builders, and leaders over a pint.

Subscribe to Cheeky Pint.

Great Chat:

The case for AI optimism

A podcast mostly about tech. Brought to you weekly by Angela Du, Sally Shin, Mac Bohannon, Helen Min, and Ashley Mayer.

Subscribe to Great Chat.

Sources:

Tobi Lütke on the AI agent revolution and future of Shopify

Candid conversations with the leaders shaping what's next in AI and the broader tech industry. Hosted by Alex Heath, who has covered Silicon Valley for more than a decade.

Subscribe to Sources.

Big Technology Podcast:

This AI Expert Argues We're Underestimating AI's Productivity Impact — With Ethan Mollick

The Big Technology Podcast takes you behind the scenes in the tech world featuring interviews with plugged-in insiders and outside agitators.

Subscribe to Big Technology Podcast.

Machine Gods:

Inside Anthropic's IPO + How AI agents spy on your messages

The official podcast of the singularity, from Casey Newton and Kevin Roose. Twice-weekly news, analysis, and interviews with the people who are building the future.

Subscribe to Machine Gods.

Add your podcast here