Soupstraw

{-# LANGUAGE Arrows #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}

module Main where

import Data.Foldable (Foldable (..))

Soupstraw

; crypto.cddl
$hash28 /= bytes .size 28

$hash32 /= bytes .size 32

$vkey /= bytes .size 32

$vrf_vkey /= bytes .size 32

$vrf_cert /= [bytes, bytes .size 80]

Soupstraw

let
  agda27Pkgs = import (builtins.fetchTarball
    "https://github.com/nixos/nixpkgs/tarball/d4f247e89f6e10120f911e2e2d2254a050d0f732") {};

  locales = {
    LANG = "en_US.UTF-8";
    LC_ALL = "en_US.UTF-8";
    LOCALE_ARCHIVE = if agda27Pkgs.system == "x86_64-linux"
                     then "${agda27Pkgs.glibcLocales}/lib/locale/locale-archive"
                     else "";

Soupstraw

### Keybase proof

I hereby claim:

  * I am Soupstraw on github.
  * I am soupstraw (https://keybase.io/soupstraw) on keybase.
  * I have a public key whose fingerprint is F58F F8D5 256E AD97 8F1F  76A6 2A83 D64B A788 A854

To claim this, I am signing this object:

Soupstraw

import re
from functools import reduce
from collections import defaultdict
from random import randint

usr_dict = defaultdict(list)
data = []

# Parse chat logs
for filename in ['94.html', '61.html', '36.html']: