ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

211,011 results

Xena Project
10 minute Lean tutorial : proving logical propositions

I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...

7:53
10 minute Lean tutorial : proving logical propositions

43,795 views

5 years ago

Quirkos - Simple Qualitative Analysis Software
Beginners guide to coding qualitative data

How do you analyse qualitative text data? What is coding? This video tutorial will give a basic introduction to different methods of ...

9:01
Beginners guide to coding qualitative data

553,244 views

6 years ago

EngX Space
How to Become a Great Software Developer — Best Advice from Top-Notch Engineers

Check our documentary "Beyond The Success Of Kotlin: https://youtu.be/E8CtE7qTb-Q Integrate GitHub Copilot and ChatGPT ...

11:11
How to Become a Great Software Developer — Best Advice from Top-Notch Engineers

619,801 views

1 year ago

Herman SWE
Swift is NOT (just) an iOS App language

In this video we will discuss why Swift is not just an iOS app language and is not tied to the Apple ecosystem as it may seem.

6:52
Swift is NOT (just) an iOS App language

25,918 views

1 year ago

AIPURE
How to Use GitHub (Even If You're Not a Coder) – Full Beginner Tutorial

Unlock the full power of GitHub — even if you're not a coder! In this ultimate beginner's guide, we'll show you how to find free AI ...

4:28
How to Use GitHub (Even If You're Not a Coder) – Full Beginner Tutorial

8,132 views

8 months ago

Adam Lyttle
Learn to code at 30: It's not too late... here's why

Think you're too old to start coding at 30? Think again. In this video, I share why your age—and life experience—might be your ...

7:05
Learn to code at 30: It's not too late... here's why

4,355 views

8 months ago

Mark Bacon
How to CODE FASTER by Typing Faster

Can speed typing help you code faster? That's the question of the day! Thanks for dropping by (and don't mind the thumbnail.

9:01
How to CODE FASTER by Typing Faster

85,281 views

5 years ago

Chris Mayfield
Tracing code by hand

Drawing tables on paper; DrJava debugger https://w3.cs.jmu.edu/mayfiecs/cs149/

10:08
Tracing code by hand

130,063 views

10 years ago

Kiki's Bytes
I ACED my Technical Interviews knowing these System Design Basics

In this video, we're going to see how we can take a basic single server setup to a full blown scalable system. We'll take a look at ...

9:41
I ACED my Technical Interviews knowing these System Design Basics

385,933 views

1 year ago

The Coding Gopher
99% of Developers Don't Get Sockets

Get 40% OFF CodeCrafters: https://app.codecrafters.io/join?via=the-coding-gopher ⬆️ Best project-based coding platform.

12:05
99% of Developers Don't Get Sockets

492,776 views

9 months ago

Mark Newman
How to Implement the FFT: A Coding Tutorial

Learn how to implement the FFT in this practical coding tutorial in which I guide you step-by-step through the process of writing a ...

13:12
How to Implement the FFT: A Coding Tutorial

3,256 views

7 months ago

Summit Electric Supply
Intermatic- Fixed ON/OFF Programming for ST01C Timer

To find your nearest Summit Service Center, click here. https://www.summit.com/locations.

5:59
Intermatic- Fixed ON/OFF Programming for ST01C Timer

422,964 views

8 years ago

Luke Smith
Never say "If" writing a Bash script! (Exit codes & logical operators)

A good rule of thumb is to never use "if" statements when writing shell or bash scripts. 90% of the time, you can get what you want ...

14:50
Never say "If" writing a Bash script! (Exit codes & logical operators)

245,136 views

5 years ago

The Coding Gopher
How Dynamic Programming Broke Software Engineers

Inquiries: thecodinggopher@gmail.com ‍ Get 40% OFF CodeCrafters: https://app.codecrafters.io/join?via=the-coding-gopher ...

8:01
How Dynamic Programming Broke Software Engineers

102,733 views

11 months ago

Kian Brose
How to make advanced image recognition bots using python

This video will show you how to make image recognition bots as fast as possible using Python. I will cover the basics of Pyautogui, ...

15:01
How to make advanced image recognition bots using python

1,518,368 views

5 years ago

DenshiVideo
The Most Impressive Scratch Projects

Watch part 2: https://www.youtube.com/watch?v=yhBzUjDEXtU In this video, I go on a trip down memory lane and visit Scratch, ...

11:00
The Most Impressive Scratch Projects

5,697,226 views

3 years ago

Dave Linthicum Is Not AI
Vibe Coding: The Dumbest Tech Trend of 2025?

In recent years, the way we write code has transformed—with AI assistants entering our text editors, autocomplete becoming ...

9:33
Vibe Coding: The Dumbest Tech Trend of 2025?

11,316 views

2 months ago

CodeOps HQ
Setting Up the Perfect Developer Environment on Linux for 2025

Want to learn how to build your own dev tools? Check out CodeCrafters: https://bitly.cx/HFm4 Are you a developer looking to ...

11:58
Setting Up the Perfect Developer Environment on Linux for 2025

346,493 views

1 year ago

Mental Outlaw
The Best Way to Learn Linux

In this video I discuss some tools that you can use to learn Linux better, even when you don't have internet access or a functioning ...

9:45
The Best Way to Learn Linux

623,166 views

1 year ago

Kevin Powell
How to get started with VS Code

When we first get started with VS Code, it can feel a little overwhelming, so in this video I take a look at the basics, starting off with ...

17:48
How to get started with VS Code

354,683 views

2 years ago