Using the latest version of SQLite with Haskell on WindowsThis is one of those installation odysseys.Mar 27, 2021Mar 27, 2021
Two types of Haskell extensionsMany Haskell language extensions have the pleasant property that they merely enable new features of the language, without their presence…Feb 25, 2021Feb 25, 2021
(micro)benchmarking Vimscript closuresNote to future readers: at the moment of writing this post, a new, faster version of Vimscript is in the works. This post is about the…Mar 2, 2020Mar 2, 2020
Minimal Cabal Files, revisitedBack in 2017, Juan Pedro Villa Isaza wrote an interesting post called Minimal Cabal Files. How time flies! We are now in 2020 and…Feb 14, 2020Feb 14, 2020
event designators, word designators and modifiers in bashNothing groundbreaking or revelatory here, I’m just writing this to better remember some of these bash tricks. You can look at the…Jan 27, 2020Jan 27, 2020
Getting to play with Nix on Windows using DockerPrompted by this post, I decided to learn the rudiments of the Nix package manager. The problem is that I’m on a Windows machine, and Nix…Jun 14, 2019Jun 14, 2019
Installing Agda 2.5.4.1 on Windows 10I plan to go through the CS410 2017 Agda course. This is how I installed Agda on my Windows machine.Sep 13, 20182Sep 13, 20182
Emulating Go’s struct field tags in Haskell (I)The Go language has a nice feature: when declaring a struct, you can assign metadata to each field. That metadata is later avaliable using…Jun 11, 2018Jun 11, 2018
Properties in SpringI’m writing this to help me sort out the different ways of handling properties in Spring.Jan 7, 20181Jan 7, 20181