Profile avatar
kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
16 posts 917 followers 113 following
Regular Contributor
Posts 24 Comments 4

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

submitted 2 days ago • 0 comments

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

submitted 16 days ago • 0 comments

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

submitted 36 days ago • 0 comments

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

submitted 44 days ago • 0 comments

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

submitted 86 days ago • 0 comments

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

submitted 100 days ago • 1 comment

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

submitted 102 days ago • 6 comments

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

submitted 114 days ago • 0 comments

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/

submitted 114 days ago • 0 comments

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

submitted 129 days ago • 0 comments

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

submitted 303 days ago • 0 comments

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

submitted 324 days ago • 0 comments

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

submitted 325 days ago • 0 comments

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

submitted 344 days ago • 0 comments

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

submitted 359 days ago • 0 comments

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

submitted 364 days ago • 0 comments

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

submitted 372 days ago • 0 comments

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

submitted 372 days ago • 0 comments

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

submitted 388 days ago • 0 comments

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

submitted 450 days ago • 0 comments

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

submitted 464 days ago • 0 comments

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

submitted 468 days ago • 1 comment

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

submitted 476 days ago • 0 comments

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

submitted 491 days ago • 0 comments