dhruvio

port module CandleStickComponent exposing (..)

import Browser
import Chart as C
import Chart.Attributes as CA exposing (dashed)
import Chart.Events as CE
import Chart.Item as CI
import Chart.Svg as CS
import Html as H exposing (Html, div, span, text)
import Html.Attributes exposing (class)

dhruvio

#! /usr/bin/env bash

# Script to install NixOS from the Hetzner Cloud NixOS bootable ISO image.
# Wipes the disk!
# Tested with Hetzner's `NixOS 20.03 (amd64/minimal)` ISO image.
#
# Run like:
#
#     curl https://nh2.me/nixos-install-hetzner-cloud.sh | sudo bash
#

dhruvio

* Installing NixOS on the RockPi4 (B)

The general plan is to build an sd-image-aarch64 from
nixpkgs/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix
flash it to the eMMC and have the system come up, similar to how this
"just works" for raspberry-pis.

The RockPi 4 is a RockChip RK3399 based board, build by [[https://radxa.com][radxa]] with the
same formfactor as a rasperry Pi.  One noticable difference is that
the Rock Pi's cpu is at the bottom to better allow for the

dhruvio

{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneDeriving #-}
module RedBlackTree where

data Zero 
data Succ n
type One = Succ Zero

data Black

dhruvio

# This isn't meant to be ran as a script, but line-by-line
# Props to Binary (benary.org) for helping me with this

# 0: Create a Scaleway instance and SSH into it
ssh root@...

# 1: Install Nix
  adduser user          # set a password, doesn't matter what because it's not staying long
  adduser user sudo
  su -l user