ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

142 results

Confreaks
RubyConf 2016 - Seeing Metaprogramming and Lambda Function Patterns in Ruby by Lukas Nimmo

RubyConf 2016 - Seeing Metaprogramming and Lambda Function Patterns in Ruby by Lukas Nimmo Metaprogramming and ...

30:37
RubyConf 2016 - Seeing Metaprogramming and Lambda Function Patterns in Ruby by Lukas Nimmo

3,299 views

9 years ago

Efficiency 365 by Dr Nitin
Learn Excel new functions 2021 - Lambda, Unique, Let, Dynamic Arrays, ArrayToText and more

Learn the new and powerful functions recently introduced in Excel. Lambda is the latest, but there are more - Let, Sort, Filter, ...

1:14:25
Learn Excel new functions 2021 - Lambda, Unique, Let, Dynamic Arrays, ArrayToText and more

2,927 views

4 years ago

Houston FPUG
Jeffery Olson, "System R—A Practical Lambda Calculus Made for Extensibility in Rust"

Abstract: This will be a presentation on lambda calculi, their differing varieties and corresponding expressiveness, and a particular ...

1:19:47
Jeffery Olson, "System R—A Practical Lambda Calculus Made for Extensibility in Rust"

197 views

1 year ago

Confreaks
RubyConf 2016 - That Works?! Quines and Other Delightfully Useless Programs by Colin Fulton

RubyConf 2016 - That Works?! Quines and Other Delightfully Useless Programs by Colin Fulton Performance, readability and ...

49:11
RubyConf 2016 - That Works?! Quines and Other Delightfully Useless Programs by Colin Fulton

891 views

9 years ago

M-x Research
Functional programming: an (Emacs) Lisp view 4/n

Fourth talk of 2022 at the M-x Research group by Jens Jensen This talk aims to introduce some more advanced(ish) topics of ...

57:19
Functional programming: an (Emacs) Lisp view 4/n

869 views

3 years ago

EmacsConf and Emacs hangouts
EmacsConf 2025: Some problems of modernizing Emacs - Eduardo Ochs (he/him)

Watch this on Eduardo's channel instead: https://www.youtube.com/watch?v=Y75Q2IN8Y_M ...

25:23
EmacsConf 2025: Some problems of modernizing Emacs - Eduardo Ochs (he/him)

728 views

3 weeks ago

José A. Alonso
Pruebas en Lean de longitud (repite n x) = n

En el vídeo se comentan 8 pruebas en Lean de la propiedad longitud (repite n x) = n usando los estilos aplicativos, declarativos, ...

28:49
Pruebas en Lean de longitud (repite n x) = n

21 views

5 years ago

Proteo4EDS Proteo4EDS
Functional Programming - super short intro

Charla/presentación sobre los principios e ideas de la Programación Funcional (FP). link slides: https://bit.ly/fp-short-intro .

1:37:54
Functional Programming - super short intro

23 views

4 years ago

M-x Research
Functional programming: an (Emacs) Lisp view 5/n

Fifth talk of 2022 at the M-x Research group by Jens Jensen This talk is a continuation after Talk 4, this time we talk about ...

54:39
Functional programming: an (Emacs) Lisp view 5/n

447 views

3 years ago

Houston FPUG
Richard Feldman, "The Functional Purity Inference Plan"

It's common for imperative programming languages to announce that they're adding some new features to support a functional ...

1:25:39
Richard Feldman, "The Functional Purity Inference Plan"

7,380 views

1 year ago

Jon Gjengset
Crust of Rust: Subtyping and Variance

In this episode of Crust of Rust, we go over subtyping and variance — a niche part of Rust that most people don't have to think ...

1:39:41
Crust of Rust: Subtyping and Variance

71,879 views

4 years ago

Codegram
Gone in 60 milliseconds: Offensive security in the serverless age (Rich Jones)

Talk given at Full Stack Fest 2017: https://fullstackfest.com More and more businesses are moving away from monolithic servers ...

35:59
Gone in 60 milliseconds: Offensive security in the serverless age (Rich Jones)

3,066 views

8 years ago

Codegram
Flying Spaguetti Monster: Verifying protocols with types and finite state machines (Chris Ford)

Talk given at Full Stack Fest 2017: https://fullstackfest.com As we move away from monolithic architectures towards systems ...

35:14
Flying Spaguetti Monster: Verifying protocols with types and finite state machines (Chris Ford)

409 views

8 years ago

Davishahl Numerical Methods
B3-1 User Defined Functions
25:27
B3-1 User Defined Functions

534 views

8 years ago

nptelhrd
Mod-05 Lec-38 Advanced Functions

Linux Programming & Scripting by Anand Iyer,Director, Calypto Design Systems.For more details on NPTEL visit http://nptel.ac.in.

46:30
Mod-05 Lec-38 Advanced Functions

2,484 views

10 years ago

CS 125 @ Illinois
CS 125 Fall 2018: Mon 12.10.2018. Functional Java

A brief introduction to functional programming and functional programming in Java.

50:33
CS 125 Fall 2018: Mon 12.10.2018. Functional Java

295 views

7 years ago

Confreaks
RailsConf 2016 - Going Serverless By Jeremy Green

Serverless is a new framework that allows developers to easily harness AWS Lambda and Api Gateway to build and deploy full ...

28:06
RailsConf 2016 - Going Serverless By Jeremy Green

1,874 views

9 years ago

Confreaks
RubyConf 2015 - A Muggle's Guide to Tail Call Optimization in Ruby by Danny Guinther

A Muggle's Guide to Tail Call Optimization in Ruby by Danny Guinther Submitted for your approval: a circle of torment ...

42:03
RubyConf 2015 - A Muggle's Guide to Tail Call Optimization in Ruby by Danny Guinther

628 views

10 years ago

Houston FPUG
Jeffrey Olson, "Functional Programming in Rust"

Rust is a systems-level programming language that has generated a lot of buzz in the developer community since it's public ...

1:27:21
Jeffrey Olson, "Functional Programming in Rust"

17,922 views

4 years ago

NUS Hackers
FH #279: Notional Machines for Modern Scripting Languages

Introductory CS courses often use scripting languages such as Python. A notional machine is a predictive set of abstractions ...

44:07
FH #279: Notional Machines for Modern Scripting Languages

77 views

3 months ago