Andres Löh

YouTube video by Well-Typed Pure parallelism (Haskell Unfolder #47)

Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism".

www.youtube.com/watch?v=trDq...

YouTube video by Well-Typed Developing an application from scratch (Haskell Unfolder #46)

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.

www.youtube.com/watch?v=5W0Z...

Infrastructure Independence | Haskell.org, Inc (Powered by Donorbox) Historically, the Haskell community has relied on a mix of cloud providers and self-hosted servers for our core infrastructure (Hackage, Stackage, GHC, CI, etc.). More recently the Haskell Infrastruct...

Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps!

Donate: donorbox.org/infrastructu...
Read more: discourse.haskell.org/t/infrastruc...

Well, unless we do something about it.

YouTube video by Well-Typed Haskell records in 2025 (Haskell Unfolder #45)

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.

www.youtube.com/watch?v=9hrD...

YouTube video by Well-Typed State-based testing with quickcheck-lockstep (Haskell Unfolder #44)

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: www.youtube.com/watch?v=RPQV...

YouTube video by Well-Typed The Haskell Unfolder Episode 43: monomorphism restriction and defaulting

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 www.youtube.com/watch?v=nD93...

The video of @kosmikus.bsky.social's #BOBkon2025 talk "Abstraction and program design, or the power of parametricity" is now up!
bobkonf.de/2025/loeh.html

YouTube video by Well-Typed The Haskell Unfolder Episode 42: logic programming with typedKanren

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.

www.youtube.com/watch?v=ukk5...

I'm thinking about a second edition of Parallel and Concurrent Programming in Haskell. Any thoughts on what should be added (or removed)? What's missing, what updates are needed to reflect common usage?

The obvious new things are async and Haxl. Should the chapter on distributed-process be kept?

YouTube video by Well-Typed The Haskell Unfolder Episode 41: generic monoids

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!

www.youtube.com/watch?v=db-K...

FUNARCH 2025 - ICFP/SPLASH 2025 The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...

Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa...
conf.researchr.org/home/icfp-sp...

Unser C*O @sperbsen.bsky.social und @kosmikus.bsky.social haben gemeinsam die neuste Folge des Podcasts der Haskell Foundation (Haskell Interlude) moderiert: ein Gespräch mit Farhad Mehta, Professor für Informatik (OST Rapperswil) & @zurihac.bsky.social-Organisator.

haskell.foundation/podcast/63/

YouTube video by Well-Typed The Haskell Unfolder Episode 40: understanding through a model

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

www.youtube.com/watch?v=0QTt...

#BOBkonf2025 is two weeks away, and we only have very few tickets left -- the location will let us bump the numbers until Monday, so get your ticket now if you haven't already!

bobkonf.de/2025/registr...

2025 Call for nominations for the Haskell Foundation Hello! everyone The Haskell Foundation’s directors are pleased to announce the nomination process for seats on the Foundation’s board of directors. The board is the ultimate decision-making body of ...

Please consider nominating yourself to be a member of the Board of the #Haskell Foundation: discourse.haskell.org/t/2025-call-...

YouTube video by Well-Typed The Haskell Unfolder Episode 39: deriving strategies

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! www.youtube.com/watch?v=NEUb...

@kosmikus.bsky.social will be at #BOBkonf2025 with "Abstraction and program design, or the power of parametricity":
bobkonf.de/2025/loeh.html

YouTube video by Well-Typed The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)

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.

www.youtube.com/watch?v=ww4C...

Yes, I am confident that one can solve it very elegantly with repa or massiv.

YouTube video by Well-Typed The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4

Tomorrow, 2024-12-04, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder live on YouTube. This time, we'll try to solve Day 4 of #AdventOfCode 2024.

www.youtube.com/watch?v=KkKx...

YouTube video by Well-Typed The Haskell Unfolder Episode 36: concurrency and the FFI

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

www.youtube.com/watch?v=IMrB...

Is it cool if I post one of my favorite creations from the other place?

#functionalprogramming #math #programming

Interesting. Can you describe what it is about a language that makes it feel good to write code in it?

YouTube video by Well-Typed The Haskell Unfolder Episode 35: distributive and representable functors

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 look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable.

Join us live on YouTube: www.youtube.com/watch?v=g_vK...

The latest episode of the #Haskell #Interlude brings back many fond memories. Our guest Gabriele Keller is professor at Utrecht University, where I did my PhD long ago. Joachim, Gabriele and I talk about Gabriele's Haskell journey that took her all around the planet.

haskell.foundation/podcast/57/

I should probably start posting more.

Haskell Utrecht Meetup, Mon, Nov 18, 2024, 7:30 PM | Meetup Mark your calendars: the next Haskell Utrecht Meetup will be on November 18th. We will be back in the University Library - room 0.21 - in the City Center. Note that you ca

The next Haskell Utrecht Meetup is on 18 November. Check it out! www.meetup.com/haskell-utre...

In our first anniversary episode, we are connecting back to the very beginning of the Haskell Unfolder and talk about unfolds and folds. But this time, not o... The Haskell Unfolder Episode 24: generic (un)folds

The #Haskell #Unfolder is now 1 year old! In the anniversary episode, Edsko and I will return to the very first topic and consider (un)folds, but now in a more generic setting. Live on YouTube 2024-05-01 at 1830 UTC.

www.youtube.com/watch?v=QTgR...

At Well-Typed, we are currently looking for a new #Haskell developer (possibly more) to join our team: well-typed.com/blog/2024/04...