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

@kosmikus

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

ID:186006976

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

1,5K Tweets

3,1K Followers

501 Following

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

On Wednesday, 2024-05-15, 1830 UTC, we'll stream the 25th episode of the , which this time should be interesting for Haskellers and non-Haskellers alike: Edsko de Vries and Andres Löh will translate a gRPC server from Java to Haskell. youtube.com/watch?v=YwshlQ…

account_circle
Edsko de Vries(@EdskoDeVries) 's Twitter Profile Photo

In tonight's Unfolder episode, Andres Löh is going to show some very pretty code indeed, talking about generic unfolding in celebration of the one year anniversary of the Haskell Unfolder series. Starting in roughly 2.5 hours from now, do join us live!

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

The is now 1 year old! In the anniversary episode, Andres Löh and Edsko de Vries 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. youtube.com/watch?v=QTgRKW…

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

Well-Typed have recently been making improvements to ghc-debug, a tool for debugging memory usage of programs through precise heap analysis: well-typed.com/blog/2024/04/g…

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

New blog post by Finley: Choreographing a dance with the GHC specializer (Part 1) well-typed.com/blog/2024/04/c… This is accompanying our episode on the same topic tomorrow, 2024-04-16 at 1830 UTC.

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

On Tuesday, 2024-04-16, at 1830 UTC, Finley , Edsko de Vries and Andres Löh are going to discuss specialisation – an important optimisation that GHC (sometimes) applies – in an all-new episode of the , live on YouTube: youtube.com/watch?v=ksW04C…

account_circle
Haskell Weekly(@HaskellDiscu) 's Twitter Profile Photo

The Haskell Unfolder Episode 22: foldr-build fusion

well-typed.com/blog/2024/03/h…

Discussions: discu.eu/q/https://well…

account_circle
Avi Press(@avi_press) 's Twitter Profile Photo

I’ve heard Haskell people express their aversion to advertising their own OSS Haskell work a few times.

1. Feel free to DM me what you built and I will promote it.
2. Friendly reminder that self promotion is okay, the community needs to hear about what you’re building!

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

Join us on Wednesday, 2024-03-20, 1930 UTC, for a new episode of the Unfolder! Edsko de Vries and Andres Löh will discuss foldr-build fusion: how GHC compiles pipelines of list functions, and how this optimisation is implemented using rewrite rules! youtube.com/watch?v=C-Gahi…

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

Today, 2024-03-06 at 1930 UTC, Edsko de Vries and Andres Löh discuss how you can use property-based testing to test code in situations where you don't have a reference implementation available, in the 21st episode of the Unfolder, live on YouTube: youtube.com/watch?v=ZHB8UA…

account_circle
Bob Konferenz(@BOBKonf) 's Twitter Profile Photo

In 'Staging Programs in Haskell', Andres Löh's 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

account_circle
Haskell(@HaskellOrg) 's Twitter Profile Photo

Exciting news! Haskell chosen for Google Summer of Code 2024! 🌟 Dive into the ecosystem and make an impact. Thanks to all for project ideas and mentorship! discourse.haskell.org/t/haskell-sele…

Exciting news! Haskell chosen for Google Summer of Code 2024! 🌟 Dive into the #Haskell ecosystem and make an impact. Thanks to all for project ideas and mentorship! #GSoC discourse.haskell.org/t/haskell-sele…
account_circle
Graham Hutton(@haskellhutt) 's Twitter Profile Photo

Just a few days left now to register for the Midlands Graduate School (MGS)! Seven fantastic courses on category theory, proof theory, type theory, session types, and more. 8-12 April 2024, Leicester, UK. Registration closes Friday 8th March. Please share! cs.le.ac.uk/events/mgs2024/

Just a few days left now to register for the Midlands Graduate School (MGS)! Seven fantastic courses on category theory, proof theory, type theory, session types, and more. 8-12 April 2024, Leicester, UK. Registration closes Friday 8th March. Please share! cs.le.ac.uk/events/mgs2024/
account_circle
Well-Typed(@welltyped) 's Twitter Profile Photo

The next episode of the Unfolder by Edsko de Vries and Andres Löh will be streamed on Wednesday, 2024-03-06, and will be on property-based testing! youtube.com/watch?v=ZHB8UA…

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

Episode 20 of the Unfolder already! We're going to start the stream in about one hour: well-typed.com/blog/2024/02/h…

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

Wednesday, 2024-02-21 at 1930 UTC, we'll stream The Unfolder Episode 20 live on YouTube. This time, Edsko de Vries and Andres Löh will look at how to translate imperative pseudo-code into idiomatic Haskell, using Dijkstra's algorithm as an example. youtube.com/watch?v=WHVMjM…

account_circle