chrisdone

23-09-28 20:13:14.751 $ nix shell https://gitlab.haskell.org/ghc/ghc-wasm-meta/-/archive/master/ghc-wasm-meta-master.tar.gz --extra-experimental-features nix-command  --extra-experimental-features flakes
error: flake 'https://gitlab.haskell.org/ghc/ghc-wasm-meta/-/archive/master/ghc-wasm-meta-master.tar.gz' does not provide attribute 'packages.x86_64-linux.defaultPackage.x86_64-linux', 'legacyPackages.x86_64-linux.defaultPackage.x86_64-linux' or 'defaultPackage.x86_64-linux'

chrisdone

(defun shoe-write-script (script)
  "Write SCRIPT to the proper place."
  (let* ((script-dir (shoe-script-dir script))
         (script-path (shoe-script-file-path "/" script-dir)))
    (with-temp-file script-path (insert script))))

(defun shoe-script-file-path (script &optional dir)
  "Produce the file path for SCRIPT."
  (concat (or dir (shoe-script-dir script))
          "/"

chrisdone

{-

Examples:

> reify @Int $ eval $ A (reflect (abs :: Int -> Int)) (I (-9))
9

> reify @Int $ eval $ A (A (reflect ((*) :: Int -> Int -> Int)) (reflect @Int 3)) (reflect @Int 5)
15

chrisdone

FROM ubuntu:20.04

RUN apt-get update -y
RUN apt-get install -y python pip
COPY . /home/chris/Work/alphacephei/vosk-server
WORKDIR /home/chris/Work/alphacephei/vosk-server

RUN pip install -r requirements.txt && pip3 install sounddevice
RUN apt-get install -y libportaudio2

chrisdone

import           System.Posix.Signals

main = do
   mainId <- RIO.myThreadId
  _ <-
    installHandler
      softwareTermination
      (CatchOnce
         (do S8.putStrLn "Received SIGTERM. Killing main thread."
             killThread mainId))

chrisdone

-- | Load a renamed cell.
resolveRenamedCell ::
     Map Hash (Either LoadError LoadedExpression)
  -> FillerEnv LoadError
  -> IsRenamed (Expression Renamed)
  -> RIO DocumentReader (Either LoadError (IsResolved (Expression Resolved)))
resolveRenamedCell globalTypes globalHashes isRenamed = do
  hasConstraints <-
    pure $
    first LoadGenerateError $

chrisdone

fineGrained :: Spec
fineGrained = do
  describe
    "Successful"
    (do it "a ~ a" (shouldReturn (unifyConstraints' [a .~ a]) (pure []))
        it
          "Integer ~ Integer"
          (shouldReturn (unifyConstraints' [_Integer .~ _Integer]) (pure []))
        it
          "a ~ b"

chrisdone

22-03-21 13:32:52.939 $ cat /opt/hindent-ormolu 
#!/bin/bash

/opt/ormolu-0.1.4.1 \
     "--ghc-opt" "-XBangPatterns" \
     "--ghc-opt" "-XNumericUnderscores" \
     "--ghc-opt" "-XOverloadedLabels" \
     "--ghc-opt" "-XPatternSynonyms" \
     "--ghc-opt" "-XTypeApplications" \
     "--mode" "stdout"

chrisdone

Installing a TLS SSL certificate in HAProxy from Namecheap - Sectigo Limited certificate

When buying an SSL certificate from Namecheap, you generate a CSR, which generates a private key, save that for later as private.key.

After you've paid for your certificate, you recieve a zip file that looks like this:

$ ls -alh
total 52K

chrisdone

     Prelude/Data.List/Data.Vector/Data.Map:
     (!!) :: [a] -> Int -> a
     replicate :: Int -> a -> [a]
     take :: Int -> [a] -> [a]
     drop :: Int -> [a] -> [a]
     splitAt :: Int -> [a] -> ([a], [a])