Have you been good in twenty-twenty?
In Italy, I usually had to wait to see if the Befana brought me coal. Luckily, I live in Poland, where the answer comes earlier!
I received a pair of socks for Saint Nicholas Day. This certifies I’ve behaved. And it’s not the only Polish tradition that surprised me.
I have to be honest: I haven’t recharged as well as I hoped during the holidays. Am I the only one?
Simpler And Safer API Design Using GADTs by Chris Penner
A lot of the writing out there regarding GADTs is pretty high-level research and academia, in contrast, today I’m going to show off a relatively practical and simple use-case. In this post we’ll take a look at a very real example where we can leveraged GADTs in a real-world Haskell library to build a simple and expressive end-user interface.
(Riccardo: As always, Chris kills it with a crisp and clear API design case study that compares type classes and GADTs. I learned a bunch of stuff even before he got to the latter.)
Cross-Branch Testing by Hillel Wayne
This was inspired by a few conversations I had last week. There’s a certain class of problems that are hard to test:
(Riccardo: The idea of cross-branch testing is cool. Also, I didn’t know about git-worktree!)
Hotwire - HTML Over The Wire by Basecamp
Building HEY with Hotwire by Full Stack Radio
Blob Opera by David Li @ Google Arts & Culture
Create your own opera inspired song with Blob Opera - no music skills required ! A machine learning experiment by David Li in collaboration with Google Arts & Culture
(Riccardo: Something fun because I’m not ready to go back to work yet.)
Do you have any plans for the new year? I’d like to hear about it. Or simply just want to say hi? Your reply to this email gets to my personal inbox.
Gimme a shout!