[ Launch: Tributary inlet ] 5f69b962394b2276092e by seliopou
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
(executable (name test_rng) (libraries async mirage-crypto-rng-async) (preprocess (pps ppx_jane))) |
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 String = StringLabels | |
type t = Bytes.t | |
external unsafe_get_64 : Bytes.t -> int -> int64 = "%caml_string_get64u" | |
external unsafe_set_64 : Bytes.t -> int -> int64 -> unit = "%caml_string_set64u" | |
let pp_hum fmt t = | |
Printf.fprintf fmt "x%.16Lx" (unsafe_get_64 t 0); | |
Printf.fprintf fmt "x%.16Lx" (unsafe_get_64 t 8); |
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
#!/usr/bin/env bash | |
TMPFILE=$(mktemp) | |
trap "rm $TMPFILE" exit | |
set -x | |
set -e | |
error_and_exit() { | |
echo -e "$(basename $0): $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
#include <assert.h> | |
#include <stdio.h> | |
#include <stdlib.h> | |
#include <string.h> | |
#include <unistd.h> | |
#include <sys/types.h> | |
#include <sys/socket.h> | |
#include <netinet/in.h> | |
#include <netinet/ip.h> |
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
OASISFormat: 0.4 | |
Name: packbug | |
Plugins: META (0.4), DevFiles (0.4) | |
BuildTools: ocamlbuild | |
Authors: garbage | |
Version: garbage | |
License: PD | |
Synopsis: garbage |
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
# twitter1.json | |
βββββββββββββββββββββββββββ¬βββββββββββ¬βββββββββββββ¬βββββββββββ¬βββββββββββ¬ββββββββββ¬βββββββββββ¬ββββββββββββββββ¬βββββββββββ¬βββββββββββ¬ββββββββββββββββββ¬βββββββββββββ | |
β Name β Time/Run β mWd/Run β mjWd/Run β Prom/Run β mGC R^2 β mGC/Run β 95ci β mjGC R^2 β mjGC/Run β 95ci β Percentage β | |
βββββββββββββββββββββββββββΌβββββββββββΌβββββββββββββΌβββββββββββΌβββββββββββΌββββββββββΌβββββββββββΌββββββββββββββββΌβββββββββββΌβββββββββββΌββββββββββββββββββΌβββββββββββββ€ | |
β twitter1: angstrom-json β 16.12us β 7_590.08w β 10.25w β 10.25w β 1.00 β 28.95e-3 β -0.06% +0.06% β 0.20 β 0.09e-3 β -21.97% +22.24% β 75.47% β | |
β twitter1: ezjsonm β 21.35us β 11_403.10w β 17.20w β 17.20w β 1.00 β 43.50e-3 β -0.06% +0.06% β 0.21 β 0.13e-3 β -20.83% +21.49% β 100.00% β | |
β twitter1: yojson β 8.44us β 652.00w β β β 1.00 β 2.49e-3 β -0.37% +0.37% β β β β 39.52% β | |
ββββββββββββββββββββββββ |
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
$ ./pure_benchmark.native -q 30 +time # 4.02.3 | |
Estimated testing time 1m (2 benchmarks x 30s). Change using -quota SECS. | |
ββββββββ¬βββββββββββ¬βββββββββββ¬ββββββββββββββββ¬ββββββββββ¬βββββββββββ¬βββββββββββ¬βββββββββββββ | |
β Name β Time R^2 β Time/Run β 95ci β mWd/Run β mjWd/Run β Prom/Run β Percentage β | |
ββββββββΌβββββββββββΌβββββββββββΌββββββββββββββββΌββββββββββΌβββββββββββΌβββββββββββΌβββββββββββββ€ | |
β json β 1.00 β 21.16ms β -0.59% +0.62% β 18.67Mw β 239.28kw β 239.28kw β 47.53% β | |
β http β 1.00 β 44.52ms β -0.28% +0.29% β 32.01Mw β 65.11kw β 65.11kw β 100.00% β | |
ββββββββ΄βββββββββββ΄βββββββββββ΄ββββββββββββββββ΄ββββββββββ΄βββββββββββ΄βββββββββββ΄βββββββββββββ | |
$ ./pure_benchmark.native -q 30 +time # 4.03.0+flambda | |
Estimated testing time 1m (2 benchmarks x 30s). Change using -quota SECS. |
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
/* rdio_scrape.js | |
* | |
* Quick and dirty script to scrape a playlist from Rdio and print it to the | |
* console in a csv format. | |
* | |
* XXX NB TODO READ THIS: Playlists are loaded lazily by Rdio, so make sure | |
* that when you navigate to a new playlist page you scroll from beginning to end | |
* and back again, making sure that all the songs have been rendered on the way | |
* back up. | |
* |
[ Launch: Tributary inlet ] 779ac8390111bed1b5d2 by seliopou
NewerOlder