#unfolder — Public Fediverse posts

After a somewhat longer break, we're finally back with a new #Haskell #Unfolder episode. Tomorrow, 2026-04-22, at 18:30 UTC, Edsko and I will talk about selective applicative functors. https://www.youtube.com/watch?v=Yt2E1vrgP_E&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=54

Unfolder for Mac – A 3D model unfolding tool for creating papercraft

https://www.unfolder.app/

#HackerNews #Unfolder #3D #papercraft #Mac #tool #creative #design #technology

Join us tonight, 2026-01-21 at 1930 UTC, for the first new #Haskell #Unfolder episode of 2026, on static pointers.

https://www.youtube.com/watch?v=Mc3liw0EoIY&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=53

Join us for a new episode of the #Haskell #Unfolder, today, 2025-12-10 at 1930 UTC. This time we're discussing bidirectional parsing and printing, using as an example the autodocodec package.

https://www.youtube.com/watch?v=z9V59Y0VDcg&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=52

@kosmikus Again, the last #Unfolder was eye opening to me. sop-core is such an obviously useful thing.

However for production usage I am a bit weary about the runtime performance of the linked list. I guess it probably doesn’t matter much (e.g. our database has 15 types of documents which I would like to put in a sum.) but have you thought about having a different (unsafe) runtime representation with a safe API?

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.

https://www.youtube.com/watch?v=3XeIoA0aVLQ&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=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).

https://www.youtube.com/watch?v=-zxxl-WuwuE&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=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: https://www.youtube.com/watch?v=EcV4rb-Czfg&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=49

Thanks @kosmikus for the last #Haskell #Unfolder episode. Yet, another example of me starting "Ah, well I know that topic." and leaving with "Oh, damn that explains the error message from last month."

After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and I are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: https://www.youtube.com/watch?v=NC0wkFsVPDU&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=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".

https://www.youtube.com/watch?v=trDqqZldxQA&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=47

Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and I will show how to develop a small but useful Haskell CLI application completely from scratch.

https://www.youtube.com/watch?v=5W0ZUY_l1dU&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=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.

https://www.youtube.com/watch?v=9hrDm7xDpig&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=45

I love the episode image,

https://well-typed.com/blog/2025/05/haskell-unfolder-episode-44-state-based-testing-with-quickcheck-lockstep/

however it is slightly overselling @kosmikus reaction. 😆

As always a very informative episode, thank you so much guys for the great channel.

Its a bit sad that you had the one episode telling us how awesome falsify is but since then every episode with property testing has been using quickcheck. 😆

#haskell #unfolder

If you want to hear from Edsko and me how to test stateful APIs using quickcheck(-lockstep), join us today, 2025-05-14, at 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder: https://www.youtube.com/watch?v=RPQVsaZ46Dk&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=44

Today, there will be a new #Haskell #Unfolder episode, where Edsko and I will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via https://www.youtube.com/watch?v=nD93M2qlwMk&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=43

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.

https://www.youtube.com/watch?v=ukk5JDRYQSc&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=42

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! https://www.youtube.com/watch?v=db-KjKOBMeA&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=41

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 ...

https://www.youtube.com/watch?v=0QTt2W7CVnA&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=40

Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and I will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! https://www.youtube.com/watch?v=NEUbp2CsuNg&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=39

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.

https://www.youtube.com/watch?v=ww4C3jlsesw&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=38

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.

https://www.youtube.com/watch?v=KkKxHApYSfc&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=37

Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder, on concurrency and the FFI. Edsko will explain to me what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ...

https://www.youtube.com/watch?v=IMrBTx7aYjs&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=36

Getting ready for the #Haskell #Unfolder, starting in about 15 minutes.

Tomorrow, 2024-11-06, at 1930 UTC, Edsko and I will stream a new episode of the #Haskell #Unfolder. This time, we're going to take a look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable.

Join us live on YouTube: https://www.youtube.com/watch?v=g_vKOg0LdlI&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=35

On Wednesday, 2024-10-16, at 1830 UTC, it's time for the #Haskell #Unfolder once again: Edsko and I will have a closer look at monads and discuss so-called "Kleisli composition", i.e., composition of monadic functions, and see how it relates to "normal" function composition, and also to the monad laws. https://www.youtube.com/watch?v=n5ZtsHrYWq0&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=34

We've published a retrospective of the first 18 months of making the #Haskell #Unfolder on the Well-Typed blog: https://well-typed.com/blog/2024/10/18-months-of-unfolder/

In our new #Haskell #Unfolder episode (Wednesday, 2024-10-02, live on YouTube), we will discuss @byorgey 's diagrams package.

https://www.youtube.com/watch?v=iX9ShJG5L0A&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=33

As promised in the previous episode, we will show how to visualise the tic-tac-toe game tree in order to produce pictures similar to https://xkcd.com/832/

After a few weeks break, the #Haskell #Unfolder is back with an all-new (and hopefully beginner-friendly) episode. On Wednesday, 2024-09-18 at 1830 UTC, Edsko and I are going to implement (and solve) tic-tac-toe in Haskell. https://www.youtube.com/watch?v=GnlD13FcME4&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=32

The #Haskell #Unfolder episode on the nothunks package starts in about 20 minutes: https://www.youtube.com/watch?v=NTW62s3mrXQ&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=31