你可能會喜歡
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)...
New @computer_phile video just dropped :-) youtu.be/OKc2hAmMOY4
youtube.com
YouTube
Quicksort Algorithm in Five Lines of Code! - Computerphile
FP fans - looking for some interesting new year reading? JFP has just published the latest batch of ten PhD abstracts for your reading pleasure, with links to the full dissertations. doi.org/10.1017/S09567…
United States 趨勢
- 1. Chiefs 63.4K posts
- 2. #TNABoundForGlory 26.4K posts
- 3. Butker 7,088 posts
- 4. Goff 10.2K posts
- 5. Kelce 10.3K posts
- 6. Baker 47.4K posts
- 7. #OnePride 4,436 posts
- 8. Bryce Miller 2,187 posts
- 9. #DETvsKC 2,764 posts
- 10. Dan Campbell 1,930 posts
- 11. #SNFonNBC N/A
- 12. Cal Raleigh 4,062 posts
- 13. #ALCS 7,068 posts
- 14. Leon Slater 2,088 posts
- 15. 49ers 42.2K posts
- 16. Gibbs 4,601 posts
- 17. Pacheco 4,086 posts
- 18. Ty Dillon 1,143 posts
- 19. Gausman 2,836 posts
- 20. Denny 5,643 posts
你可能會喜歡
-
Edward Kmett
@kmett -
Well-Typed
@welltyped -
Haskell Foundation
@haskellfound -
João Forte Carvalho @Conste11ation
@bgamari -
gabby
@GabriellaG439 -
Tweag
@tweagio -
Serokell
@serokell -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
ICFP Conference
@icfp_conference -
Dmitrii Kovanikov
@ChShersh -
Alejandro Serrano
@trupill -
Matt Parsons
@mattoflambda -
Andres Löh
@kosmikus -
Joachim Breitner
@nomeata -
Tikhon Jelvis
@tikhonjelvis
Something went wrong.
Something went wrong.