srid

let 
  pkgs = import <nixpkgs> {};
  pname = "zettlr";
  version = "1.6.0";
in pkgs.appimageTools.wrapType2 rec {
  name = "${pname}-${version}";
  src = pkgs.fetchurl {
    url = "https://github.com/Zettlr/Zettlr/releases/download/v${version}/Zettlr-${version}-x86_64.appimage";
    sha256 = "0s6p8rs0ag6j3wvhm518hd80s48s3sk8n20s3mazj6xlvvhc6iy5";
  };

srid

Setting up Nix

Following this thread on getting Nix set up on macOS Catalina, there's a few steps involved (assuming you have no /nix folder):

1. Set up nix folder: echo 'nix' | sudo tee -a /etc/synthetic.conf

2. Reboot for it to take effect

3. Create an APFS volume for Nix (might need to use a different diskX number, check diskutil list for more):

sudo diskutil apfs addVolume disk1 APFSX Nix -mountpoint /nix

srid

#!/usr/bin/env python3.8

import re
import sys
import os
import uuid
from pathlib import Path
import glob
import time
import datetime

srid

Keybase proof

I hereby claim:

• I am srid on github.
• I am srid (https://keybase.io/srid) on keybase.
• I have a public key ASBgNuV-ZMh9ZFRXeUJw4VQ8I3oA5MEZtDWmGw8Xl5dVDAo

To claim this, I am signing this object:

srid

Reports of misbehaviour by r/zerocarb moderators

These are only a subset of various reports of misbehaviour reported of the r/zerocarb moderators.

• And it was promptly and quietly removed by Eleanorina. [...] actions of mods of that community show that they don't care about your health https://www.reddit.com/r/carnivore/comments/bk0mw9/i_find_that_it_is_my_moral_duty_to_inform_people/

• So, I found out the ZC sub a few months ago but never had success in sticking with it for more than 15 days. I have just unsubscribed because that community is somewhat toxic and too dogmatic I guess. https://www.reddit.com/r/carnivore/comments/bfobtf/i_really_want_to_make_it_work_could_you_guys_help/

• They act like a cult, at least moderators. They behave irrationally to protect their diet. They block anything that goes against their belief even if it is truth or a legitimate concern. [...] They are no different than crazy vegans. https://www.reddit.com/r/carnivore/comments/bfy46x/is_rzerocarb_a_cult/

srid

module FixedList exposing (..)

type Nil a = Nil
type Cons fa a = Cons a fa

type alias FixedList0 a = Nil a
type alias FixedList1 a = Cons (FixedList0 a) a
type alias FixedList2 a = Cons (FixedList1 a) a

fl1 : FixedList1 Int

srid

Using Hakyll with CircleCi and GitHub Pages

[Posted April 24, 2015; restored here for reference]

Today I switched this site from Jekyll to Hakyll, a Haskell library for generating static sites. It is still hosted in GitHub Pages, which only supports Jekyll. Therefore I had to find a Continuous Delivery service (CD) that will perform and connect the "missing piece," the stage that generates the HTML pages — in between a git push and pushing to GitHub pages. Here is how I did it.

The architecture

1. For CD, we use CircleCI which hooks into the GitHub repo and monitors for any pushes. When a commit or more is pushed it will start the build per the configuration defined in cirle.yml in the repo. The first step runs cabal install which installs the Hakyll dependencies (including pandoc). This step takes a while — and the CircleCI UI provides excellent feedback on

srid

#!/usr/bin/env runhaskell
module Main where

data Coin = Quarter | Loonie deriving (Eq, Show)

type Cents = Int

cents :: Coin -> Cents
cents Quarter = 25
cents Loonie  = 100

srid

(defun jekyll-serve ()
  (interactive)
  (let* ((default-directory
          (if (string-match "_posts/$" default-directory)
              (directory-parent default-directory)
            default-directory))
         (buffer (if (get-buffer "*jekyll*")
                     (switch-to-buffer "*jekyll*")
                   (ansi-term "/bin/bash" "jekyll")))
         (proc (get-buffer-process buffer)))

srid

#!/bin/bash -e
redis_hostport=$(cat /s/etc/kato/redis_uri | cut -d"/" -f3)
redis_host=$(echo $redis_hostport | cut -d: -f1)
redis_port=$(echo $redis_hostport | cut -d: -f2)
redis_cli="redis-cli -h ${redis_host} -p ${redis_port}"

user=$(whoami)
endpoint=$(timeout 0.1 $redis_cli get cluster | json endpoint)
ipaddr=$(timeout 0.1 /sbin/ifconfig eth0 | grep "inet addr" | awk -F: '{print $2}' | awk '{print $1}')
roles=$(timeout 0.1 $redis_cli get node | json "[\"${ipaddr}\"]" | json roles | json -ak | paste -sd "," -)