Susan Potter 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.

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

Question

I just got asked this question: How do I find the SHA256 for a fetchGitHub in Nix expressions without faking it and getting it from the error message?

Answer

Install nix-prefetch-github:

$ nix-env -i nix-prefetch-github

Decisions/directions for web development projects

Goals for future websites or web applications builts in the next year include:

Accessibility: content on the web application should be accessible to people of different abilities using screenreaders by default
Footprint: assets and markup of web application should be as minimal as possible without forgoing any of these other goals
Mobile-first: design layouts and content dissemination should be optimized for mobile-first
Usable: most common tablet and desktop size renderings should work well
Performance: ensure each page load has first meaningful paint within 0.4s and ensure page fully interactive by 0.8s (without network latency)

Category Theory and Functional Programming Study Materials

Acronyms/Terms

CT: Category Theory
FP: Functional Programming (typically meaning more pure functional programming)
TFP: Total Functional Programming
TDD: Type Driven Development (e.g. via Idris or Agda)
TT: Type Theory
PLT: Programming Language Theory

	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.

	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

	{-# LANGUAGE NoImplicitPrelude #-}

	module AlternativeExample where

	import Control.Applicative
	import Data.Maybe
	import Data.Text hiding (empty)
	import GHC.Show (Show)

	type Login = Text

	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE RankNTypes #-}

	import Control.Monad (mapM_)
	import Data.Function (($))
	import Data.Functor (Functor (..))
	import Data.List ((++))
	import GHC.Num (Integer, (+))

	This Gist confirms the Linked Identity in my OpenPGP key, and links it to this GitHub account.

	Token for proof:
	[Verifying my OpenPGP key: openpgp4fpr:8e42c6f5300b802a2df2e7375ea6752798ade611]