你可能會喜歡
Great talk by @zacgarby on "The Calculated Typer", a functional pearl at Haskell 2025! Talk: tinyurl.com/yc2f5wtp; Paper: tinyurl.com/42cfnmnk
Incredibly excited to be hosting @icfp_conference 2026 at @IUIndianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to @IULuddy for their support in making this happen.
Great to hear lambda calculus appearing as an answer in this week’s #universitychallenge!
Delighted that "Quotient Polymorphism" has been (conditionally) accepted for POPL 2026 - fantastic work by @BrandonHewer! tinyurl.com/quotient-poly
Back from a fabulous couple of days at @MorstonHall, and great to meet and be served by chef @ChefGalton! Pics of a few standout dishes below - X only allows 4 otherwise I'd post more :-)
Delighted that "The Calculated Typer" with @zacgarby and @pa_ba has been accepted for the Haskell Symposium in Singapore :-) people.cs.nott.ac.uk/pszgmh/typer.p…
FP fans - 12 new PhD dissertation abstracts have just been published in the Journal of Functional Programming for your reading pleasure! tinyurl.com/2kj67ekn
All @TheOfficialACM publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share! tinyurl.com/jfp-phd-abstra…
Just finished teaching my introductory and advanced Haskell courses for this year! The full set of videos for each course are now freely available from tinyurl.com/intro-haskell and tinyurl.com/advanced-haske….
Just a few days left now to register for the Midlands Graduate School (MGS)! Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. 7-11 April 2025, Sheffield, UK. Registration closes Monday 24th March. Please share! tinyurl.com/MGS-2025
The Shark is Broken with @ianxshaw was the best thing I've ever seen in the theatre - amazing cast and performances, and we were quite literally hooked from start to finish! @RoyalNottingham
Registration is now open for the Midlands Graduate School (MGS) in the Foundations of Computing Science, 7-11 April 2025, Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Please share! tinyurl.com/MGS-2025
Great @computer_phile video on automatic differentiation by @MarkrdWilliams from the FP lab! youtu.be/QwFLA5TrviI?fe…
youtube.com
YouTube
Finding The Slope Algorithm (Forward Mode Automatic Differentiation)...
United States 趨勢
- 1. Good Sunday 66.3K posts
- 2. #sundayvibes 5,602 posts
- 3. #AskFFT N/A
- 4. Nigeria 899K posts
- 5. Scott Adams 6,222 posts
- 6. Full PPR N/A
- 7. Sunday Funday 2,965 posts
- 8. Yankees 18.2K posts
- 9. #NicxStrava 1,294 posts
- 10. #sundaymotivation 1,621 posts
- 11. #AskBetr N/A
- 12. Talus 19.9K posts
- 13. Carlos Manzo 436K posts
- 14. Bam Knight N/A
- 15. Standard Time 10.4K posts
- 16. Pick 2 16.2K posts
- 17. Dike 1,990 posts
- 18. Blessed Sunday 18.8K posts
- 19. Football Sunday 2,004 posts
- 20. 5 PPR N/A
你可能會喜歡
-
Edward Kmett
@kmett -
Well-Typed
@welltyped -
João Forte Carvalho @Conste11ation
@bgamari -
gabby
@GabriellaG439 -
Tweag by Modus Create
@tweagio -
Serokell
@serokell -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
ICFP Conference
@icfp_conference -
Dmitrii Kovanikov
@ChShersh -
Vanessa McHale
@vamchale -
Alejandro Serrano
@trupill -
Matt Parsons
@mattoflambda -
Andres Löh
@kosmikus -
Joachim Breitner
@nomeata -
Tikhon Jelvis
@tikhonjelvis
Something went wrong.
Something went wrong.