Archive

2018

• Introduction to Scheme/Racket - In my previous post I've introduced the new study group I recently joined with the focus on type theory and dependent types using "The Little...
• The Little Typer study group - Last Tuesday, 20th November, we started a quite interesting (and really nerdy) new "study group" inside the "London Type-Driven Development Meetup": "The Little Typer Study...
• Moving to Gitlab pages - Last day I've discovered, by chance, a "new" feature from Gitlab: Gitlab pages. Gitlab pages is exactly what you could expect from the name: the...

2017

• Playing with F# and SkiaSharp on Xamarin - This is time I'm trying to use F# with SkiaSharp the .Net wrapper of the nice Skia Library a 2D Graphic Library from Google, in...
• My first Blockchain interview - A few days ago I was sharing my talk about intro to functional programming, and today, with a perfect timing, they just published my first...
• (Talk) Make functions great again - After some time, I came back to provide a technical talk. This time it was my first talk about functional programming , with a particular set...
• Bye bye Jekyll, welcome Hakyll - It's always difficult to properly start something and blogging make no exceptions at all. Ok, to be honest, I had some experiences on blogging (with not...