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
You might like
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.
Back after a hiatus for Haskell Symposium submission (rejected 😢) and then holidays.
There has been some ado in the Haskell world about deep subsumption and how its removal broke Haskell code in GHC 9.0. @RaeHaskell explains how it all unfolded. youtu.be/XMnXbBRg-B0
youtube.com
YouTube
@rae: What Haskell's deep subsumption is, why we killed it, and then...
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
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!
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!
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…
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=…
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
This is my favorite tweet in a while.
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
youtube.com
YouTube
@rae: Wordle #1: Design considerations of finding good guesses in...
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!
💯💯💯 Issue 300 of the #Haskell Weekly newsletter is out now! haskellweekly.news/issue/300.html
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…
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
youtube.com
YouTube
@rae: Implementing an arity-polymorphic unboxed tuple operator
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.
United States Trends
- 1. Texas 156K posts
- 2. #JimmySeaFanconD1 338K posts
- 3. #BINIFIED 158K posts
- 4. 3-8 Florida 2,208 posts
- 5. hanbin 20K posts
- 6. Austin Reaves 13.6K posts
- 7. Sark 5,282 posts
- 8. #HookEm 10.7K posts
- 9. Jeff Sims 1,713 posts
- 10. Arch Manning 7,275 posts
- 11. #MakeOffer 20.9K posts
- 12. Domain For Sale 21.1K posts
- 13. #BuyNow 21K posts
- 14. Aggies 9,444 posts
- 15. Life is 10% 2,618 posts
- 16. Georgia 49.1K posts
- 17. Sylus 101K posts
- 18. Elko 3,106 posts
- 19. Katie Miller 2,854 posts
- 20. Banana Fish 10.8K posts
You might like
-
João Forte Carvalho @Conste11ation
@bgamari -
Haskell Foundation
@haskellfound -
Well-Typed
@welltyped -
Alexis King
@lexi_lambda -
Tweag by Modus Create
@tweagio -
Edward Kmett
@kmett -
Graham Hutton
@haskellhutt -
gabby
@GabriellaG439 -
Serokell
@serokell -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Andres Löh
@kosmikus -
ICFP Conference
@icfp_conference -
Dmitrii Kovanikov
@ChShersh -
Joachim Breitner
@nomeata -
Alejandro Serrano
@trupill
Something went wrong.
Something went wrong.