michelrandahl

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

• Encrypted Root on NixOS - Nix Wiki
• Installing NixOS - Chris Martin
• Linux administration and use - Earl Douglas
• Installing NixOS on a ThinkPad W540 with encrypted root - Bluish Coder

michelrandahl

# test om ipython virker...
print("hello world")

# lav en liste af værdier mellem 1 og 10
list(range(1, 10))

# lav en anonym funktion
min_funktion = lambda x: x + 3

# kald den anonyme funktion

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Functor Option where
  map f None = None
  map f (Some x) = Some (f x)

Applicative Option where
  pure x = Some x

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Functor Option where
  map f None = None
  map f (Some x) = Some (f x)

Applicative Option where
  pure x = Some x

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Functor Option where
  map f None = None
  map f (Some x) = Some (f x)

Applicative Option where
  pure = ?stuff1

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Functor Option where
  map = ?stuff3

Applicative Option where
  pure = ?stuff1
  (<*>) = ?stuff2

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Applicative Option where
  pure = ?stuff1
  (<*>) = ?stuff2

Monad Option where
  (>>=) = ?stuff

michelrandahl

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x
              
Monad Option where
  (>>=) = ?stuff              

michelrandahl

-- Defining some Maybe values... 
-- These could just as well have been database lookups or something else
x : Maybe Nat
x = Just 42

y : Maybe String
y = Just "hello idris"

z : Maybe Nat
z = Just 4

michelrandahl

function pipe(data, ...)
  local n = select("#", ...)
  if n == 0 then
    return data
  else
    local funs = {...}
    local f = table.remove(funs, 1)
    return pipe(f(data), unpack(funs))
  end
end