Chris Done chrisdone-artificial

Law's that apply to our industry (and others) are interesting to me, and I'm writing up here the ones that often come to mind. I usually forget the name, so writing them up might be helpful for remembering in future.

Parkinson's law

C. Northcote Parkinson's law: Work expands so as to fill the time available for its completion. Similarly, in computing, data expands to fill the space available for storage,

	// Create the context menu item when the extension is installed
	browser.contextMenus.create({
	id: "open-link-temporarily",
	title: "Open Link temporarily",
	contexts: ["link"]
	});

	// Track tabs that should be auto-closed
	const tempTabs = new Map();

	newtype T1 t a = T1 { unT1 :: forall e. t e a }
	deriving instance (forall e. Functor (t e)) => Functor (T1 t)
	instance (forall e. Applicative (Either e)) => Applicative (T1 Either) where
	pure x = T1 (pure x)
	(<>) f x = T1 (unT1 f <> unT1 x)
	instance (forall e. Monad (Either e)) => Monad (T1 Either) where
	(>>=) m f = T1 (unT1 m >>= unT1 . f)

	newtype L c t = L (forall e. Dict (c (t e)))

	withL :: forall c t r. L c t -> (forall e. Dict (c (t e)) -> r) -> r
	withL (L dict) r = r dict

	functorEitherL :: L Functor Either
	functorEitherL = L Dict

	someFuntorEitherL :: Dynamic
	someFuntorEitherL = toDyn functorEitherL

	Llama-3.2-3B-Instruct-uncensored.Q4_K_M

	summarise: https://chrisdone.com/posts/llms/

	> llama-summarise-buffer:

	The document is a personal reflection by the author, a researcher, on their experiences with large language models (LLMs)
	from September 23, 2025, discussing their applications, limitations, and concerns regarding their impact.

	> summarise whole thing:

	{-# language KindSignatures, RankNTypes, GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
	import Data.Functor.Const
	import Control.Monad.ConstrainedNormal
	import qualified Data.ByteString as S
	import qualified Data.ByteString.Char8 as S8
	import Data.Functor.Identity
	import Data.ByteString (ByteString)
	import qualified Data.Map as Map
	import Data.Map (Map)
	import qualified Data.Set as Set

	{-# LANGUAGE KindSignatures #-}
	{-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
	import Control.Monad.Free
	import Control.Applicative.Free
	import qualified Data.ByteString as S
	import qualified Data.ByteString.Char8 as S8
	import Data.Functor.Identity
	import Data.ByteString (ByteString)
	import qualified Data.Map as Map
	import Data.Map (Map)

	{-# language GADTs, LambdaCase #-}
	import qualified Data.ByteString as S
	import qualified Data.ByteString.Char8 as S8
	import Data.Functor.Identity
	import Data.ByteString (ByteString)
	import qualified Data.Map as Map
	import Data.Map (Map)
	import qualified Data.Set as Set
	import Data.Set (Set)
	import Control.Monad.Trans.State.Strict

	- id: "update-website"
	execute-command: "/home/chris/update-website.sh"
	# include-command-output-in-response: true
	trigger-rule:
	and:
	- match:
	type: "payload-hmac-sha256"
	secret: "....
	parameter:
	source: "header"