#unfolder search results

There's going to be a new episode of the #Haskell #Unfolder today, 2025-11-12, at 1930 UTC. We're going to discuss how to implement (more) type-safe APIs via some type-level programming using the sop-core package. youtube.com/watch?v=3XeIoA…

welltyped's tweet card. Typed servers using sop-core (Haskell Unfolder #51)

youtube.com

YouTube

Typed servers using sop-core (Haskell Unfolder #51)


Join us tonight for the 50th (!) episode of the #Haskell #Unfolder, on singletons! Live on YouTube 1930 UTC (note the changed time in some countries due to DST-related fluctuations). youtube.com/watch?v=-zxxl-…

welltyped's tweet card. Singletons (Haskell Unfolder #50)

youtube.com

YouTube

Singletons (Haskell Unfolder #50)


On Wednesday, 2025-06-25, at 1830 UTC, there will be a new episode of the #Haskell #Unfolder. This time, Edsko and I will discuss the current situation of records in Haskell. youtube.com/watch?v=9hrDm7…

welltyped's tweet card. Haskell records in 2025 (Haskell Unfolder #45)

youtube.com

YouTube

Haskell records in 2025 (Haskell Unfolder #45)


Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…

welltyped's tweet card. State-based testing with quickcheck-lockstep (Haskell Unfolder #44)

youtube.com

YouTube

State-based testing with quickcheck-lockstep (Haskell Unfolder #44)


Tonight, 2025-03-26, at 1930 UTC (still an unusual time for US/Canada) there'll be a new episode of the #Haskell #Unfolder, and after all this time, we'll finally talk about generics! youtube.com/watch?v=db-KjK…

kosmikus's tweet card. The Haskell Unfolder Episode 41: generic monoids

youtube.com

YouTube

The Haskell Unfolder Episode 41: generic monoids


The #Unfolder episode is starting in a few minutes ...

On Wednesday, 2024-10-16, at 1830 UTC, we'll stream a new episode of the #Haskell #Unfolder titled "you already understand monads" in which Edsko and @kosmikus discuss the composition of monadic functions. youtube.com/watch?v=n5ZtsH…

welltyped's tweet card. The Haskell Unfolder Episode 34: you already understand monads

youtube.com

YouTube

The Haskell Unfolder Episode 34: you already understand monads



Tomorrow, 2025-03-12, at 1930 UTC (note: one hour later than usual in Canada / US due to asynchronous DST shifts), there'll be a new episode of the #Haskell #Unfolder, titled "understanding through a model". We'll talk about QuickCheck and convolutions... youtube.com/watch?v=0QTt2W…

welltyped's tweet card. The Haskell Unfolder Episode 40: understanding through a model

youtube.com

YouTube

The Haskell Unfolder Episode 40: understanding through a model


Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism". youtube.com/watch?v=trDqqZ…

welltyped's tweet card. Pure parallelism (Haskell Unfolder #47)

youtube.com

YouTube

Pure parallelism (Haskell Unfolder #47)


After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and @kosmikus are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: youtube.com/watch?v=NC0wkF…

welltyped's tweet card. Safe coercions (Haskell Unfolder #48)

youtube.com

YouTube

Safe coercions (Haskell Unfolder #48)


The #Haskell #Unfolder is starting in about 20 minutes!

Tomorrow, 2024-11-06, at 1930 UTC, there's a new episode of the #Haskell #Unfolder: this time, Edsko and @kosmikus are going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable. youtube.com/watch?v=g_vKOg…

welltyped's tweet card. The Haskell Unfolder Episode 35: distributive and representable...

youtube.com

YouTube

The Haskell Unfolder Episode 35: distributive and representable...



Today, there will be a new #Haskell #Unfolder episode, where Edsko and @kosmikus will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2…

welltyped's tweet card. The Haskell Unfolder Episode 43: monomorphism restriction and...

youtube.com

YouTube

The Haskell Unfolder Episode 43: monomorphism restriction and...


Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…

welltyped's tweet card. Developing an application from scratch (Haskell Unfolder #46)

youtube.com

YouTube

Developing an application from scratch (Haskell Unfolder #46)


Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder. Edsko will explain to @kosmikus what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ... youtube.com/watch?v=IMrBTx…

welltyped's tweet card. The Haskell Unfolder Episode 36: concurrency and the FFI

youtube.com

YouTube

The Haskell Unfolder Episode 36: concurrency and the FFI


The #Haskell #Unfolder is back! In tomorrow's episode, we'll take a look at #CUDA and write some simple functions in it. We'll also show how to interface from Haskell to CUDA and how to use QuickCheck to test CUDA functions from Haskell. youtube.com/watch?v=ww4C3j…

welltyped's tweet card. The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold,...

youtube.com

YouTube

The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold,...


Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2…

welltyped's tweet card. The Haskell Unfolder Episode 39: deriving strategies

youtube.com

YouTube

The Haskell Unfolder Episode 39: deriving strategies


Tomorrow, 2024-11-06, at 1930 UTC, there's a new episode of the #Haskell #Unfolder: this time, Edsko and @kosmikus are going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable. youtube.com/watch?v=g_vKOg…

welltyped's tweet card. The Haskell Unfolder Episode 35: distributive and representable...

youtube.com

YouTube

The Haskell Unfolder Episode 35: distributive and representable...


Join us today, 2025-10-15, at 1830 UTC, for a new episode of the #Haskell #Unfolder, on the importance of shrinking for property-based testing: youtube.com/watch?v=EcV4rb…

welltyped's tweet card. Shrinking (Haskell Unfolder #49)

youtube.com

YouTube

Shrinking (Haskell Unfolder #49)


There's going to be a new episode of the #Haskell #Unfolder today, 2025-11-12, at 1930 UTC. We're going to discuss how to implement (more) type-safe APIs via some type-level programming using the sop-core package. youtube.com/watch?v=3XeIoA…

welltyped's tweet card. Typed servers using sop-core (Haskell Unfolder #51)

youtube.com

YouTube

Typed servers using sop-core (Haskell Unfolder #51)


Join us tonight for the 50th (!) episode of the #Haskell #Unfolder, on singletons! Live on YouTube 1930 UTC (note the changed time in some countries due to DST-related fluctuations). youtube.com/watch?v=-zxxl-…

welltyped's tweet card. Singletons (Haskell Unfolder #50)

youtube.com

YouTube

Singletons (Haskell Unfolder #50)


Join us today, 2025-10-15, at 1830 UTC, for a new episode of the #Haskell #Unfolder, on the importance of shrinking for property-based testing: youtube.com/watch?v=EcV4rb…

welltyped's tweet card. Shrinking (Haskell Unfolder #49)

youtube.com

YouTube

Shrinking (Haskell Unfolder #49)


After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and @kosmikus are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: youtube.com/watch?v=NC0wkF…

welltyped's tweet card. Safe coercions (Haskell Unfolder #48)

youtube.com

YouTube

Safe coercions (Haskell Unfolder #48)


Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism". youtube.com/watch?v=trDqqZ…

welltyped's tweet card. Pure parallelism (Haskell Unfolder #47)

youtube.com

YouTube

Pure parallelism (Haskell Unfolder #47)


Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…

welltyped's tweet card. Developing an application from scratch (Haskell Unfolder #46)

youtube.com

YouTube

Developing an application from scratch (Haskell Unfolder #46)


On Wednesday, 2025-06-25, at 1830 UTC, there will be a new episode of the #Haskell #Unfolder. This time, Edsko and I will discuss the current situation of records in Haskell. youtube.com/watch?v=9hrDm7…

welltyped's tweet card. Haskell records in 2025 (Haskell Unfolder #45)

youtube.com

YouTube

Haskell records in 2025 (Haskell Unfolder #45)


Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…

welltyped's tweet card. State-based testing with quickcheck-lockstep (Haskell Unfolder #44)

youtube.com

YouTube

State-based testing with quickcheck-lockstep (Haskell Unfolder #44)


Today, there will be a new #Haskell #Unfolder episode, where Edsko and @kosmikus will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2…

welltyped's tweet card. The Haskell Unfolder Episode 43: monomorphism restriction and...

youtube.com

YouTube

The Haskell Unfolder Episode 43: monomorphism restriction and...


The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell. youtube.com/watch?v=ukk5JD…

welltyped's tweet card. The Haskell Unfolder Episode 42: logic programming with typedKanren

youtube.com

YouTube

The Haskell Unfolder Episode 42: logic programming with typedKanren


Tonight, 2025-03-26, at 1930 UTC (still an unusual time for US/Canada) there'll be a new episode of the #Haskell #Unfolder, and after all this time, we'll finally talk about generics! youtube.com/watch?v=db-KjK…

kosmikus's tweet card. The Haskell Unfolder Episode 41: generic monoids

youtube.com

YouTube

The Haskell Unfolder Episode 41: generic monoids


Tomorrow, 2025-03-12, at 1930 UTC (note: one hour later than usual in Canada / US due to asynchronous DST shifts), there'll be a new episode of the #Haskell #Unfolder, titled "understanding through a model". We'll talk about QuickCheck and convolutions... youtube.com/watch?v=0QTt2W…

welltyped's tweet card. The Haskell Unfolder Episode 40: understanding through a model

youtube.com

YouTube

The Haskell Unfolder Episode 40: understanding through a model


Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2…

welltyped's tweet card. The Haskell Unfolder Episode 39: deriving strategies

youtube.com

YouTube

The Haskell Unfolder Episode 39: deriving strategies


The #Haskell #Unfolder is back! In tomorrow's episode, we'll take a look at #CUDA and write some simple functions in it. We'll also show how to interface from Haskell to CUDA and how to use QuickCheck to test CUDA functions from Haskell. youtube.com/watch?v=ww4C3j…

welltyped's tweet card. The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold,...

youtube.com

YouTube

The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold,...


Tomorrow, 2024-12-04, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder live on YouTube. This time, we will try to solve Day 4 of #AdventOfCode 2024. youtube.com/watch?v=KkKxHA…

welltyped's tweet card. The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4

youtube.com

YouTube

The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4


Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder. Edsko will explain to @kosmikus what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ... youtube.com/watch?v=IMrBTx…

welltyped's tweet card. The Haskell Unfolder Episode 36: concurrency and the FFI

youtube.com

YouTube

The Haskell Unfolder Episode 36: concurrency and the FFI


The #Haskell #Unfolder is starting in about 20 minutes!

Tomorrow, 2024-11-06, at 1930 UTC, there's a new episode of the #Haskell #Unfolder: this time, Edsko and @kosmikus are going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable. youtube.com/watch?v=g_vKOg…

welltyped's tweet card. The Haskell Unfolder Episode 35: distributive and representable...

youtube.com

YouTube

The Haskell Unfolder Episode 35: distributive and representable...



Tomorrow, 2024-11-06, at 1930 UTC, there's a new episode of the #Haskell #Unfolder: this time, Edsko and @kosmikus are going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable. youtube.com/watch?v=g_vKOg…

welltyped's tweet card. The Haskell Unfolder Episode 35: distributive and representable...

youtube.com

YouTube

The Haskell Unfolder Episode 35: distributive and representable...


The #Unfolder episode is starting in a few minutes ...

On Wednesday, 2024-10-16, at 1830 UTC, we'll stream a new episode of the #Haskell #Unfolder titled "you already understand monads" in which Edsko and @kosmikus discuss the composition of monadic functions. youtube.com/watch?v=n5ZtsH…

welltyped's tweet card. The Haskell Unfolder Episode 34: you already understand monads

youtube.com

YouTube

The Haskell Unfolder Episode 34: you already understand monads



Tearaway Unfolder est vraiment magnifique sur #ps4 Je suis vraiment bluffé par le rendu #tearaway #unfolder

thekamikamui's tweet image. Tearaway Unfolder est vraiment magnifique sur #ps4
Je suis vraiment bluffé par le rendu #tearaway #unfolder

The Joe Blanton and #Unfolder

pubnames's tweet image. The Joe Blanton and #Unfolder

Unfolder C4D plugin : create unfolding effect of all your objects. #C4D #Unfolder #Dépliage code.vonc.fr/?a=59

CodeVonc's tweet image. Unfolder C4D plugin : create unfolding effect of all your objects. #C4D #Unfolder #Dépliage
code.vonc.fr/?a=59

Meet #unfolder Tawnya Busch.Founder Lexington Models Promoting ethnic diversity @lexingtonmodels #FashionUnfoldNYC

fashionunfold's tweet image. Meet #unfolder Tawnya Busch.Founder  Lexington Models Promoting ethnic diversity @lexingtonmodels #FashionUnfoldNYC

Loading...

Something went wrong.


Something went wrong.


United States Trends