Well-Typed(@welltyped) 's Twitter Profileg
Well-Typed

@welltyped

The Haskell Consultants

ID:184844481

linkhttp://www.well-typed.com/ calendar_today30-08-2010 16:36:01

491 Tweets

5,7K Followers

270 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
Well-Typed(@welltyped) 's Twitter Profile Photo

New blog post by Rodrigo on his work interfacing between Haskell and Swift: well-typed.com/blog/2024/04/c…

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
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
Well-Typed(@welltyped) 's Twitter Profile Photo

Calling Haskellers interested in language and compiler design: there's still time to volunteer for the GHC Steering Committee! discourse.haskell.org/t/ghc-steering…

account_circle