Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
40 results
A Lambda-Superposition Tactic for Isabelle/HOL (Video, CPP 2026) Massin Guerdi (LMU Munich, Germany) Abstract: This paper ...
44 views
7 days ago
Merhaba! Bu kanalda birlikte Java, C++, Python ve programlamanın temellerini öğreniyoruz. Dersleri basit, eğlenceli ve ...
36 views
4 days ago
This lecture introduces task-based parallelism and concurrency in C++, contrasting it with data parallelism. The primary goal is to ...
60 views
Typing Strictness (Video, POPL 2026) Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich (University of ...
71 views
Crane Lowers Rocq Safely into C++ (Video, RocqPL 2026) Matthew Z. Weaver, and Joomy Korkut (Bloomberg; Bloomberg) ...
13 views
http://www.joseabell.com.
116 views
Streamed 7 days ago
The vector is sorted using the `sort` function along with a custom comparator defined as a lambda function. * **Custom ...
0 views
... 'SnakesAndLadders::n_board' error: 'this' was not captured for this lambda function Im Wesentlichen weiß der Compiler nicht, ...
Probabilistic Programming with Vectorized Programmable Inference (Video, POPL 2026) McCoy R. Becker, Mathieu Huot, George ...
12 views
In this video, I work through LeetCode 347 – Top K Frequent Elements in C++, explaining my reasoning in real time like an ...
11 views
5 days ago
In this video, I explain Task, async and await in C# using a real WinForms application example. We calculate the N-th prime ...
33 views
In this video, Ruthvik discussed the Codeforces Round 1076 (Div 3) | Video Solutions - A to F Product Link ...
54 views
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks (Video, POPL 2026) Michael Lee, ...
Python_Workshop_Session-FratelloInnotech 2025-20260122 1318-1 And, About Channel, Hey Guys,,, FratelloInnoTech ...
6 days ago
Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:37 - Installing ...
40,817 views
1 day ago
Python_Workshop_Session-FratelloInnotech 2025-20260126 1305-1 And, About Channel, Hey Guys,,, FratelloInnoTech ...
... (Dynamic Data) ✓ DGET Function (Database Formula) ✓ VLOOKUP & XLOOKUP (Advanced Scenarios) ✓ LAMBDA Function ...
160 views
3 days ago
From my findings. All my documents are Open source for others to validate. The Limits of Fixed-Constant Physics For over a ...
4 views
Welcome to our comprehensive guide on C++ VIVA Questions! In this video, titled "BCSL 32 | C++ VIVA Questions You NEED To ...
10 views
Competitive Programming is not just something that helps you get better at DSA or get a job or even make you a better thinker.
329 views
![[CPP'26] A Lambda-Superposition Tactic for Isabelle/HOL](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FVlN4034k2wc%2Fsddefault.jpg)
![[POPL'26] Typing Strictness](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FLr339NLTqOk%2Fsddefault.jpg)
![[RocqPL'26] Crane Lowers Rocq Safely into C++](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F9XR02ChDd38%2Fsddefault.jpg)
![[POPL'26] Probabilistic Programming with Vectorized Programmable Inference](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fk3Opi9884pU%2Fsddefault.jpg)
![[POPL'26] Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fmg3ZUNuDD8A%2Fsddefault.jpg)
