ViewTube

search

Sign in Sign up Subscriptions

Filters

Upload date

All time

Last hour

Today

This week

This month

This year

Type

All

Video

Channel

Playlist

Movie

Duration

All

Short (< 4 minutes)

Medium (4-20 minutes)

Long (> 20 minutes)

Sort by

Relevance

Rating

Upload date

View count

Features

HD

Subtitles/CC

Creative Commons

3D

Live

4K

360°

VR180

HDR

14 results

Coding Sisyphus

[Lean4] Install and hello world

Please forgive my English and turn on the subtitles, as I am not a native English speaker. I sincerely hope that my English will ...

[Lean4] Install and hello world

56 views

1 month ago

Stanley M Ndagi

An opinionated Python toolkit - by Stanley Ndagi at PyConKE 2022

In this talk, I'll go through the process of using Python, from your local setup (terminal, virtual env, editor) to writing code, testing ...

An opinionated Python toolkit - by Stanley Ndagi at PyConKE 2022

75 views

2 years ago