Haskeller at @Scrive@MaybeVoid ∘ Programming Language Theory ∘ Opinions are of my own

Leipzig, Germany
Joined June 2008
Soares Chen retweeted
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
7
80
228
Soares Chen retweeted
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.
8
59
261
Soares Chen retweeted
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
1
8
23
Show this thread
We are open sourcing @Scrive Nix Workshop - a book for learning Haskell and Nix development! scrive.github.io/nix-worksho…
1
26
90
Soares Chen retweeted
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/
2
4
15
Show this thread
Soares Chen retweeted
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.
0
1
6
Show this thread
Soares Chen retweeted
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
2
84
312
Soares Chen retweeted
This concludes the first chapter of The Dao of Functional Programming. You can now read the PDF version. github.com/BartoszMilewski/P…
12
66
323
Soares Chen retweeted
#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 🏆!
3
43
88