ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

5,328 results

skynou
Referential Transparency | The Functional Programming Anthem

Referential Transparency A musical tribute to one of the most elegant ideas in Functional Programming. When the same input ...

4:23
Referential Transparency | The Functional Programming Anthem

5 views

4d ago

ACM SIGPLAN
[FUNARCH'26] Functional Mechanical Sympathy (Keynote)

... dive into the intersection of functional programming and mechanical sympathy: how we can achieve faster-performing functional ...

1:14:46
[FUNARCH'26] Functional Mechanical Sympathy (Keynote)

2,635 views

6d ago

Impure Pics
How to replace all your languages with Roc? (w/ Niclas Åhdén)

Distilling functional programming for the good of all Get in touch: https://zelenya.com 00:00 hooks & intro 02:18 doom demo 04:53 ...

54:32
How to replace all your languages with Roc? (w/ Niclas Åhdén)

612 views

7h ago

ACM SIGPLAN
[FUNARCH'26] Functional Architecture is Algebraic Architecture

Functional Architecture is Algebraic Architecture (Video, FUNARCH 2026) Jeffrey Young (Canonical) Abstract: A continuation of ...

16:49
[FUNARCH'26] Functional Architecture is Algebraic Architecture

70 views

6d ago

Paul Cockshott
VECTOR :  Programming As Geometry

An introduction to the book on this that I have just had published, along with a taster of what is in one of the chapters. I am trying to ...

22:39
VECTOR : Programming As Geometry

18,309 views

3d ago

skynou
Pure Functions | The Anthem of Functional Programming (Monads, Composition & Code)

Pure Functions is a tribute to the beauty of Functional Programming. From pure functions and composition to monads, Maybe, ...

3:07
Pure Functions | The Anthem of Functional Programming (Monads, Composition & Code)

2 views

4d ago

skynou
Compose | A Functional Programming Anthem

Compose A song inspired by the elegance of Functional Programming. From pure functions and type-safe transformations to ...

4:39
Compose | A Functional Programming Anthem

6 views

4d ago

FOSS United
IndiaFOSS 2026 | Programming Languages and Systems devroom

... Flexibility in Strongly Typed Functional Programming by Anupam Jain (https://fossunited.org/c/indiafoss/2026/cfp/d8b9uvdntg) ...

2:58:25
IndiaFOSS 2026 | Programming Languages and Systems devroom

1,685 views

Streamed 2d ago

Charles Ed -- Math Computer Science Programming
Programming Language Concept: Introduction to Functional Programming Language and Key Characteristic

Pure functions No side effects Immutability First-class functions Referential transparency.

20:37
Programming Language Concept: Introduction to Functional Programming Language and Key Characteristic

58 views

2d ago

Harvard CMSA
Nada Amin | Compiling Programs to Neurons

Geometry of Machine Learning 2026 9/11/2026 Speaker: Nada Amin, Harvard Title: Compiling Programs to Neurons Abstract: ...

39:37
Nada Amin | Compiling Programs to Neurons

627 views

7d ago

Lenin_Academy
3 - Java 8   Lambda Expression and Functional Interface

... lambda expressions concept and then followed by which also enables uh to achieve the functional programming as well when it ...

55:27
3 - Java 8 Lambda Expression and Functional Interface

50 views

4d ago

skynou
Pure Function | Same Input, Same Answer

Inspired by Functional Programming, this song celebrates the elegance of pure functions, composition, immutability, and ...

5:12
Pure Function | Same Input, Same Answer

7 views

4d ago

skynou
Monad in the Rain ☔ | A Beautiful Functional Programming Journey (Man version)

Monad in the Rain ☔ A song inspired by the elegance of functional programming. "Monad in the Rain" turns abstract ...

5:34
Monad in the Rain ☔ | A Beautiful Functional Programming Journey (Man version)

1 view

3d ago

skynou
Map It, Map It ☀️ | The Catchy Functional Programming Song About map()

Map It, Map It What if the map() function had its own song? "Map It, Map It" is a playful tribute to one of the most useful ideas in ...

4:04
Map It, Map It ☀️ | The Catchy Functional Programming Song About map()

2 views

3d ago

ACM SIGPLAN
[ICFP'26] Deterministic Concurrency

Deterministic Concurrency (Video, ICFP 2026) Edward Lee (University of California at Berkeley) Abstract: It is not uncommon, ...

1:05:37
[ICFP'26] Deterministic Concurrency

2,460 views

6d ago

ACM SIGPLAN
[LOPSTR+PPDP'26] Functional / Logic Programming in Verse

Functional / Logic Programming in Verse (Video, LOPSTR+PPDP 2026) Stephanie Weirich (University of Pennsylvania) Abstract: ...

1:05:28
[LOPSTR+PPDP'26] Functional / Logic Programming in Verse

154 views

6d ago

ACM SIGPLAN
[ML'26] Functional Programming with Serialized Data

Functional Programming with Serialized Data (Video, ML 2026) Michael Vollmer (University of Kent) Abstract: In many high-level ...

32:23
[ML'26] Functional Programming with Serialized Data

147 views

6d ago

skynou
Functions, Friends | A Song About Functional Programming, Monads & Composition

Functions, Friends A song inspired by the beauty of Functional Programming. From pure functions and composition to currying, ...

4:38
Functions, Friends | A Song About Functional Programming, Monads & Composition

6 views

4d ago

Tea Leaves
6502 Opcodes in Lean

I continue porting my NES emulator for Haskell to Lean. In this edited version of the 4-hour livestream, I muse a bit about syntax ...

21:58
6502 Opcodes in Lean

815 views

3d ago

skynou
Lambda Lullaby | A Functional Programming Dream

Lambda Lullaby A gentle journey into the world of Functional Programming. Built around pure functions, composition, mapping, ...

3:49
Lambda Lullaby | A Functional Programming Dream

2 views

4d ago

Show more