Unison speed test

tripleo — Tue, 05 Nov 2024 04:11:23 +0000

I wonder which one is faster, and which one is correct, of the following two:

Their:

base.List.compress: [a] -> [a]
base.List.compress as = case as of
  [] -> []
  [x] -> [x]
  [x, y] ++ rest ->
    if (x == y) then base.List.compress (y +: rest)
    else x +: base.List.compress (y +: rest)

Mines:

base.List.compress: [a] -> [a]
base.List.compress as = case as of
  [] -> []
  [x] -> [x]
  [x, y] ++ rest ->
    if (x == y) then base.List.compress (y +: rest)
    else (x +: y) +: base.List.compress rest

https://dev.to/petets/property-based-testing-in-unison-2knp

Things to do after installing Ubuntu

tripleo — Fri, 20 Sep 2024 02:33:58 +0000

Disable firefox snap:

echo '
Package: *
Pin: release
Pin-Priority: 1001

Package: firefox
Pin: version 1:1snap1-0ubuntu2
Pin-Priority: -1
' | sudo tee /etc/apt/preferences.d/mozilla-firefox

Remove the nano editor. Some people like it. I dont.

apt remove nano

2b. Remove new console and text-editor apps and "upgrade" to previous versions until there is some sort of feature or ui parity.

apt install gedit gnome-terminal gnome-console- gnome-text-editor-

Install vscodium (you could also use home-manager -- regular nix-env does not appear to work).

  curl -fSsL https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | sudo gpg --dearmor | sudo tee /usr/share/keyrings/vscodium.gpg >/dev/null
  echo "deb [arch=amd64 signed-by=/usr/share/keyrings/vscodium.gpg] https://download.vscodium.com/debs vscodium main" | sudo tee /etc/apt/sources.list.d/vscodium.list
  sudo apt update
  sudo apt install codium #-insiders, if you like that

DEV Community: tripleo

Unison speed test

Things to do after installing Ubuntu