Advertisement · 728 × 90

Posts by Andres Löh

The final tutorial on track A at #BOBkonf2026 is @kosmikus.bsky.social 's "Haskell Tutorial", an introduction to Haskell.

Find out more:
bobkonf.de/2026/loeh.html

1 month ago 7 5 0 0
Static pointers (Haskell Unfolder #53)
Static pointers (Haskell Unfolder #53) "Static pointers" are references to statically known values, and can serialized independent of the type of the value (even if that value is a function), so that you can store them in files, send them ...

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

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

3 months ago 6 1 0 0
Bidirectional parsing and printing (of JSON) (Haskell Unfolder #52)
Bidirectional parsing and printing (of JSON) (Haskell Unfolder #52) YouTube video by Well-Typed

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.

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

4 months ago 5 0 1 0
Typed servers using sop-core (Haskell Unfolder #51)
Typed servers using sop-core (Haskell Unfolder #51) YouTube video by Well-Typed

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.

www.youtube.com/watch?v=3XeI...

5 months ago 5 0 0 0
Singletons (Haskell Unfolder #50)
Singletons (Haskell Unfolder #50) YouTube video by Well-Typed

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

www.youtube.com/watch?v=-zxx...

5 months ago 6 0 2 0
Shrinking (Haskell Unfolder #49)
Shrinking (Haskell Unfolder #49) YouTube video by Well-Typed

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

6 months ago 5 1 1 0
Safe coercions (Haskell Unfolder #48)
Safe coercions (Haskell Unfolder #48) YouTube video by Well-Typed

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

6 months ago 6 2 0 0
Post image

We have confirmed three keynotes for MuniHac 2025. Join us in Munich between September 12th and 14th for talks by Andrew Lelechenko, @sperbsen.bsky.social, and Rodrigo Mesquita as well as workshops and hacking projects: munihac.de/2025.html#re...

#MuniHac #Haskell

8 months ago 14 6 0 2
Advertisement
Pure parallelism (Haskell Unfolder #47)
Pure parallelism (Haskell Unfolder #47) YouTube video by Well-Typed

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

8 months ago 7 1 0 1
Developing an application from scratch (Haskell Unfolder #46)
Developing an application from scratch (Haskell Unfolder #46) YouTube video by Well-Typed

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

9 months ago 3 0 0 0
Preview
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...

9 months ago 23 10 0 1

Well, unless we do something about it.

9 months ago 11 4 1 0
Haskell records in 2025 (Haskell Unfolder #45)
Haskell records in 2025 (Haskell Unfolder #45) YouTube video by Well-Typed

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

9 months ago 13 4 2 0
State-based testing with quickcheck-lockstep (Haskell Unfolder #44)
State-based testing with quickcheck-lockstep (Haskell Unfolder #44) YouTube video by Well-Typed

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

11 months ago 5 1 1 0
The Haskell Unfolder Episode 43: monomorphism restriction and defaulting
The Haskell Unfolder Episode 43: monomorphism restriction and defaulting YouTube video by Well-Typed

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

11 months ago 3 0 0 0

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

11 months ago 8 4 0 0
The Haskell Unfolder Episode 42: logic programming with typedKanren
The Haskell Unfolder Episode 42: logic programming with typedKanren YouTube video by Well-Typed

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

1 year ago 5 1 0 0

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?

1 year ago 89 16 15 2
Advertisement
The Haskell Unfolder Episode 41: generic monoids
The Haskell Unfolder Episode 41: generic monoids YouTube video by Well-Typed

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

1 year ago 7 1 0 0
Preview
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...

1 year ago 14 11 1 0

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/

1 year ago 3 5 1 0
The Haskell Unfolder Episode 40: understanding through a model
The Haskell Unfolder Episode 40: understanding through a model YouTube video by Well-Typed

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

1 year ago 11 2 1 0

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

1 year ago 4 4 0 0
Preview
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-...

1 year ago 4 7 0 0
The Haskell Unfolder Episode 39: deriving strategies
The Haskell Unfolder Episode 39: deriving strategies YouTube video by Well-Typed

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

1 year ago 5 0 0 0

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

1 year ago 2 3 0 0
The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)
The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan) YouTube video by Well-Typed

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

1 year ago 6 0 0 0
Advertisement

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

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

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

1 year ago 11 1 0 0
The Haskell Unfolder Episode 36: concurrency and the FFI
The Haskell Unfolder Episode 36: concurrency and the FFI YouTube video by Well-Typed

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

1 year ago 12 2 1 0