Media Summary: Building a little library for authenticated computations in Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ... To better understand some counterintuitive evaluation puzzles, we explore the notion of “demand” as it exists in

Haskell Live Coding Session 3 - Detailed Analysis & Overview

Building a little library for authenticated computations in Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ... To better understand some counterintuitive evaluation puzzles, we explore the notion of “demand” as it exists in In this stream we went off and found a nicer format for succinct serialization without quite so many parentheses. Then we spent a ... Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic

Photo Gallery

Haskell Live-Coding, Session 3, Authenticated Computation
Haskell Livecoding - Working on PureScript's IDE (3)
Glance Livestream #3 - Haskell Coding
Haskell Live-Coding, Session 17, Relational Programming, Part 3
How to read Haskell code (in 7 minutes)
Laziness in Haskell — Part 3: Demand
Haskell Live-Coding, Session 11, Succinct Serialization, Part 3
[Advent of Code] 2019, day 3 (Haskell)
Haskell Live-Coding, Session 12, Succinct Serialization, Part 4
Haskell in 100 Seconds
Day 10 revisited: learning to use Z3 (Advent of Code 2025, Haskell)
Thinking in Types and Functional Programming with Haskell (in Arabic) -- Session 3
View Detailed Profile
Haskell Live-Coding, Session 3, Authenticated Computation

Haskell Live-Coding, Session 3, Authenticated Computation

Building a little library for authenticated computations in

Haskell Livecoding - Working on PureScript's IDE (3)

Haskell Livecoding - Working on PureScript's IDE (3)

I do some more

Glance Livestream #3 - Haskell Coding

Glance Livestream #3 - Haskell Coding

https://github.com/rgleichman/glance Files edited: ...

Haskell Live-Coding, Session 17, Relational Programming, Part 3

Haskell Live-Coding, Session 17, Relational Programming, Part 3

More relational

How to read Haskell code (in 7 minutes)

How to read Haskell code (in 7 minutes)

Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ...

Laziness in Haskell — Part 3: Demand

Laziness in Haskell — Part 3: Demand

To better understand some counterintuitive evaluation puzzles, we explore the notion of “demand” as it exists in

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 succinct serialization without quite so many parentheses. Then we spent a ...

[Advent of Code] 2019, day 3 (Haskell)

[Advent of Code] 2019, day 3 (Haskell)

https://github.com/amalloy/aoc-2019.

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

Haskell in 100 Seconds

Haskell in 100 Seconds

Haskell

Day 10 revisited: learning to use Z3 (Advent of Code 2025, Haskell)

Day 10 revisited: learning to use Z3 (Advent of Code 2025, Haskell)

Live coding Haskell

Thinking in Types and Functional Programming with Haskell (in Arabic) -- Session 3

Thinking in Types and Functional Programming with Haskell (in Arabic) -- Session 3

Functional

haskell.

haskell.

I tried to learn