ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

64 results

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"

205 views

1 year ago

CS50
Section 8: More Comfortable

Well, say goodbye to all of those char, float, int, and other keywords you need to use when declaring variables and functions in C.

1:22:49
Section 8: More Comfortable

796 views

13 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

870 views

3 years 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

Confreaks
RubyConf 2016 - C Ruby? C Ruby Go! Go Ruby Go! by Loren Segal

RubyConf 2016 - C Ruby? C Ruby Go! Go Ruby Go! by Loren Segal Ever wanted to rewrite performance sensitive code as a ...

42:29
RubyConf 2016 - C Ruby? C Ruby Go! Go Ruby Go! by Loren Segal

1,465 views

9 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)

796 views

1 month 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

72,462 views

4 years ago

Rust Programming Language
RustConf 2018 - My Little Procedural Macro by Chris Wong

RustConf 2018 - My Little Procedural Macro by Chris Wong What if Handlebars was a macro? Three years, 376 commits, and ...

25:59
RustConf 2018 - My Little Procedural Macro by Chris Wong

5,790 views

7 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

79 views

4 months 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,959 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

449 views

3 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

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,490 views

1 year ago

Wikipedia Fan
Closure (computer science) | Wikipedia audio article

This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Closure_(computer_programming) 00:00:47 1 ...

34:26
Closure (computer science) | Wikipedia audio article

13 views

7 years ago

Confreaks
RubyConf 2015 - The Hitchhiker's Guide to Ruby GC by Eric Weinstein

The Hitchhiker's Guide to Ruby GC by Eric Weinstein When Ruby programs slow down, the usual culprits—database queries, ...

35:26
RubyConf 2015 - The Hitchhiker's Guide to Ruby GC by Eric Weinstein

3,031 views

10 years ago

Confreaks
RubyConf 2017: Just when you thought you couldn’t refactor any more… by Claudio B.

RubyConf 2017: Just when you thought you couldn't refactor any more… by Claudio B. In this talk, we will travel together on a ...

30:49
RubyConf 2017: Just when you thought you couldn’t refactor any more… by Claudio B.

1,179 views

8 years 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

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

CppNow
C++Now 2017: Jason Rice “Nbdl: A library that uses metaprogramming... A lot"

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

50:32
C++Now 2017: Jason Rice “Nbdl: A library that uses metaprogramming... A lot"

3,210 views

8 years ago

Confreaks
RubyConf 2016 - Methods of Memory Management in MRI by Aaron Patterson

RubyConf 2016 - Methods of Memory Management in MRI by Aaron Patterson Let's talk about MRI's GC! In this talk we will cover ...

48:49
RubyConf 2016 - Methods of Memory Management in MRI by Aaron Patterson

3,480 views

9 years ago