Richard Eisenberg @RaeHaskell

Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him richarde.dev Philadelphia, PA, USA Joined November 2019

Tweets

220
Followers

3K
Following

149
Likes

45

Richard Eisenberg @RaeHaskell

3 years ago

I'm excited to be part of a panel on careers in PL at PLMW at @poplconf. But I'm weighing whether or not to stick around for all of POPL. I'd love to -- but I went 2 for 2 in 2022 for getting covid at conferences. Will there be e.g. a testing protocol? That would go a long way.

0 1 7 0 0

Richard Eisenberg @RaeHaskell

3 years ago

Back after a hiatus for Haskell Symposium submission (rejected 😢) and then holidays.

Tweag @tweagio

3 years ago

Back after a hiatus for Haskell Symposium submission (rejected 😢) and then holidays.

2 8 36 0 9

1 1 12 0 1

Computing at School @CompAtSch

3 years ago

Simon Peyton Jones’ work to deliver outstanding computing education is recognised in the Queen’s Birthday Honours ahead of the Platinum Jubilee celebrations. 👏🎊 Read more: computingatschool.org.uk/news-and-blogs… #PlatinumJubilee #Congratulations #OBE

13 53 218 0 2

Download Image

Richard Eisenberg @RaeHaskell

3 years ago

I'm writing a paper for Haskell Symposium, using @kosmikus's lhs2TeX for code formatting. My editor: VSCode. And, amazing to say, HLS is finding type errors in the middle of my paper. Very cool!

0 2 50 0 3

Richard Eisenberg @RaeHaskell

4 years ago

Apologies to my loyal fans, but this week got away from me -- no @tweagio video. :( I'll make it up with 2 next week! :) One will use criterion to run microbenchmarks on the Wordle code. Don't worry if you haven't kept up on the (long) series -- it will be relevant regardless!

1 0 12 0 0

Richard Eisenberg @RaeHaskell

4 years ago

Alert: The GHC Steering Committee is contemplating a proposal that will cause some breakage. We want community feedback to inform whether we should proceed. Read all about it -- and share your thoughts -- at Discourse: discourse.haskell.org/t/feedback-req…

1 18 35 0 2

Richard Eisenberg @RaeHaskell

4 years ago

Pleased to share that the videos from the WITS workshop (co-organized with @agdakx and part of @poplconf) are now online, including the keynote by @jonmsterling. Thanks to Apoorv Ingle, the tireless video chair! youtube.com/playlist?list=…

0 5 22 0 3

Richard Eisenberg @RaeHaskell

4 years ago

The @haskellfound is seeking a new Executive Director. Come join us and help shape the future of #Haskell! We're eager to get moving, and so the deadline is Feb 22. Spread the word! haskell.foundation/careers/ed.html

0 27 39 0 0

Richard Eisenberg @RaeHaskell

4 years ago

This is my favorite tweet in a while.

Tim Sears @csTimSears

4 years ago

This is my favorite tweet in a while.

2 1 7 0 0

0 0 3 0 0

Richard Eisenberg @RaeHaskell

4 years ago

Excited to make a new series of videos, about a Haskell program to find good Wordle guesses. Should be a good companion example to Haskell learners and an opportunity to learn about data representation choices and optimization for Haskell intermediates. youtu.be/2djr6ZxQ8VA

2 8 45 0 9

gilmi @_gilmi

4 years ago

Haskell weekly is such an important part of the Haskell ecosystem. Hard to believe it's run by a single, passionate person for such a long time. Thank you for all of your hard work @taylorfausak and congratulations on hitting 300 issues!

Haskell Weekly @haskellweekly

4 years ago

5 20 75 0 2

2 7 89 0 0

Richard Eisenberg @RaeHaskell

4 years ago

Want to contribute to GHC? I came across a ticket today that should be nicely addressable by a newcomer. Hint: look in libraries/template-haskell/Language/Haskell/TH/Ppr.hs gitlab.haskell.org/ghc/ghc/-/issu…

1 7 27 0 3

Tweag @tweagio

4 years ago

We can imagine an operator like `Tuple Int Bool Double` that reduces to `(Int, Bool, Double)` by inferring its arity. But can we do it for unboxed tuples, with their varying representations? @RaeHaskell shows us how, with a couple of twists and turns: youtu.be/kGyiH5Nup-Y

1 3 20 0 3

Richard Eisenberg @RaeHaskell

4 years ago

In a fit of evening productivity, I wrote two GHC proposals tonight: github.com/ghc-proposals/… on a new opt-in syntax for lists and tuples that avoids punning, and github.com/ghc-proposals/… on dropping support for -XNoPolyKinds. Video on -XNoPolyKinds due out on Thursday.