| 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: |
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.
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,
| {-# 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 KindSignatures #-} | |
| {-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-} | |
| 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) | |
| import qualified Data.Set as Set |
| {-# 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" |
| # The Caddyfile is an easy way to configure your Caddy web server. | |
| # | |
| # Unless the file starts with a global options block, the first | |
| # uncommented line is always the address of your site. | |
| # | |
| # To use your own domain name (with automatic HTTPS), first make | |
| # sure your domain's A/AAAA DNS records are properly pointed to | |
| # this machine's public IP, then replace ":80" below with your | |
| # domain name. |
| {-# LANGUAGE TypeSynonymInstances #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# OPTIONS_GHC -fno-warn-orphans #-} | |
| -- | Useful utilities for using Lucid with Yesod. | |
| module Yesod.Lucid | |
| (module Yesod.Lucid | |
| ,module Yesod |