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
2,052 results
Global Head of Blackstone's Operating Team Rodney Zemmel shares a practical CEO playbook for AI — where the tech is ...
2,045 views
3 weeks ago
ACCU Membership: https://tinyurl.com/ydnfkcyn --- What I Learned at My First Tech Conference - Peer Pressure & Developer Soft ...
193 views
https://audio.dev/ -- @audiodevcon ADCx India - 29th March ADC Bristol - 9th - 11th November --- Instrument Your Code So it ...
327 views
10 days ago
PEMF UK FM Konferencia - Miroslav Reiter - Comparative Analysis of Agile Frameworks Scrum, Kanban Abstract This article ...
59 views
2 weeks ago
This talk was recorded at NDC Copenhagen in Copenhagen, Denmark. #ndccopenhagen #ndcconferences #developer ...
249 views
The Microsoft SQL Community Conference is quickly approaching. Join us in Atlanta, GA in March for amazing content, ...
1,001 views
13 days ago
Toward Automated, Contamination-free Dafny Benchmark Generation (Video, Dafny 2026) Changjie Wang, Mariano Scazzariello, ...
1 view
This presentation was recorded at GOTO Serverless 2025. #GOTOcon #GOTOserverless ...
522 views
4 weeks ago
104 views
922 views
CodeMash Lightning Talks are available to all attendees to apply in giving a 6-minute presentation on our main stage - Topics ...
70 views
ACCU Membership: https://tinyurl.com/ydnfkcyn --- Notation in Programming: Exploring BQN, Symbolic Manipulation, and ...
354 views
Explicit Abstraction Barrier for Autoactive Verification (Video, Dafny 2026) Paul Patault (Université Paris-Saclay - Laboratoire de ...
0 views
"Should I roll my own implementation or require a package?" "Should I use a framework?" The answer is usually the classic senior ...
98 views
ACCU Membership: https://tinyurl.com/ydnfkcyn --- What, What? - When We Think We Understand - Nara Morrison - ACCU 2025 ...
Lessons from Building an Auto-Active Verifier in Lean (Video, Dafny 2026) George Pîrlea, Vladimir Gladshtein, Qiyuan Zhao, and ...
18 views
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis (Video, Dafny 2026) Mantas Bakšys, Stefan Zetzsche, Olivier ...
5 views
Paper ID: ICDTDE703 Conference: ICDTDE2025 – International Conference on Digital Technology Driven Engineering Dates: ...
Title: Accelerating Genome Analysis - Montenegro Academy of Sciences Conference Speaker: Professor Onur Mutlu ...
16 views
2 hours ago
Adam Belfki, NDIF Research Software Engineer, gives an overview of NDIF's current and future offerings at NeurIPS 2025 ...
34 views
12 days ago
![[Dafny'26] Toward Automated, Contamination-free Dafny Benchmark Generation](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FYQ3J_IqwMrY%2Fsddefault.jpg)
![[2026 Lightning Talks] Nuri Halperin - Programming Languages Made Better](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F-X1b8BC4swo%2Fsddefault.jpg)
![[Dafny'26] Explicit Abstraction Barrier for Autoactive Verification](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FH_p93KC3TSo%2Fsddefault.jpg)
![[Dafny'26] Lessons from Building an Auto-Active Verifier in Lean](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FpgD0RLEiQjM%2Fsddefault.jpg)
![[Dafny'26] ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F1rAFyzh7F30%2Fsddefault.jpg)
