Gabriel Volpe

Today is my birthday, but I’m not in the mood to celebrate.

The System and Service Manager systemd provides the building blocks for Linux systems, and it’s the default in NixOS — though, there are a few alternatives such as finix and sixos that currently explore this design space.

This blogpost would have been too short if I only talked about a single topic, so I decided to combine both topics into a single post, as both qualify as actual Quality Of Service (QoS) improvements to my workflows.

One of the most beloved features Immich offers (also Google Photos) is memories.

As someone who loves going for adventures abroad, the memories I’ve captured behind the lens have become extremely valuable to me.

XMonad has been my main driver for years, and I still think it’s the best X11 window manager ever.

I have been following the Unison programming language for as long as I can remember, given that its authors are very well-known in the Scala ecosystem.

What is Home Manager?

Introduction The folks at Garnix have done it again!

Flake schemas were introduced by Determinate Systems (written by Eelco Dolstra — creator of Nix) about half a year ago now (August 2023), which is quite a promising feature, but what is the current status?

Introduction I blogged about Garnix before, and it’s the solution I’ve been using ever since for continuous integration.

Coming back to the stages after a few absent years from the circuit to introduce a new book: Functional Event-Driven Architecture - Powered by Scala 3.

Remote builds enable interesting use cases and experiments.

Garnix is a continuous integration (CI) service for Nix flakes that has been in Beta for a while.

It is no secret that Neovim is my favorite text editor.

If you have read this post when it first came out and felt offended by its catchy title, let me apologize for it.

Introduction Scala 3 introduces union types.

I have recently migrated my entire NixOS and Home Manager (HM) configuration — including programs, services, dotfiles, etc — over to the new kid on the block: Nix flakes.

What if I told you that you can save plenty of time and CPU-power by pre-building your entire NixOS configuration on Github actions?

As the title says, finite-state machines and Fs2 streams are a match made in heaven!

I’ve been a Gnome user for a long time and I have never cared about using a Window Manager ever before but I recently switched to using XMonad full-time.

A collaborative talk given with my colleague Tamer Abdulazim at the Apache Pulsar Summit 2020.

Introducing Nix to an audience of Scala developers at the San Francisco Scala Meetup in October 2020 (online event).

Showcasing the ways we leverage Nix at work: dev shells, CI/CD, software packaging, etc.

NixOS can be configured to run any desktop environment you want and Gnome 3 is not an exception.

The more I learn about Nix — a purely functional package manager — the more I am convinced this is the way forward.

As I’m preparing a talk about refinement types I will be giving this Thursday at the Functional Tricity Meetup, and I’ve recently given a similar talk using the Scala language as well, I realized there is a missing typeclass in Haskell.

Discussing the importance of strong types in domain modeling with the Scala language.

Discussing the importance of strong types in domain modeling at the Functional Tricity online meetup.

If you use Ubuntu or any other Linux distribution (AKA distro) together with Nixpkgs, you might have noticed things don’t play so well together.

These past few weeks I’ve been interviewing with a few companies, as I’m actively on the lookout for a new challenge, and the number of flaws I have encountered in some hiring processes has disturbed me.

Discussing a bit of functional programming history, going through Lambda Calculus and LISP specification, among others.

Discussing excerpts from my book Practical FP in Scala back in my hometown.

In the past few months I have learnt a lot!

Introducing the Haskell language to an audience of (mostly) Scala developers in the beautiful city of Medellin.

Having introduced Haskell at my last job I wanted to put into practice all the stuff I learned: take the good, leave the bad.

Discussing the cats-mtl as well as classy optics; a fascinating topic in the field of functional programming.

In a recent pull request review at work I suggested using context bound to declare effect capabilities instead of implicit values as this is what I see the most in OSS projects and it has also been my preference for a while.

Showcasing the Haskell language to an audience of Scala developers, highlighting the similarities and differences.

Since the first introduction of Cats Effect, many things have changed and this has taken its design and performance to a whole new level, making complex problems seemingly trivial in production systems.

Presenting at the “unconference” of the Scale By The Bay conference in America, in front of a remarkable crowd.

Discussing the Cats Effect library and its benefits, including a few advanced examples taken from our production usage at Paidy.

An improvised talk about API designs with Http4s while abstracting over the effectType.

Showcasing the IO Monad for Scala with the Cats Effect library to an audience of Scala developers.

Showcasing three different ways of performing data validation in Haskell: Simple Validation.