Andres Löh (@kosmikus) 's Twitter Profile
Andres Löh

@kosmikus

I am a partner and Haskell Consultant at Well-Typed LLP. well-typed.com

ID: 186006976

linkhttp://www.kosmikus.org calendar_today02-09-2010 10:59:00

1,1K Tweet

3,3K Followers

476 Following

Bob Konferenz (@bobkonf) 's Twitter Profile Photo

BOB 2025 is go! We've secured Annette Bieniusa as our keynote speaker and opened the CfC. We look forward to your contributions (deadline: 15 Nov 2024) and of course to seeing you in Berlin on 14 Mar 2025 -- tickets are already on sale! More details: bobkonf.de

BOB 2025 is go! We've secured <a href="/anne_biene/">Annette Bieniusa</a> as our keynote speaker and opened the CfC. We look forward to your contributions (deadline: 15 Nov 2024) and of course to seeing you in Berlin on 14 Mar 2025 -- tickets are already on sale!

More details: bobkonf.de
Well-Typed (@welltyped) 's Twitter Profile Photo

We have just published a retrospective on the first 18 months of doing the #Haskell #Unfolder (with @EdskoDeVries and Andres Löh) on our blog: well-typed.com/blog/2024/10/1…

Well-Typed (@welltyped) 's Twitter Profile Photo

On Wednesday, 2024-10-16, at 1830 UTC, we'll stream a new episode of the #Haskell #Unfolder titled "you already understand monads" in which Edsko and Andres Löh discuss the composition of monadic functions. youtube.com/watch?v=n5ZtsH…

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2024-11-06, at 1930 UTC, there's a new episode of the #Haskell #Unfolder: this time, Edsko and Andres Löh are going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable. youtube.com/watch?v=g_vKOg…

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder. Edsko will explain to Andres Löh what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ... youtube.com/watch?v=IMrBTx…

Lambda Days (@lambdadays) 's Twitter Profile Photo

We're opening our Call for Talks in two weeks! Tag the speaker you'd love to see at Lambda Days 2025 👇 #LambdaDays #techconference #functionalprogramming

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2024-12-04, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder live on YouTube. This time, we will try to solve Day 4 of #AdventOfCode 2024. youtube.com/watch?v=KkKxHA…

The Haskell Interlude (@haskelinterlude) 's Twitter Profile Photo

New episode of the Interlude is out! This time with Tom Ellis. 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/60/

Well-Typed (@welltyped) 's Twitter Profile Photo

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=ww4C3j…

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and Andres Löh 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=NEUbp2…

Haskell Foundation (@haskellfound) 's Twitter Profile Photo

New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation youtube.com/@haskellfounda…

Well-Typed (@welltyped) 's Twitter Profile Photo

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=0QTt2W…

Andres Löh (@kosmikus) 's Twitter Profile Photo

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-KjK…

Well-Typed (@welltyped) 's Twitter Profile Photo

Today, there will be a new #Haskell #Unfolder episode, where Edsko and Andres Löh 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=nD93M2…

Well-Typed (@welltyped) 's Twitter Profile Photo

Thanks to effectfully and Theo - t3.gg 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=RPQVsa…

Well-Typed (@welltyped) 's Twitter Profile Photo

Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and Andres Löh discussing testing of stateful APIs: youtube.com/watch?v=RPQVsa…

Well-Typed (@welltyped) 's Twitter Profile Photo

Well-Typed are delighted to be working in partnership with Haskell Foundation to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…