Sridhar Ratnakumar 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):

Set up nix folder: echo 'nix' | sudo tee -a /etc/synthetic.conf
Reboot for it to take effect
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

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:

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/

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

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

	-- \| Like `unsafeMapIncremental` but the patch function also takes the old
	-- target.
	unsafeMapIncrementalWithOldValue ::
	(Reflex t, Patch p, Patch p') =>
	(PatchTarget p -> PatchTarget p') ->
	(PatchTarget p -> p -> p') ->
	Incremental t p ->
	Incremental t p'
	unsafeMapIncrementalWithOldValue f g x =
	let x0 = currentIncremental x

	#!/usr/bin/env nix-shell
	#! nix-shell -p sd
	#! nix-shell -i bash

	# Migration script for https://github.com/srid/neuron/pull/450

	# Limitations
	# - Only works if ?cf (or &cf) is at the end (usually the case)
	# - Will replace even in code blocks (!).
	# - Will also replace in raw HTML tags (if you use them).

	{ formats =
	[ "markdown", "org" ],
	sites =
	[ { siteTitle =
	"My private zettelkasten"
	, theme =
	"brown"
	},

	{ siteTitle =

	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";
	};

	#!/usr/bin/env python3.8

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

	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