2025.09.14
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 →📚📚📚
3 min
@gvolpe
Lead Software Engineer obsessed with correctness and reproducibility
Latest on the blog
2025.05.11
✨ Featured
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 →2024.12.17
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 →