ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

170,187 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,627 views

5 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

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,487 views

9 months 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 PostgreSQL

Check out Supabase: https://supabase.plug.dev/qnxeTMY ❤️ Get 40% OFF CodeCrafters: ...

12:40
99% of Developers Don't Get PostgreSQL

176,489 views

3 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

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,208 views

9 months ago

AJ&Smart
What is Agile? - An Overview

What is Agile? Why is it still relevant today? In this video, Product Designer and Workshop Facilitator Spencer Ayres shares the ...

9:31
What is Agile? - An Overview

104,913 views

2 years ago

Abelardo Pardo
The MARIE architecture

Description of the MARIE architecture as presented in the book "The Essentials of Computer Organization and Architecture" by ...

8:19
The MARIE architecture

36,260 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 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

OktaDev
"Basic Authentication" in Five Minutes

Learn what "Basic Authentication" is, how it's used, and what the HTTP Request looks like! #Authentication #BasicAuth #HTTP ...

5:07
"Basic Authentication" in Five Minutes

202,528 views

4 years ago

DistroTube
Transform Your Scripts With Bash Simple Curses

Bash Simple Curses is a simple curses library made in bash to draw terminal interfaces. It gives you some basic functions to ...

16:15
Transform Your Scripts With Bash Simple Curses

122,660 views

3 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

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

614,357 views

1 year ago

Alex The Analyst
Functions in Python | Python for Beginners

Take my Full Python Course Here: https://bit.ly/48O581R In this series we will be walking through everything you need to know to ...

12:44
Functions in Python | Python for Beginners

130,873 views

3 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

TeXplaiNIT
What is Unix and why does it matter? Operating System OS Explained, History, Unix vs Linux, etc.

Learn about Unix, get a basic overview, its history, how it relates to today, and more! This channel is dedicated to explaining ...

6:32
What is Unix and why does it matter? Operating System OS Explained, History, Unix vs Linux, etc.

93,963 views

4 years 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 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