ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

172,891 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,634 views

5 years ago

Brian Will
Object-Oriented Programming is Good*

or not.

9:45
Object-Oriented Programming is Good*

170,936 views

6 years ago

Brian Will
A Simple Programming Language - (part 1 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

4:16
A Simple Programming Language - (part 1 of 13)

14,475 views

12 years ago

codingjerk
Learn Programming Faster with This Single Principle

Many people learn the wrong way and quit programming. In the video I want to show you how to avoid this mistake and start ...

7:31
Learn Programming Faster with This Single Principle

46,207 views

8 months 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

490,618 views

9 months ago

Filip Kovář
Fun & Easy Programming Tutorial for everybody and Young Beginners  #coding #programmer #gamedev

Seven the most important knowledge about programming - beginners tutorial. I think that everyone is able to learn programming ...

5:16
Fun & Easy Programming Tutorial for everybody and Young Beginners #coding #programmer #gamedev

77 views

1 year ago

SprutCAM X
[Robot programming workflow] - 03 - Basic robot programming tools

Robot programming workflow playlist: https://www.youtube.com/playlist?list=PLHLSflSPTe6Ff_YPHly4Bkweop8J3hfNE If you ...

4:48
[Robot programming workflow] - 03 - Basic robot programming tools

2,188 views

3 years ago

codingjerk
Zig Language | Thoughts After 2 Years

Voiced by @tokisuno ... Check out his channel. So, in this talk I want to tell about the reasons I love the Zig programming language ...

13:38
Zig Language | Thoughts After 2 Years

111,216 views

9 months ago

Brian Will
A Simple Programming Language - (part 2 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

5:33
A Simple Programming Language - (part 2 of 13)

7,659 views

12 years ago

Brian Will
A Simple Programming Language - (part 4 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

6:48
A Simple Programming Language - (part 4 of 13)

5,378 views

12 years ago

Brian Will
A Simple Programming Language - (part 3 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

6:11
A Simple Programming Language - (part 3 of 13)

5,948 views

12 years ago

Brian Will
A Simple Programming Language - (part 13 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

4:37
A Simple Programming Language - (part 13 of 13)

3,154 views

12 years ago

Brian Will
A Simple Programming Language - (part 10 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

8:44
A Simple Programming Language - (part 10 of 13)

3,306 views

12 years ago

Jody Bruchon
Rust Programmers Can't Understand Basic C Programming: Linked Lists Are Crab Kryptonite

It's amazing to me how something as simple as a linked list absolutely destroys cocky Rust programmers. (UI doc still in progress, ...

17:18
Rust Programmers Can't Understand Basic C Programming: Linked Lists Are Crab Kryptonite

2,585 views

1 month ago

No Name
Retro Programming - Rock, Paper, Scissors - C64 BASIC Tutorial

If you're learning C64 BASIC for the first time or returning many years later (like me) then hopefully this example will. show how in ...

9:38
Retro Programming - Rock, Paper, Scissors - C64 BASIC Tutorial

1,303 views

4 years ago

Brian Will
A Simple Programming Language - (part 11 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

5:29
A Simple Programming Language - (part 11 of 13)

2,982 views

12 years ago

Brian Will
A Simple Programming Language - (part 8 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

4:40
A Simple Programming Language - (part 8 of 13)

3,247 views

12 years ago

No Name
A viewer rose to the challenge | C64 BASIC Programming

In February 2022 I posted a video which was an introduction to C64 BASIC programming. It was a simple maths addition game ...

10:26
A viewer rose to the challenge | C64 BASIC Programming

706 views

3 years ago

Brian Will
A Simple Programming Language - (part 6 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

4:25
A Simple Programming Language - (part 6 of 13)

3,720 views

12 years ago

Brian Will
A Simple Programming Language - (part 9 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

5:23
A Simple Programming Language - (part 9 of 13)

3,121 views

12 years ago