Andres Löh (@kosmikus) profile picture

I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5

Regensburg, Germany
Joined September 2010
Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)Photo by Andres Löh (@kosmikus)
Andres Löh retweeted
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 @kosmikus will talk about selective applicative functors. youtube.com/watch?v=Yt2E1vrg…
3
1
16
1,430
Andres Löh retweeted
Join us tonight, 2026-01-21 at 1930 UTC, for the first new #Haskell #Unfolder episode of 2026, on static pointers. youtube.com/watch?v=Mc3liw0E…
1
1
14
1,365
Andres Löh retweeted
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 by @kerckhove_ts . youtube.com/watch?v=z9V59Y0V…
1
13
1,606
Andres Löh retweeted
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. youtube.com/watch?v=3XeIoA0a…
4
15
2,744
Andres Löh retweeted
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). youtube.com/watch?v=-zxxl-Wu…
1
6
1,124
Andres Löh retweeted
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: youtube.com/watch?v=EcV4rb-C…
1
1
9
1,617
Andres Löh retweeted
After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and @kosmikus are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: youtube.com/watch?v=NC0wkFsV…
2
11
1,471
Andres Löh retweeted
Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY_l…
1
6
21
2,208
Andres Löh retweeted
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. youtube.com/watch?v=9hrDm7xD…
7
35
3,593
Andres Löh retweeted
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/…
11
1
61
3,685
Andres Löh retweeted
Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and @kosmikus discussing testing of stateful APIs: youtube.com/watch?v=RPQVsaZ4…
1
19
1,514
Andres Löh retweeted
Meet our speakers: Andres Löh Andres will be instructing our Beginner's track this year.
1
17
439
Andres Löh retweeted
Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsaZ4…
12
13
2
127
11,672
Andres Löh retweeted
Today, there will be a new #Haskell #Unfolder episode, where Edsko and @kosmikus will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2ql…
1
5
2
30
2,728
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! youtube.com/watch?v=db-KjKOB…
1
2
19
1,387
Andres Löh retweeted
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... youtube.com/watch?v=0QTt2W7C…
3
1
14
1,409
New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation youtube.com/@haskellfoundati…
1
4
34
3,608
Andres Löh retweeted
Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2Cs…
3
17
1,922
Andres Löh retweeted
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. youtube.com/watch?v=ww4C3jls…
3
1
27
1,841
New episode of the Interlude is out! This time with @tomjaguarpaw. He talks about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid laziness unrepresentable! haskell.foundation/podcast/6…
3
1
17
2,121