Skip to content

Instantly share code, notes, and snippets.

View seliopou's full-sized avatar
πŸ’­
I may be slow to respond.

Spiros Eliopoulos seliopou

πŸ’­
I may be slow to respond.
View GitHub Profile
@seliopou
seliopou / dune
Last active November 17, 2020 02:41
(executable (name test_rng) (libraries async mirage-crypto-rng-async) (preprocess (pps ppx_jane)))
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);
#!/usr/bin/env bash
TMPFILE=$(mktemp)
trap "rm $TMPFILE" exit
set -x
set -e
error_and_exit() {
echo -e "$(basename $0): $1"
#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>
@seliopou
seliopou / _oasis
Last active October 25, 2016 17:28
Oasis pack bug
OASISFormat: 0.4
Name: packbug
Plugins: META (0.4), DevFiles (0.4)
BuildTools: ocamlbuild
Authors: garbage
Version: garbage
License: PD
Synopsis: garbage
@seliopou
seliopou / json-results.txt
Last active July 21, 2016 14:08
angstrom.0.1.0 benchmarks
# 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% β”‚
└───────────────────────
@seliopou
seliopou / angstrom_perf.txt
Last active May 14, 2016 14:41
Angstrom benchmarks
$ ./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.
@seliopou
seliopou / rdio_scrape.js
Last active November 17, 2015 23:05
Quick and dirty script to scrape a playlist from Rdio and print it to the console in a csv format.
/* 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.
*
@seliopou
seliopou / _.md
Created November 6, 2015 17:30
Tributary inlet
@seliopou
seliopou / _.md
Last active October 26, 2015 14:02
Tributary inlet