Я (ya) is a letter of the Cyrillic script and the name of a new ‘programming experience’ developed by Murat Kasimov (MK) presented at his website and implemented in Haskell. MK’s articles use terminology that derives from category theory. Class A class is a collection of objects that are defined by a property. Some classes […]
Mounting
I needed to support lightweight trellis a little way from the back side of traditional featherboard fencing, with no effect on the fencing. Design and construction The fencing panels had three horizontal arris rails of the traditional size (that is, cut from 3 in or 75 mm square posts). I used spare softwood sticks of […]
Stack on NixOS
I had configured stack as a system package on NixOS/Plasma. That provided stack –version of 3.9.3 x86_64 hpack-0.39.1, the NixOS project’s version of Stack 3.9.3. On NixOS, Stack’s nix: enable configuration option defaults to true. That means that Stack uses Nix to manage GHC versions and builds, by default, in a pure Nix shell. Building […]
Configuring NixOS
After I was able to dual boot into NixOS/Plasma, I needed to configure it. Scaling the display The default scaling on my 1,920 by 1,200 screen was too small to be legible. I set and applied Scale as 150% in System Settings > Display & Monitor > Display Configuration. This was also reflected on the […]