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

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

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

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.

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

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

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

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?

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

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/

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

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

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

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

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

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

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/

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

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

Nächste Woche Donnerstag - am 18. April - veranstalten wir einen großen Online-Tutorial-Tag zur funktionalen Programmierung, mit Workshops zu diversen FP-Sprachen, DDD, Isabelle, funktionalen UIs uvm. und einem AMA zum Schluss - für symbolische 10€. funktionale-programmierung.de/2024/04/09/t...

We will stream a new episode of the #Haskell Unfolder today, on "foldr-build fusion", an optimisation the Haskell compiler applies to improve pipelines of list-processing functions. Join us live on YouTube, 2024-03-20 at 1930 UTC, or watch the recording afterwards: www.youtube.com/watch?v=C-Ga...

In "Staging Programs in Haskell", @kosmikus.bsky.social's #BOBkonf2024 tutorial, we'll learn what staging is, why and how it is useful, and how to implement it in Haskell. More information: bobkonf.de/2024/loeh.html

@tacticalgrace.bsky.social's #BOBkonf2024 talk "Functional Programming in Swift" lays out how Swift holds its own as a modern multi-paradigm language: bobkonf.de/2024/chakrav...

This is actually very good for #Haskell learners - live now www.youtube.com/watch?v=WHVM... #WellTyped Dijkstra's shortest path Haskell Unfolder

The Haskell Unfolder Episode 20: Dijkstra's shortest paths. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@[email protected]). www.youtube.com/live/WHVMjMI... #Haskell #FunctionalProgramming

The next Haskell Utrecht Meetup is on 23 April and we will have Niki Vazou and Simon Peyton Jones as speakers. The meetup will be at the offices of Channable who we like to thank for their support! www.meetup.com/haskell-utre...

Tomorrow, 2023-12-06, there'll be a new episode of the #Haskell Unfolder. We'll dive into Haskell's history and discuss the somewhat controversial "Applicative Monad Proposal" from 2015. We'll use it as an example to demonstrate the power of the DerivingVia extension. www.youtube.com/watch?v=tnCH...

New episode of the #Haskell Unfolder upcoming. Tomorrow, 2023-11-22, at 1930 UTC, Edsko and I will discuss interruptible operations, a topic that was requested by our audience during the episode we did on generalBracket. www.youtube.com/watch?v=VpYC...

Heads up! The next Haskell Utrecht Meetup is going to be on 11 December: www.meetup.com/haskell-utre...

The Haskell Unfolder Episode 14: Higher-kinded types. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). www.youtube.com/live/EXgsXy1... #Haskell #FunctionalProgramming

#BOBkonf2024 is thrilled to announce its first sponsor, Well-Typed LLP (well-typed.com)! Thank you for your continued support as a Bronze level sponsor.