View sk.R
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
## 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 |
View Oddity
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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. |
View oddity
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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,[]]}}, |
View investigation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{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, |
View 1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[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 |
View main.idr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) |
View sleepsort.bash
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Sleep sort | |
# http://dis.4chan.org/read/prog/1295544154 | |
function f() { | |
sleep "$1" | |
echo "$1" | |
} |
View gist:e2871336a440c473a18f8177f423f37e
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
View gist:19a58f8666d37bc397df4a73e2fdf7d8
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
View gist:b805f93c216b67b4bdc05086c04ee354
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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]}}, |
NewerOlder