Gabriel Volpe

@gvolpe

Lead Software Engineer obsessed with correctness and reproducibility

Latest on the blog

The perfect tiling window manager

XMonad has been my main driver for years, and I still think it’s the best X11 window manager ever. However, the X11 windowing system is quite dated, …

Read More →

Unison: Forex API & Caching

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. Though, …

Read More →

Home Manager: dotfiles management

What is Home Manager? Quoting the official description from their website: Home Manager "This project provides a basic system for managing a user environment …

Read More →