Hello World!

I am a Software Engineer specialized in λ functional programming,
writing strongly-typed code in Haskell ⥈ Scala ⇒ reproducible builds via Nix.

Latest on the blog

XMonad + Polybar on NixOS

Nov 25, 2020

Table of Contents Introduction XMonad Configuration System level User level Rofi Polybar Dunst Betterlockscreen Picom System tray Udiskie Conclusion Introduction I’ve been a Gnome user for a long time and... Read more »

Gnome 3 on NixOS

Jul 1, 2020

NixOS can be configured to run any desktop environment you want and Gnome 3 is not an exception. However, it comes with some caveats so keep reading if you are... Read more »

Github actions powered by Nix Shell & Cachix

Jun 2, 2020

The more I learn about Nix - a purely functional package manager - the more I am convinced this is the way forward. Even if there’s still room for big... Read more »

Parallel typeclass for Haskell

Apr 20, 2020

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... Read more »

Setting up Ghcide in Ubuntu with Nixpkgs

Mar 21, 2020

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. Nixpkgs has been mainly designed to... Read more »

All posts

Talks

I've mainly given talks about Haskell, Scala and Nix, both at conferences and city meetups.

Projects

These are some of the open source projects I worked on.

Name	Description
Dconf2nix	Convert Dconf files (Gnome Shell) to Nix, as expected by Home Manager
Dorado	Generic golden testing library with support for MUnit and Weaver
Fs2 Rabbit	RabbitMQ stream-based client built on top of Fs2
Http4s JWT Auth	Opinionated JWT authentication library for Http4s
Http4s Tracer	End-to-end tracing system for Http4s
Neovim-flake	Nix flake for Neovim with configuration options highly focused on Scala 3
Neutron	Purely functional Apache Pulsar client for Scala built on top of Fs2
Nix-config	My NixOS configuration files, home-manager, neovim, etc.
PFPS Examples	Standalone examples from the "Practical FP in Scala" book
PFPS Shopping Cart	The application developed in the "Practical FP in Scala" book
PostgreSQL Resilient	Automatic re-connection support for PostgreSQL (Haskell)
Redis4Cats	Purely functional Redis client for Cats Effect & Fs2
Sbt Nix	G8 template, docs and examples on managing Scala projects with Nix
Split Morphism	Split Epimorphisms and Monomorphisms for Haskell
Supernova	Apache Pulsar client for Haskell