ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,061,805 results

AdaCore
How to Prove the Correctness of AI-Generated Code Using Formal Methods

More and more code is being generated by AI, generated by non-deterministic models from ambiguous text in English or another ...

17:05
How to Prove the Correctness of AI-Generated Code Using Formal Methods

1,148 views

6 months ago

Cole Medin
AI Fixes My Code Better than Me Now?! (Here's How)

It's true - I've figured out how to design a system so that my AI coding assistant debugs and fixes code faster and better than I can.

12:52
AI Fixes My Code Better than Me Now?! (Here's How)

20,021 views

8 months ago

FAR․AI
Zac Hatfield-Dodds – Formal Verification is Overrated [Alignment Workshop]

Zac Hatfield-Dodds presents “Formal Verification is Overrated,” arguing that relying solely on verification methods may not provide ...

6:20
Zac Hatfield-Dodds – Formal Verification is Overrated [Alignment Workshop]

5,191 views

1 year ago

IBM Technology and IBM Developer
What Is AI Code Refactoring? Agentic AI & Safe Code Changes

Learn more about AI Code Refactoring here → https://ibm.biz/~QvKeWQY26 AI can rewrite code, but can you trust it? Martin Keen ...

11:36
What Is AI Code Refactoring? Agentic AI & Safe Code Changes

15,260 views

1 month ago

Synsation
AI for Better Code: Testing + Security in Minutes

Warp is free to try, but for a limited time, my friends at Warp are offering their Warp Pro plan for only $5. Use code SYNSATION to ...

6:24
AI for Better Code: Testing + Security in Minutes

1,353 views

10 months ago

Green Code
I Trained AI to Predict Sports

Go to https://brilliant.org/GreenCode/ to learn more about Computer Science with a free 30-day trial and 20% off the premium ...

11:20
I Trained AI to Predict Sports

1,452,267 views

1 year ago

ESBMC-AI
From Requirements to Code: How LLMs Bridge the Gap in Formal Verification with ESBMC

RE'25 Conference Presentation | The 33rd International Requirements Engineering Conference Can Large Language Models ...

18:03
From Requirements to Code: How LLMs Bridge the Gap in Formal Verification with ESBMC

171 views

11 months ago

Sean‘s AI Stories and AutoManus
You Can Learn AI Agent System Design In 19 Min | RAG, Vector Database, Evals, Function Calling

Code Follow-up: https://youtu.be/ZREt9MAozho This is how I think through designing a full stack AI Agent System, with all key ...

19:29
You Can Learn AI Agent System Design In 19 Min | RAG, Vector Database, Evals, Function Calling

129,446 views

11 months ago

Nate Herk | AI Automation
I Deleted All My Claude Skills... And Claude Got Smarter

My playbook for growing a $1M AI agency: https://app.aiautomationsociety.ai/opaa-ads-optin My FREE resources: ...

11:56
I Deleted All My Claude Skills... And Claude Got Smarter

70,236 views

4 days ago

IBM Technology
Why Large Language Models Hallucinate

Learn about watsonx: https://ibm.biz/BdvxRD Large language models (LLMs) like chatGPT can generate authoritative-sounding ...

9:38
Why Large Language Models Hallucinate

359,320 views

3 years ago

pixegami
Pydantic Tutorial • Solving Python's Biggest Problem

Learn how to use Pydantic in this short tutorial! Pydantic is the most widely used data validation library for Python. It lets you ...

11:07
Pydantic Tutorial • Solving Python's Biggest Problem

499,634 views

2 years ago

Sonar
Code Security and Verification in the AI-Centric SDLC | Sonar Summit 2026

How can development teams maintain security and reliability when AI accelerates code generation? In this Sonar Summit 2026 ...

15:33
Code Security and Verification in the AI-Centric SDLC | Sonar Summit 2026

193 views

5 months ago

Antithesis
Formal verification in the web dev workflow | Fernanda Graciolli | Bug Bash 2026

Fernanda Graciolli, co-founder of Midspiral, talks about how Midspiral is bringing formal verification to mainstream web ...

9:44
Formal verification in the web dev workflow | Fernanda Graciolli | Bug Bash 2026

481 views

1 month ago

IBM Technology
Five Steps to Create a New AI Model

Earn a Generative AI certificate today → https://ibm.biz/BdKUNX Learn more about watsonx: https://ibm.biz/BdvDnr AI promises to ...

6:56
Five Steps to Create a New AI Model

882,077 views

2 years ago

Andy Stapleton
I Can Spot AI Writing Instantly - Bypass ChatGPT Detectors for FREE

Become a Master Academic Writer With AI using my course: https://academy.academiainsider.com/courses/ai-writing-course ...

16:36
I Can Spot AI Writing Instantly - Bypass ChatGPT Detectors for FREE

348,162 views

1 year ago

Alex AI
Live technical interview by an AI

Watch an AI recruiter conduct a real-time technical interview. Chapters: 0:00 Interview 5:05 Candidate asks questions about the ...

6:29
Live technical interview by an AI

237,035 views

2 years ago

Owain Lewis
Agentic Design Skills For Claude Code and Codex

Download the skills: https://aiengineer.co/start Most agentic coding content focuses on harness tips, setup tweaks, and model ...

16:56
Agentic Design Skills For Claude Code and Codex

8,643 views

3 days ago

ThioJoe
The Problem With Google reCAPTCHA Mobile Verification

The new recaptcha system means privacy is truly dead. Google is rolling out a change to their recaptcha service which will means ...

9:04
The Problem With Google reCAPTCHA Mobile Verification

87,729 views

3 months ago

Fireship
How to NOT Fail a Technical Interview

Welcome to the software engineer's technical interview survival guide. Using a mock interview with the classic FizzBuzz question, ...

8:26
How to NOT Fail a Technical Interview

2,001,773 views

4 years ago

IBM Technology
How will AI Agents Manage Identity & Build Trust in Complex Systems

Ready to become a certified z/OS v3.x Administrator? Register now and use code IBMTechYT20 for 20% off of your exam ...

14:04
How will AI Agents Manage Identity & Build Trust in Complex Systems

34,069 views

1 year ago