I hereby claim:
- I am danielsanchezq on github.
- I am netwave (https://keybase.io/netwave) on keybase.
- I have a public key ASBVfZvvkvmyQlUIyK7jDaQsE8e9lIqAhHqjASkaZoIF2Qo
To claim this, I am signing this object:
| #! /user/bin/python3 | |
| from collections import defaultdict | |
| from itertools import groupby | |
| import operator | |
| class Operation(object): | |
| TAPE = [] | |
| RECORD = defaultdict(lambda: 0) | |
| RESULTS = {} | |
| OPERATIONS = { |
| trait Functor <A, B, C, F> where F : Fn(&A) -> B { | |
| fn fmap(&self, f: F) -> C; | |
| } | |
| enum List<T> { | |
| Nil, | |
| List(T, Box<List<T>>) | |
| } | |
| impl<A, B, F> Functor<A, B, List<B>, F> for List<A> |
| #ifndef _MEM_LICKER_ | |
| #define _MEM_LICKER_ | |
| #include <unordered_map> | |
| #include <iostream> | |
| #include <string> | |
| using namespace std; | |
| using ptr = void*; | |
| struct PtrData |
I hereby claim:
To claim this, I am signing this object:
| #ifndef _MEM_LICKER_ | |
| #define _MEM_LICKER_ | |
| #include <unordered_map> | |
| #include <iostream> | |
| #include <string> | |
| using namespace std; | |
| using ptr = void*; | |
| struct PtrData |
| use std::fs; | |
| use std::io; | |
| use std::io::BufReader; | |
| use std::path::{Path, PathBuf}; | |
| use bincode::Options; | |
| type PersistentFragmentLog = String; | |
| struct FileFragments { |
| use const_str; | |
| pub trait Foo { | |
| const ID: &'static str; | |
| } | |
| struct A; | |
| struct B; | |
| impl Foo for A { |
| from collections import defaultdict | |
| from math import ceil | |
| benches_results = { | |
| "proofs": { | |
| 128: 0.28, | |
| 256: 0.47, | |
| 512: 0.82, | |
| 1024: 1.39 | |
| }, |
| encoder fastest β slowest β median β mean β samples β iters | |
| β°β encode β β β β β | |
| ββ 32 β β β β β | |
| β ββ 128 436.8 ms β 436.8 ms β 436.8 ms β 436.8 ms β 1 β 1 | |
| β β 75.01 KB/s β 75.01 KB/s β 75.01 KB/s β 75.01 KB/s β β | |
| β ββ 256 615 ms β 615 ms β 615 ms β 615 ms β 1 β 1 | |
| β β 53.27 KB/s β 53.27 KB/s β 53.27 KB/s β 53.27 KB/s β β | |
| β ββ 512 1.112 s β 1.112 s β 1.112 s β 1.112 s β 1 β 1 | |
| β β 29.46 KB/s β 29.46 KB/s β 29.46 KB/s β 29.46 KB/s β β | |
| β ββ 1024 1.853 s β 1.853 s β 1.853 s β 1.853 s β 1 β 1 |
| verifier fastest β slowest β median β mean β samples β iters | |
| β°β verify β β β β β | |
| ββ 32 β β β β β | |
| β ββ 128 36.91 ms β 36.91 ms β 36.91 ms β 36.91 ms β 1 β 30 | |
| β β 866.8 B/s β 866.8 B/s β 866.8 B/s β 866.8 B/s β β | |
| β ββ 256 20.77 ms β 20.77 ms β 20.77 ms β 20.77 ms β 1 β 30 | |
| β β 1.54 KB/s β 1.54 KB/s β 1.54 KB/s β 1.54 KB/s β β | |
| β ββ 512 12.56 ms β 12.56 ms β 12.56 ms β 12.56 ms β 1 β 30 | |
| β β 2.546 KB/s β 2.546 KB/s β 2.546 KB/s β 2.546 KB/s β β | |
| β ββ 1024 8.469 ms β 8.469 ms β 8.469 ms β 8.469 ms β 1 β 30 |