jlouis

## Libraries we are going to need
library(tidyverse)
library(lubridate)

## Load in the data set
vdecls <- readxl::read_xlsx("stramkurs.xlsx", col_types=c("date"))
## Fixup the data set, since Excel is utter crap. There are some NA values, get
## rid of those
vdecls <- filter(vdecls, !is.na(vdecls))
## The name of the column is rather irritating, fixup

jlouis

Eshell V9.3  (abort with ^G)
(eqc@127.0.0.1)1> <<F:64/float>> = <<128,0,0,0,0,0,0,0>>.
<<128,0,0,0,0,0,0,0>>
(eqc@127.0.0.1)2> G = 0.0.
0.0
(eqc@127.0.0.1)3> F.
0.0
(eqc@127.0.0.1)4> G.
0.0
(eqc@127.0.0.1)5> F == G.

jlouis

Shrinking x..xxxxxxxxxx.x..x.x...x..xxxxxxxxx.x..x..xx.xxxxxxxxxxxxx(17 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[]}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[]}},
 {set,{var,1},{call,maps_eqc,populate,[puts,[{0.0,true}]]}},
 {set,{var,2},{call,maps_eqc,put,[0.0,[]]}},

jlouis

{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[]}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[]}},
 {set,{var,1},
      {call,maps_eqc,populate,
            [puts,

jlouis

[jlouis@lady-of-pain tmp]$ cat foo.csv
BenchmarkBlake2B/1-8      	 5000000	       303 ns/op	   3.29 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/2-8      	 5000000	       317 ns/op	   6.30 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/4-8      	 5000000	       304 ns/op	  13.14 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/8-8      	 5000000	       301 ns/op	  26.51 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/32-8     	 5000000	       312 ns/op	 102.44 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/64-8     	 5000000	       282 ns/op	 226.20 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/128-8    	 5000000	       251 ns/op	 509.27 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/256-8    	 3000000	       439 ns/op	 582.19 MB/s	       0 B/op       0 allocs/op
BenchmarkBlake2B/512-8    	 2000000	       770 ns/op	 664.14 MB/s	       0 B/op       0 allocs/op

jlouis

module Main

data MaybeINTHEBLACKHOLE : Type where
  YEAH : Nat -> MaybeVOID
  NOPE : Void -> MaybeVOID
  
data Dessert : MaybeINTHEBLACKHOLE -> Type where
  Now : Dessert (YEAH 0)
  Never : Dessert (NOPE _)
  HalfwayBetween : Dessert (YEAH 15)

jlouis

#!/bin/bash

# Sleep sort
# http://dis.4chan.org/read/prog/1295544154


function f() {
    sleep "$1"
    echo "$1"
}

jlouis

4> eqc:module({testing_budget, 300}, enacl_eqc).
prop_box_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).......................................(x1000).......(x100).(x10)....(x1).......
Time limit reached: 10.714 seconds.

OK, passed 508247 tests
prop_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....(x100).....(x10)......(x1)......
Time limit reach

jlouis

2> eqc:module({testing_budget, 600}, enacl_eqc).
prop_box_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)..........................................................................................................(x100).........(x10).(x1)....
Time limit reached: 21.428 seconds.

OK, passed 1172014 tests
prop_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x10

jlouis

Shrinking x..xxxxxxx.x..xx.x...x...x...xxxxxxxxxx.xxxxxxxxxxxx(16 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[],"19"}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[],"19"}},
 {set,{var,1},{call,maps_eqc,put,[4.0,0]}},
 {set,{var,2},{call,maps_eqc,take,[4]}},