This is a Haskell library and -client for working with OpenTimestamps. It's on Hackage here: haskell-opentimestamps. OpenTimestamps is a protocol for creating and verifying timestamps for digital files, which can be used to prove that a file existed at a certain point in time. Library The library provides functionality …

Read More

Returned to Debian (stable) because NixOS updates are getting increasingly heavy, so that my ageing Asus N53J laptop can no longer handle them comfortably (latest update locked up my computer for at least an hour). I'm using a simple bash shell script to have somewhat declarative installs. I have considered to return …

Read More

Looking into hastl, which is a modern Haskell web application template using (H)tmx, (A)lpine.js, (S)ervant, (T)ailwind-css and (L)ucid. It is licensed under MIT and is entirely free and open source. Features: Type-safe APIs, Modern frontend with htmx, Live reloading with GHCID. On GitHub: eldr-io/hastl. Haskell …

Read More

An Android Studio development environment can be somewhat cumbersome to set up under NixOS, so a solution using a Docker container is described in this article. Normally instructions at NixOS Android suffice, but I'm experiencing trouble with additional functionality (e.g. The Gradle Wrapper). Hence this Docker based …

Read More

Install a full Haskell development environment (including hpack and cabal) on your Android phone. The command prompt runs via Termux and its PRoot (i.e. proot-distro). F-Droid Install F-Droid from f-droid.org (follow instructions). Termux + PRoot First install the Termux package via F-Droid and then follow the PRoot …

Read More

In the past I have used the xmonad tiling window manager but eventually returned to KDE, because I had some problems with truncated text in terminal windows, needed to be able to run a complicated GUI that was not very suited for a tiling window manager and I thought there was not that much difference in performance. …

Read More

Create a Docker image with Debian Linux in which you can install and use Haskell tooling via ghcup and that uses your computer's native GUI. This can be useful because using ghcup under NixOS is a bit of a nuisance. On the Docker host computer, if you run the container manually, do not forget to use xhost to allow …

Read More

Create an Interactive Brokers' Trader Workstation platform Docker image that uses your computer's native GUI. This can be useful when your operating system is not supported by Trader Workstation or no recent version is available. The docker image is based on alekna/docker-ib-tws Docker image (by Laurynas Alekna), but …

Read More

A nix-shell can be used to quickly set up ad-hoc development environments with all required dependencies in place. SDL2 program To compile an SDL2 program –for this example Tsoding's sowon is used– put the following in a shell.nix file: 1with import <nixpkgs> {}; 2 3let 4 stdenv8 = overrideCC stdenv gcc8; 5in 6 …

Read More

The Purely Functional Linux Distribution – NixOS (by Dolstra, Eelco). NixOS is a Linux distribution with a unique approach to package and configuration management. Built on top of the Nix package manager, it is completely declarative, makes upgrading systems reliable, and has many other advantages. The configuration is …

Read More