ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

73,655 results

DevConf
I compiled WebAssembly to lambda calculus! A journey into esoteric programming - DevConf.CZ 2026

Speaker(s): Mark Lagodych I would like to talk about my personal project that is a compiler from WebAssembly to lambda calculus ...

13:57
I compiled WebAssembly to lambda calculus! A journey into esoteric programming - DevConf.CZ 2026

7 views

2 weeks ago

Confreaks
LambdaConf 2015 - Make Your Own Programming Language!   Nick Heiner

We're all used to typing code into an editor and seeing the computer do something when we run it. This is so familiar that it's easy ...

26:08
LambdaConf 2015 - Make Your Own Programming Language! Nick Heiner

7,285 views

10 years ago

Kristopher Micinski
L17: Lambda Calculus Reductions and Substitution

code: https://gist.github.com/kmicinski/56b331a10415251b871c3c6a1648a08c dana scott's history of lambda calculus ...

33:55
L17: Lambda Calculus Reductions and Substitution

18,389 views

5 years ago

LispNYC
John Tromp: The Binary Lambda Calculus, The Smallest Program Language

We'll discuss the Binary Lambda Calculus (BLC), an extremely simple programming language that is basically lambda calculus ...

3:03:36
John Tromp: The Binary Lambda Calculus, The Smallest Program Language

4,234 views

Streamed 3 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 2

Second lecture on lambda calculus.

19:53
Programming Languages: Lambda Calculus - 2

27,170 views

12 years ago

Utah Cpp Programmers
Illuminating Lambda Expressions in C++

Richard Thomson gives us an insight into lambda expressions in C++ by showing the equivalent manually written function objects ...

1:18:13
Illuminating Lambda Expressions in C++

889 views

5 years ago

Profesor Retroman
C++ Lambdas and Variadic Callbacks: Flexible Systems in GameEngine ECS

Course: https://bit.ly/CPPGameDev-2021-Curso ==== Session 11 - February 23, 2022 ==== We reviewed our basic Entity-Component ...

1:36:17
C++ Lambdas and Variadic Callbacks: Flexible Systems in GameEngine ECS

3,791 views

3 years ago

OpenWebinars
QUÉ SON LAS FUNCIONES LAMBDA EN C++

Te explicamos qué son las funciones lambda en C++ y te mostramos de forma práctica cómo utilizarlas.▻▻ Suscríbete para ...

8:36
QUÉ SON LAS FUNCIONES LAMBDA EN C++

4,608 views

7 years ago

CppNow
C++Now 2017: Vittorio Romeo “Implementing `variant` visitation using lambdas"

http://cppnow.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: ...

1:29:34
C++Now 2017: Vittorio Romeo “Implementing `variant` visitation using lambdas"

3,771 views

9 years ago

Einsteinzee
Learning by doing :: C++ -- Lambda Expressions in C++

This video is part of the new series called "Learning by doing :: C++" which is dedicated to random topics in C++. Here we talked ...

12:33
Learning by doing :: C++ -- Lambda Expressions in C++

103 views

2 years ago

Kraków Scala User Group
Paweł Dolega: "Intro to serverless (Lambda) with Scala"

KSUG meetup 26/10/2017.

1:11:05
Paweł Dolega: "Intro to serverless (Lambda) with Scala"

213 views

8 years ago

Adam Doupé
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"

Update lambda calculus lectures from 2016: https://youtu.be/KoIdCHDbpMI Recorded lecture for CSE 340 on 11/23/15 starting the ...

1:12:05
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"

37,318 views

10 years ago

The Debug Zone
Resolving GCC 6.x Warning: Lambda Visibility Issues Explained

In this video, we delve into the common warning encountered in GCC 6.x related to lambda visibility issues. As C@TheDaniRep ...

3:39
Resolving GCC 6.x Warning: Lambda Visibility Issues Explained

14 views

1 year ago

Peter Schneider
What is a lambda expression in C++11?

What is a lambda expression in C++11? I hope you found a solution that worked for you :) The Content (except music & images) is ...

8:19
What is a lambda expression in C++11?

46 views

3 years ago

Profesor Retroman
C++ : Punteros a función, a metodo, lambdas y static

[C++ 9.5]: Serie completa http://bit.ly/CppGameDev19 Serie anterior C++: http://bit.ly/CppDev2016-19 Librería TinyPTC UA: ...

24:58
C++ : Punteros a función, a metodo, lambdas y static

2,272 views

6 years ago

Kristopher Micinski
L16: Lambda Calculus Introduction
15:35
L16: Lambda Calculus Introduction

10,209 views

5 years ago

The Debug Zone
Understanding C# Lambda Expressions: How Variable Capturing Works

In this video, we delve into the fascinating world of C# lambda expressions, a powerful feature that allows for concise and ...

2:05
Understanding C# Lambda Expressions: How Variable Capturing Works

3 views

1 year ago

Tiago Cogumbreiro
CS450   21   2  lambda f syntax

So lambda F is the language that I'm only going to use in this lecture it's not really going to be needed for the homework. Although ...

13:51
CS450 21 2 lambda f syntax

83 views

6 years ago

Profesor Retroman
C++ : Function objects, operator() y lambdas

[C++ 4.1]: Serie completa http://bit.ly/CppGameDev19 Serie anterior C++: http://bit.ly/CppDev2016-19 Librería TinyPTC UA: ...

39:53
C++ : Function objects, operator() y lambdas

1,898 views

6 years ago

The Debug Zone
Understanding Lambda Expressions: Why Can't Member Variables Be Unqualified?

In this video, we delve into the intricacies of lambda expressions in programming, focusing on a common point of confusion: the ...

4:22
Understanding Lambda Expressions: Why Can't Member Variables Be Unqualified?

1 view

1 year ago