Skip to content

Instantly share code, notes, and snippets.

Anton Salikhmetov codedot

Block or report user

Report or block codedot

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View rippled.cfg
port = 5005
ip =
admin =
protocol = http
codedot / Makefile
Last active May 25, 2018
Optimal Talmudic Zigzag
View Makefile
all: result.txt
time -p node simulate.js prices.json 0.25 9
result.txt: prices.json
time -p node optimize.js $< 100000 >|$@
prices.json: csv.gz
zcat $< | awk -F , -f zigzag.awk >|$@
codedot / Makefile
Last active Feb 13, 2018
Exhaustive search through MLC inputs
View Makefile
npm install
time -p node generate.js 1 8 >terms.txt
time -p node compute.js abstract 250 1 5 >abstract.tsv
-rm -fr node_modules
-rm -f abstract.tsv terms.txt
codedot / Makefile
Last active Jan 25, 2018
O(log(n)) Fibonacci in bc(1)
View Makefile
bc fibo.bc <test.bc
echo 'fibo(123456)' | time -p bc fibo.bc >output.txt
cmp output.txt expected.txt
echo 'fibo(123456)' | time -p bc naive.bc >output.txt
cmp output.txt expected.txt
rm -f output.txt
-rm -f output.txt
codedot / Makefile
Last active May 21, 2018
Bitcoin proof of work in pure lambda calculus
View Makefile
node work2mlc.js getwork.json 381353fa >test.mlc
lambda -pem lib.mlc -f test.mlc
codedot / ics2tc.awk
Last active Aug 9, 2017
Awk script that converts iCalendar .ics files to Time Clock "timelog" format by John Wiegley
View ics2tc.awk
function parse(dt)
Y = substr(dt, 1, 4);
M = substr(dt, 5, 2);
D = substr(dt, 7, 2);
h = substr(dt, 10, 2);
m = substr(dt, 12, 2);
s = substr(dt, 14, 2);
return Y "/" M "/" D " " h ":" m ":" s;
codedot / logo.svg
Created May 16, 2017
Codedot Logo in SVG
View logo.svg
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
codedot / .gitignore
Last active Aug 29, 2015
Learning SPICE
codedot /
Last active Aug 29, 2015
Implementation of closed reduction with read-back mechanism using Interaction Nets Compiler
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
char *var(int fresh);
char *append(char *format, char *buf, char *str);
#define ABST(BUF, STR) append("%s%s: ", (BUF), (STR))
#define APPL(BUF, STR) append("%s%s ", (BUF), (STR))
codedot / Makefile
Last active Aug 29, 2015
Bitstamp vs. Ripple spreads listener
View Makefile
PUSHER = node_modules/pusher-client/package.json
RIPPLE = node_modules/ripple-lib/package.json
all: $(PUSHER) $(RIPPLE)
node arb | tee -a top.log
npm install pusher-client
You can’t perform that action at this time.