ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

131,330 results

The MAD Podcast with Matt Turck
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong

What if AI didn't just sound right — but could prove it? In this episode of the MAD Podcast, Matt Turck sits down with Carina Hong, ...

1:04:00
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong

8,143 views

5 months ago

Open Data Science and AI Conference
From Vibe Coding to Vericoding by Max Tegmark, MIT

What comes after “vibe coding”? In this ODSC AI East 2026 session, Max Tegmark, Professor at MIT and Chairman of the Future ...

34:28
From Vibe Coding to Vericoding by Max Tegmark, MIT

455 views

1 month ago

How I AI
I built an AI code review bot in 30 minutes - here’s how

AI writes most of my code now, and that created a new problem: a PR queue I couldn't keep up with. In this episode, I walk through ...

24:14
I built an AI code review bot in 30 minutes - here’s how

8,850 views

13 days ago

QA Tech
Closing the Verification Gap: AI Testing When Your Code Ships Daily

Development velocity has outrun testing. AI coding assistants push pull requests faster than manual and script-based test suites ...

49:24
Closing the Verification Gap: AI Testing When Your Code Ships Daily

92 views

1 month ago

AI Engineer
Guide, Verify, Solve — Anirban Chatterjee, Sonar

A Carnegie Mellon study sorted GitHub projects by whether an AI tool wrote the code, and found the productivity gain ran out after ...

22:31
Guide, Verify, Solve — Anirban Chatterjee, Sonar

10,475 views

9 days ago

Tech Excellence
AI-Assisted Development With Verification (AADV) (Jeff Langr)

As a developer community, we don't agree about the viability of LLMs to produce production-worthy code. To make things worse, ...

1:30:20
AI-Assisted Development With Verification (AADV) (Jeff Langr)

1,090 views

Streamed 1 year ago

LeadDev
Effective verification for humans and agents

In this session, we bring together engineering leaders who are rebuilding the software development life cycle (SDLC) to account ...

46:57
Effective verification for humans and agents

116 views

5 days ago

AI Native Dev
Shachar Azriel - Executable Specs: Building a Verification Layer for Agentic Coding - AI DevCon 2026

Agentic coding shifts the engineering bottleneck from implementation to verification. As agents generate more code, teams ...

30:40
Shachar Azriel - Executable Specs: Building a Verification Layer for Agentic Coding - AI DevCon 2026

1,658 views

2 months ago

Mike Bartley
Efficiency Improvement and Automation in Design Verification using AI

Efficiency Improvement and Automation in Design Verification using AI AI is transforming Design Verification (DV) by automating ...

20:37
Efficiency Improvement and Automation in Design Verification using AI

370 views

1 year ago

AI Security Podcast
Verification vs. Validation: How Autonomous AI is Changing Cybersecurity

Are autonomous AI agents operating unchecked in your enterprise? With the release of open source frameworks like OpenClaw, ...

1:10:15
Verification vs. Validation: How Autonomous AI is Changing Cybersecurity

28,476 views

3 months ago

Moderne and OpenRewrite
Verification, Cost, and Speed: What's Next for AI Coding at Scale

AI can write the code. The next challenge is running it at enterprise scale. Six engineering leaders from Uber, Morgan Stanley, ...

56:43
Verification, Cost, and Speed: What's Next for AI Coding at Scale

94 views

2 months ago

TrustInSoft
Webinar & Demo: Get Faster Verification with AI-Assisted Formal Methods

In this webinar on the latest release of TrustInSoft Analyzer, version 2026.04, we demonstrate the latest capabilities for ...

24:37
Webinar & Demo: Get Faster Verification with AI-Assisted Formal Methods

28 views

1 month ago

Code Metal
Formal Verification + AI: Midspiral's Practical Approach with Nada Amin

In the first installment of Formally Speaking, Dr. Nada Amin—Associate Professor of Computer Science at Harvard and co-founder ...

1:03:17
Formal Verification + AI: Midspiral's Practical Approach with Nada Amin

128 views

2 weeks ago

freeCodeCamp.org
System Design for AI Agents – Building a Multi-Agent PR Reviewer

... Part 4: Implementation Using the Genesis Kit - 2:03:40 Running Milestones and Independent AI Code Verification Thanks to ...

3:10:38
System Design for AI Agents – Building a Multi-Agent PR Reviewer

32,298 views

4 days ago

Association for Computing Machinery (ACM)
Software Verification in the Age of Artificial Intelligence

Title: Software Verification in the Age of Artificial Intelligence Date: May 7, 2026 Duration: 1HR ABSTRACT The AI tsunami is ...

1:07:22
Software Verification in the Age of Artificial Intelligence

1,601 views

3 months ago

AI Engineer and Alex Volkov from ThursdAI
Should AI Engineers Still Read Code in 2026? The Z/L Continuum — Alex Volkov, ThursdAI

"How much better do the models have to get before you'll stop reading the code?" Theo asked that question recently and the ...

21:35
Should AI Engineers Still Read Code in 2026? The Z/L Continuum — Alex Volkov, ThursdAI

4,412 views

1 month ago

Universal Resilience with JT Yu
Every Tech Bubble Obeyed the Same Rule. AI Is Next.

Some people think the AI bubble will crash like the dot-com bubble. Others think it will never pop at all. But what if they're both ...

23:20
Every Tech Bubble Obeyed the Same Rule. AI Is Next.

126,623 views

3 days ago

Tech Raj
Claude Code vs HackTheBox: Can AI Automate Pentesting?

Can AI truly automate penetration testing? I'm putting Claude Code to the test on HackTheBox machines - fully automated, ZERO ...

24:25
Claude Code vs HackTheBox: Can AI Automate Pentesting?

120,652 views

8 months ago

Codemify
Playwright MCP - How to use AI for Manual Testing

Book your free *QA career consultation with Sergii*: https://calendly.com/codemify/consultation 1 week *Introduction to Manual QA ...

26:30
Playwright MCP - How to use AI for Manual Testing

46,075 views

9 months ago

Eigen Labs
Deterministic AI Explained: Making LLM Inference Reproducible + Verifiable | EigenAI

AI is starting to make real decisions, but most AI outputs still can't be independently verified. In this conversation, David Dennis ...

26:16
Deterministic AI Explained: Making LLM Inference Reproducible + Verifiable | EigenAI

1,059 views

6 months ago