你可能會喜歡
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.
github.com
Removing -XNoPolyKinds by goldfirere · Pull Request #476 · ghc-proposals/ghc-proposals
Support for -XNoPolyKinds has become harder and harder to keep up. It's not clear that anyone is relying on the lack of kind polymorphism. I thus propose to drop support for -XNoPolyKinds. ...
United States 趨勢
- 1. Giannis 64.4K posts
- 2. #AEWDynamite 5,073 posts
- 3. Spotify 1.78M posts
- 4. Bucks 40.2K posts
- 5. Tosin 66.2K posts
- 6. Eddie Kingston N/A
- 7. Steve Cropper 1,859 posts
- 8. Leeds 103K posts
- 9. Milwaukee 18.1K posts
- 10. Brazile N/A
- 11. Andrews 9,928 posts
- 12. Mikel 32.6K posts
- 13. Samoa Joe N/A
- 14. Isaiah Likely N/A
- 15. Poison Ivy 2,227 posts
- 16. #iubb N/A
- 17. #WhyIChime 2,139 posts
- 18. #cthsfb N/A
- 19. Purple 53.1K posts
- 20. Phantasm 1,819 posts
你可能會喜歡
-
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 -
Andres Löh
@kosmikus -
ICFP Conference
@icfp_conference -
Dmitrii Kovanikov
@ChShersh -
Joachim Breitner
@nomeata -
Alejandro Serrano
@trupill -
Matt Parsons
@mattoflambda
Something went wrong.
Something went wrong.