0xameer

I was trying to configure native ipv6 on my NixOS box, which is running in online.net's datacenters. They provide you a /48 or smaller subnet and a DUID which is used during DHCP. In dhcpcd vocabulary DUID is called clientid.

online.net's help page about IPv6 configuration was not very useful, since NixOS uses dhcpcd by default. The page which allowed me to make it all work was https://community.online.net/t/tutorial-ipv6-with-dhcpcd/3804

It looks like the only really required entries in networking.dhcpcd.extraConfig are interface and static though. I assumed that clientid is also necessary, but it looks like dhcpcd cares much more about content of /etc/dhcpcd.duid. Of course replace enp2s0 with the name of the main interface.

0xameer

(* In Andromeda everything the user writes is "meta-level programming. *)

(* ML-level natural numbers *)
mltype rec mlnat =
  | zero
  | succ of mlnat
  end

(* We can use the meta-level numbers to define a program which computes n-fold iterations
  of f. Here we give an explicit type of iterate because the ML-type inference cannot tell

0xameer

;; -*- lexical-binding: t; -*-

;;===[ PERFORMANCE ENHANCEMENTS ]===============================================
;; See:
;;   https://github.com/hlissner/doom-emacs/wiki/FAQ#how-is-dooms-startup-so-fast
(defvar file-name-handler-alist-backup file-name-handler-alist)
(defvar gc-cons-threshold-backup       gc-cons-threshold)
(defvar gc-cons-percentage-backup      gc-cons-percentage)

(setq gc-cons-threshold 402653184

0xameer

{ config, lib, pkgs, inputs, system, ... }:
# to be modulazrized as overlay, well maybe
let

  unstable = import (fetchTarball
    "https://github.com/NixOS/nixpkgs/archive/nixos-unstable.tar.gz") {
      overlays = [
        (import (builtins.fetchTarball {
          url =
            "https://github.com/nix-community/emacs-overlay/archive/master.tar.gz";

0xameer

—- Functors
{—
class Functor f where
fmap :: (a->b) ->fa-->fb
—}
-- Monads, comonads
class (Functor m) => Mon m where
unit :: a->ma
mult :: m (ma) -> ma
class (Functor n) => Comon n where

0xameer

openpgp4fpr:5303A2502DA636704D86227F0833317599B7F097

0xameer

[Verifying my cryptographic key:openpgp4fpr:d4b56e4d18ed5be3e4aee1cdff331a5a1a7ab372]

0xameer

Require Import Coq.Classes.SetoidClass.

Program Instance Iff1Setoid{A:Type} : Setoid (A->Prop) := {|
  equiv := fun P Q => forall x, P x <-> Q x
|}.
Next Obligation.
  split.
  - intros P x; reflexivity.
  - intros P Q H x; symmetry; exact (H x).
  - intros P Q R H0 H1 x; transitivity (Q x); [exact (H0 x)|exact (H1 x)].

0xameer

with import <nixpkgs> {};
mkShell {
  nativeBuildInputs = [
    ocaml
    opam
    dune_2
    pkg-config
    gcc
    bintools-unwrapped
    gmp

0xameer

Keybase proof

I hereby claim:

• I am carnotweat on github.
• I am sameerg (https://keybase.io/sameerg) on keybase.
• I have a public key whose fingerprint is 7418 D902 D3DE A1C0 EB27 001F FA20 2CE6 D5F0 4602

To claim this, I am signing this object: