ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

29 results

ACM SIGPLAN
[CPP'26] A Lambda-Superposition Tactic for Isabelle/HOL

A Lambda-Superposition Tactic for Isabelle/HOL (Video, CPP 2026) Massin Guerdi (LMU Munich, Germany) Abstract: This paper ...

22:21
[CPP'26] A Lambda-Superposition Tactic for Isabelle/HOL

42 views

7 days ago

ACM SIGPLAN
[POPL'26] Typing Strictness

Typing Strictness (Video, POPL 2026) Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich (University of ...

26:31
[POPL'26] Typing Strictness

70 views

7 days ago

Stellar at LSU
CSC4700-Tasks & Concurrency (1st Part)

This lecture introduces task-based parallelism and concurrency in C++, contrasting it with data parallelism. The primary goal is to ...

1:15:05
CSC4700-Tasks & Concurrency (1st Part)

58 views

3 days ago

GDGoC Chandigarh University
GDG x DSA Series (GDG CU) - Week 1 Problem: Top Frequent Words

The vector is sorted using the `sort` function along with a custom comparator defined as a lambda function. * **Custom ...

23:51
GDG x DSA Series (GDG CU) - Week 1 Problem: Top Frequent Words

0 views

4 days ago

Jose A. Abell M.
Coding some plasticity in OpenSees on Omarchy

http://www.joseabell.com.

49:58
Coding some plasticity in OpenSees on Omarchy

114 views

Streamed 6 days ago

NxtWave LaunchPad
Codeforces Round 1076 (Div 3) | Video Solutions - A to F | By Ruthvik    | NxtWave LaunchPad

In this video, Ruthvik discussed the Codeforces Round 1076 (Div 3) | Video Solutions - A to F Product Link ...

1:06:27
Codeforces Round 1076 (Div 3) | Video Solutions - A to F | By Ruthvik | NxtWave LaunchPad

54 views

7 days ago

Sudipto Kumar Mukherjee
C# Task & Async Await Explained with Real Example (WinForms UI Freeze Demo)

In this video, I explain Task, async and await in C# using a real WinForms application example. We calculate the N-th prime ...

47:07
C# Task & Async Await Explained with Real Example (WinForms UI Freeze Demo)

32 views

4 days ago

ACM SIGPLAN
[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

Probabilistic Programming with Vectorized Programmable Inference (Video, POPL 2026) McCoy R. Becker, Mathieu Huot, George ...

22:40
[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

11 views

7 days ago

ACM SIGPLAN
[POPL'26] Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks

Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks (Video, POPL 2026) Michael Lee, ...

24:14
[POPL'26] Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks

0 views

7 days ago

Samir
LeetCode 347 (C++) | Interview-Style Thinking Aloud

In this video, I work through LeetCode 347 – Top K Frequent Elements in C++, explaining my reasoning in real time like an ...

23:02
LeetCode 347 (C++) | Interview-Style Thinking Aloud

11 views

5 days ago

StudyDesk4U
Python_Workshop_Session-FratelloInnotech 2025-20260122 1318-1

Python_Workshop_Session-FratelloInnotech 2025-20260122 1318-1 And, About Channel, Hey Guys,,, FratelloInnoTech ...

31:32
Python_Workshop_Session-FratelloInnotech 2025-20260122 1318-1

0 views

6 days ago

Jatin Raghav
Codeforces Virtual Participation Contest-1076 | CP Reaching 2000 Rating | Part-125 | STREAM #270

Competitive Programming is not just something that helps you get better at DSA or get a job or even make you a better thinker.

2:25:56
Codeforces Virtual Participation Contest-1076 | CP Reaching 2000 Rating | Part-125 | STREAM #270

328 views

Streamed 7 days ago

StudyDesk4U
Python_Workshop_Session-FratelloInnotech 2025-20260126 1305-1

Python_Workshop_Session-FratelloInnotech 2025-20260126 1305-1 And, About Channel, Hey Guys,,, FratelloInnoTech ...

24:06
Python_Workshop_Session-FratelloInnotech 2025-20260126 1305-1

0 views

6 days ago

Visualpath Pro
AWS Data Engineering with Data Analytics Course Online Training Demo By Visualpath

AWSDataEngineering #DataEngineering #AWSAnalytics AWS Data Engineering with Data Analytics Course | Real-Time ...

44:57
AWS Data Engineering with Data Analytics Course Online Training Demo By Visualpath

32 views

3 days ago

GUIDE OF MAD
Excel Full Course 2026 | Beginner to Advanced Excel Training | 3 Hours

... (Dynamic Data) ✓ DGET Function (Database Formula) ✓ VLOOKUP & XLOOKUP (Advanced Scenarios) ✓ LAMBDA Function ...

3:07:52
Excel Full Course 2026 | Beginner to Advanced Excel Training | 3 Hours

153 views

2 days ago

Mindplex
The Capture of the P2P Movement

In this profound episode, Dr. Mihaela Ulieru hosts Michel Bauwens, pioneering founder of the P2P Foundation and one of the ...

1:51:35
The Capture of the P2P Movement

470 views

3 days ago

The Professor-AI
Claude: A Comprehensive Guide for 2026 (And yes its Great)

The COMPLETE Guide to Claude AI in 2026 | Every Feature Explained & Demonstrated Claude AI has quietly become the most ...

50:44
Claude: A Comprehensive Guide for 2026 (And yes its Great)

214 views

1 day ago

Véronique Kohn
Quand l'amour fait peur : comment ne plus refaire les mêmes erreurs ?

Dans cette première conférence autour du thème de l'attachement anxieux et évitant, je parle d'un moment que beaucoup ...

1:30:52
Quand l'amour fait peur : comment ne plus refaire les mêmes erreurs ?

3,809 views

1 day ago

幻夜动漫 Night Anime
MULTISUB 🔥在星際開寵物店,暴打傳奇,拐走神族美少女,我是不是太囂張了? 【超神寵獸店】EP01-150 #爽劇 #漫劇 #國漫 #一口氣

这里是【幻夜動漫Night Anime】!歡迎每一位愛看動漫的你 感謝您的訂閱! https://sourl.cn/L9Hpkk 您的每一次訂閱、點贊都 ...

12:16:21
MULTISUB 🔥在星際開寵物店,暴打傳奇,拐走神族美少女,我是不是太囂張了? 【超神寵獸店】EP01-150 #爽劇 #漫劇 #國漫 #一口氣

16,255 views

5 days ago

Pratap Padhi
How to Choose the Right Distribution? Binomial vs Poisson vs Negative Binomial vs Hypergeometric

How to Choose the Right Distribution? Binomial vs Poisson vs Negative Binomial vs Hypergeometric TIMESTAMPS 00:00 Course ...

1:01:52
How to Choose the Right Distribution? Binomial vs Poisson vs Negative Binomial vs Hypergeometric

9 views

Streamed 5 days ago