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
[server]
port_rpc_admin_local
port_peer
[port_rpc_admin_local]
port = 5005
ip = 127.0.0.1
admin = 127.0.0.1
protocol = http
@codedot
codedot / Makefile
Last active May 25, 2018
Optimal Talmudic Zigzag
View Makefile
URL = http://api.bitcoincharts.com/v1/csv/bitstampUSD.csv.gz
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
codedot / Makefile
Last active Feb 13, 2018
Exhaustive search through MLC inputs
View Makefile
all:
npm install
time -p node generate.js 1 8 >terms.txt
time -p node compute.js abstract 250 1 5 >abstract.tsv
clean:
-rm -fr node_modules
-rm -f abstract.tsv terms.txt
@codedot
codedot / Makefile
Last active Jan 25, 2018
O(log(n)) Fibonacci in bc(1)
View Makefile
all:
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
clean:
-rm -f output.txt
@codedot
codedot / Makefile
Last active May 21, 2018
Bitcoin proof of work in pure lambda calculus
View Makefile
all:
node work2mlc.js getwork.json 381353fa >test.mlc
lambda -pem lib.mlc -f test.mlc
clean:
@codedot
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
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
codedot / .gitignore
Last active Aug 29, 2015
Learning SPICE
@codedot
codedot / lambda.in
Last active Aug 29, 2015
Implementation of closed reduction with read-back mechanism using Interaction Nets Compiler
View lambda.in
${
#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
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
$(PUSHER):
npm install pusher-client
$(RIPPLE):
You can’t perform that action at this time.