mbbx6spp

Git Tips

Config

Git has different levels of configuration that apply to different /”scopes”/:

• system (almost never needed; not covered here)
• global (which is /”global for a user”/ scoped)
• local (which is specific to one local clone)
• worktree (which only applies to the current worktree; only relevant if you work with worktree s)
• file (not covered here but you can set a git configuration option, when relevant at the file level, to one file)

mbbx6spp

Encrypted ZFS for NixOS

Assumptions

We will have add one partition to a zpool.

You have the following set to appropriate values:

• disk: the path for your disk device, e.g. /dev/sdb or /dev/nvme0
• efi: the path for the EFI boot partition’s device, e.g. /dev/sdb1
• part: the path to the partition of your root filesystem, e.g. /dev/sdb2

mbbx6spp

Below is an excerpt from a Slack work rant from Feburary 4, 2020.

Over the last few weeks I have learned about some of the new additions to both ECMAScript 2019 and 2020 (for reasons!!!!) anyway, the following are relevant to an FP setting: flatMap flattens nested list structure then maps over the elements. Usage:

> let arr1 = ["Australia is", "on", "fire still"];
undefined

mbbx6spp

module Main (main) where

import Control.Applicative (pure)
import Control.Bind (bind, discard)
import Control.Monad (void)
import Control.Monad.State (StateT, get, runStateT)
import Data.Array (range)
import Data.Eq ((==))
import Data.Function (($))
import Data.Functor (map)

mbbx6spp

module Models.Swagger where

import Data.Map (Map)
import Data.Maybe (Maybe (..))
import Data.String.Regex (Regex)
import Data.Show (class Show, show)

data SwaggerFormatString
  = DateFormat
  | DateTimeFormat

mbbx6spp

-- Module to demonstrate simple applications of the concept of universal construtions
module CatTheory.UniversalConstructions
       -- * Types
       ( And (..)
       , Or (..)
       -- * Introducers
       , and
       , left
       , right
       , fanin

mbbx6spp

DROP DATABASE IF EXISTS animalsdb;
CREATE DATABASE animalsdb;

\c animalsdb;

-- We're modeling the following Haskell datatype:
--
--    data Animal = Cat Name Age | Dog Name OwnerId
-- 
-- We're going to factor the common 'Name' field into the animal table.

mbbx6spp

My absolute favorite format of film is the short film. Here are a list of short films I loved watching:

• Re-Gifted (2018): CGI 3D short film that follows the life of a decrative ornament.
• 3x3 (2009): A tale of two different approaches to mastery.
• The Bigger Picture (2015): Two brothers struggling to cope with their elderly mother’s care.
• Round About Five (2005): A bicycle courier and a businessman share a fleeeting moment during a London rush hour.
• Restoration (2018): A man drives his father’s restored car and contemplates the gravity of the past.

mbbx6spp

Delegating web requests in Linux to correct browser profile

A few months ago I set this up and here is the write up on it since yesterday, while talking to a fellow Linux user, they found it intriguing.

My requirements

Any URL I click in Slack, Signal desktop app, or launch via terminal actions should launch into the correct sandboxed, user-profile web browser instance (in precedence order):

• https://github.com/<workorg>.* should open in the work Firefox profile

mbbx6spp

fmap           :: Functor f           => (a -> b)  -> f a   -> f b

contramap      :: Contravariant f     => (a <- b)  -> f a   -> f b

invmap         :: Invariant f         => (a <-> b) -> f a  <-> f b -- NOT VALID syntax but to give an intuition.

bimap          :: Bifunctor p         => (a -> b)
                                      -> (c -> d)
                                                   -> p a c
                                                   -> p b d