1:13:29

NYC Haskell User's Group Live Stream

None

NYC Haskell User's Group Live Stream

1:17

NYC Haskell User's Group Live Stream

1:24:28

NYC Haskell User's Group Live Stream

1:22:29

Canon : A Library for Handling Psychedelically Large Numbers in Haskell

1:03:09

Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi

34:27

The Good, the Bad, and the Ugly: Haskell in Enterprise

1:57

HAMTs From Scratch with Vaibhav Sagar

46:07

HAMTs From Scratch with Vaibhav Sagar

1:15:15

Implementing In-memory Caches in Haskell

1:02:27

The State of Haskell in Ethereum

1:15:54

Parsing parsed parsables, from music to megaparsec

43:56

SumAll on Java to Haskell

48:28

Richard Eisenberg on Dependent Types

1:01:57

Squeal, a Deep Embedding of SQL in Haskell

1:14:36

Introduction to Eta by Rahul Muttineni

34:18

F-algebras or: How I Learned to Stop Worrying and Love the Type System

54:49

Backpack to Work: Towards Backpack in Practice

37:55

Git Internals With Haskell

1:21:59

The Design and Implementation of a Concurrent Bloom Filter

43:56

Elementary Category Theory and Some Insightful Examples

41:32

BuckleScript: compiling one OCaml module into one readable JavaScript module

58:10

Typed Routing with Continuations

17:11

Web Dev with Fn

55:24

Partial Derivatives of Regular Expressions

51:06

Translating Haskell to Hardware

1:49:14

Interactive Theorem Proving with Lean

46:57

Structure Editing Combinators

7:47

The Not-A-Wat in Haskell

49:59

Parallel Computation of Cryptographic Hash Functions

56:11

Wrangling Monad Transformer Stacks

36:12

Set Theory and Haskell (part 2)

47:25

Set Theory and Haskell (part 1)

42:54

Diagrams: Composition, Envelopes and Alignment Part 2

47:24

Diagrams: Composition, Envelopes and Alignment Part 1

57:05

Introduction to Type Inference

39:55

How to Define Data Types

33:47

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 2)

43:53

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)

36:27

Compose Conference - elm-d3: Front-end Development Without Frameworks

45:33

Compose Conference - Proving Things About Biology

26:07

Compose Conference - Functional Programming at Bloomberg

18:47

Compose Conference - Managing Bioinformatics Pipelines with OCaml

44:31

Vivid: Sound Synthesis in Haskell

46:24

Generating a Javascript SDK

48:04

Compose Conference - The F# Path to Relaxation

40:34

Compose Conference - Modularity and Abstraction in Functional Programming

36:46

Compose Conference - Type Providers and Error Reflection in Idris

42:09

Compose Conference - Robots on Haskell

1:41:46

Compose Conference - Pi-Forall: How to use and implement a dependently-typed language

1:39:33

Dependent Types in Haskell: Present and Future

59:55

Implementing Doubly Linked Lists in Haskell

42:27

Types and Testing in Haskell