Media Summary: Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with Building a little library for authenticated computations in In this video, I explain how to implement Dynamic

Haskell Live Coding Session 8 Succinct Data Structures And Dynamization - Detailed Analysis & Overview

Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with Building a little library for authenticated computations in In this video, I explain how to implement Dynamic In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic Building a library for commutative applicative functors and general chat about the

In this stream we went off and found a nicer format for

Photo Gallery

Haskell Live-Coding, Session 8, Succinct Data Structures and Dynamization
Haskell Live-Coding, Session 9, Succinct Serialization, Part 1
Haskell Live-Coding, Session 3, Authenticated Computation
Dynamic Programming in Haskell | Lazy Evaluation | Infinite Data Structures
Haskell Live Coding, Session 10, Succinct Serialization, Part 2
Haskell Live-Coding, Session 2.2, Q&A
Haskell Live-Coding, Session 12, Succinct Serialization, Part 4
Vacuum: visualize Haskell data structures live
Haskell Live-Coding, Session 13, Succinct Serialization, Part 5
Day 9: Movie Theater (Advent of Code 2025, Haskell)
Haskell Live-Coding, Session 6, CEK Machines
Haskell Live-Coding, Session 1, Commutativity
Sponsored
View Detailed Profile
Haskell Live-Coding, Session 8, Succinct Data Structures and Dynamization

Haskell Live-Coding, Session 8, Succinct Data Structures and Dynamization

A bit of a crash course on

Haskell Live-Coding, Session 9, Succinct Serialization, Part 1

Haskell Live-Coding, Session 9, Succinct Serialization, Part 1

Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with

Haskell Live-Coding, Session 3, Authenticated Computation

Haskell Live-Coding, Session 3, Authenticated Computation

Building a little library for authenticated computations in

Dynamic Programming in Haskell | Lazy Evaluation | Infinite Data Structures

Dynamic Programming in Haskell | Lazy Evaluation | Infinite Data Structures

In this video, I explain how to implement Dynamic

Haskell Live Coding, Session 10, Succinct Serialization, Part 2

Haskell Live Coding, Session 10, Succinct Serialization, Part 2

In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch

Sponsored
Haskell Live-Coding, Session 2.2, Q&A

Haskell Live-Coding, Session 2.2, Q&A

A

Haskell Live-Coding, Session 12, Succinct Serialization, Part 4

Haskell Live-Coding, Session 12, Succinct Serialization, Part 4

Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic

Vacuum: visualize Haskell data structures live

Vacuum: visualize Haskell data structures live

Visualising

Haskell Live-Coding, Session 13, Succinct Serialization, Part 5

Haskell Live-Coding, Session 13, Succinct Serialization, Part 5

The new generic

Day 9: Movie Theater (Advent of Code 2025, Haskell)

Day 9: Movie Theater (Advent of Code 2025, Haskell)

Live coding Haskell

Haskell Live-Coding, Session 6, CEK Machines

Haskell Live-Coding, Session 6, CEK Machines

Implementing a CEK machine in

Haskell Live-Coding, Session 1, Commutativity

Haskell Live-Coding, Session 1, Commutativity

Building a library for commutative applicative functors and general chat about the

Haskell Live-Coding, Session 11, Succinct Serialization, Part 3

Haskell Live-Coding, Session 11, Succinct Serialization, Part 3

In this stream we went off and found a nicer format for