After 7 weeks of deliberations, and just in time for Simon Peyton Jones’ birthday, the GHC Steering committee has defined GHC2021: a set of 36 stable and conservative extensions that can and should be on by default.
github.com/ghc-proposals/ghc…#haskell
I'm in the process of preparing videos for my upcoming advanced FP course in Nottingham - today's was on applicative functors: invidious.snopyta.org/D4BqCwck0s0. I'm really enjoying preparing these, and will be making them all freely available on YouTube.
The Episode #2 of the typetheoryforall.com is out! In this episode I interview Dr. John Sarracino & Rajan Walia and we talk all about grad school life! @ your favorite podcast provider
Cachix 0.6.0 has been released and is available on NixOS unstable and 20.09 besides the official installation:
$ nix-env -iA cachix -f cachix.org/api/v1/install
Anyone using --watch-store feature is highly encouraged to upgrade as it drastically improves performance.
1/
It also comes with a new command:
$ cachix watch-exec CACHE-NAME CMD [-- ARGS]
which will run the command, push any newly built store paths and then exit once everyhing is done.
How I Learned to Love and Fear the Riemann Hypothesis -- a charming little piece from @AlexKontorovich, accompanied by a great explainer video about what the Riemann hypothesis is, and why it's so important, central, and baffling. quantamagazine.org/how-i-lea… via @QuantaMagazine
#POPL2021 talks are LIVE! 🕴
app.clowdr.org/conference/po…
Paper links to come soon. Until then, browse the 5min videos 👀, watch the longer 30min talks 🧠... and don't forget to check out the student videos in the SRC 🏆!