prozacchiwawa

use serde_json;

pub enum And<T,U> {
    These(T,U)
}

pub enum Field<T> {
    Named(&'static str,T)
}

prozacchiwawa

#[cfg(any(test, feature = "fuzzer"))]
use rand::prelude::*;
use rand::Error;

use random_lfsr_256_galois::{LFSRGalois, LFSRGaloisBuilder};

// A pseudo RNG which uses a slice for all entropy.  It iterates a given slice
// many times, scrambling the bits through an LFSR in subsequent passes so that
// the fuzzer maintains a relationship between the original input bits and the
// output with some predictability.

prozacchiwawa

Fixpoint nat_lt (a : nat) (b : nat) : bool :=
  match b with
  | 0 => false
  | (S b1) =>
      match a with
      | 0 => true
      | (S a1) => nat_lt a1 b1
      end
  end.

prozacchiwawa

#!/usr/bin/env python3

import os
import sys
import tty
import time
import uuid
import signal
import socket
import argparse

prozacchiwawa

/* no warnings in desmet c 2.4
   C> C88 FORBIDDE.C
   C> BIND FORBIDDE.O
*/
#include <stdio.h>

struct X {
  int typ;
  int x_str;
  int next;

prozacchiwawa

#include <stdio.h>
#include <graph.h>
#include <math.h>
#include <float.h>
#include <dos.h>
#include <malloc.h>

int *buf;
unsigned short off;
double direction;

prozacchiwawa

Keybase proof

I hereby claim:

• I am prozacchiwawa on github.
• I am arty (https://keybase.io/arty) on keybase.
• I have a public key ASBOAvnkixLoUYOuqvhsBNHwYj_vltAecfEJ9JdgC7nH5Qo

To claim this, I am signing this object:

prozacchiwawa

import Decidable.Equality

data RETree : (t : Type) -> Type where
  End : RETree t
  Item : t -> RETree t
  Sequence : RETree t -> RETree t -> RETree t
  OneOrTheOther : RETree t -> RETree t -> RETree t
  Repeated : RETree t -> RETree t -> RETree t

simpleItemAppliesToRE : (DecEq t) => t -> t -> Bool

prozacchiwawa

def mini_parse_schema(lines):
    have_tables = {}
    for line in lines:
        first_paren_idx = line.index('(')
        if first_paren_idx == -1:
            continue

        end_paren_idx = line.rindex(')')
        if end_paren_idx == -1:
            continue

prozacchiwawa

#!/usr/bin/env python
import sys
import sqlite3

COPY_BLOCKS=1000
block_records_fields = [
       'header_hash',
       'prev_hash',
       'height',
       'weight',