Skip to content

Instantly share code, notes, and snippets.

@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):
@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 / .gitignore
Last active Aug 29, 2015
Learning SPICE
@codedot
codedot / lambdabetaeta
Created Oct 23, 2010
From ordinary variables x, y, z… to λβη
View lambdabetaeta
x ∈ Λ; Лямбда-выражения строятся из переменных
M, N ∈ Λ ⇒ λx.M ∈ Λ ∧ M N ∈ Λ; с помощью абстракций и аппликаций;
(M) = M, M N P = (M N) P. причем аппликация лево-ассоциативна.
x[x := P] = P; Подстановка заменяет вхождения переменной на другое выражение,
y[x := P] = y; но только если переменная совпадает,
(λx.M)[x := P] = λx.M; при этом связанные переменные не подлежат подстановке;
(λy.M)[x := P] = λy.M[x := P]; операция подстановки через абстракции
(M N)[x := P] = M[x := P] N[x := P]. и аппликации проходит выражение рекуррентно.
@codedot
codedot / Makefile
Created Mar 31, 2011
Makefile to determine Shell subgrammars
View Makefile
RULES = \
complete_command \
list \
and_or \
pipeline \
pipe_sequence \
command \
compound_command \
compound_list \
term \
@codedot
codedot / Makefile
Created May 20, 2011
Stack Allocator Test
View Makefile
CFLAGS = -g
all: salloc
./salloc
clean:
-rm -fr salloc salloc.dSYM
@codedot
codedot / Makefile
Created May 20, 2011
Signal-based Scheduler
View Makefile
CFLAGS = -g
all: sigsched
./sigsched
clean:
-rm -fr sigsched sigsched.dSYM
@codedot
codedot / Makefile
Created Jun 7, 2011
Google Code Jam Qualification Round A
View Makefile
all: small.out large.out
clean:
-rm -f *.out
.SUFFIXES: .in .out
.in.out:
( \
source solve.sh; \
@codedot
codedot / optimal.tex
Created Dec 30, 2011
Extensional Optimal Reduction
View optimal.tex
\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{tikz}
\usetikzlibrary{arrows,positioning}
@codedot
codedot / full.txt
Created Feb 10, 2012
Хроники лаборатории
View full.txt
Детство
10 ноября. Сегодня мамка послала меня в магазин купить хлеба и яиц. Купил на все деньги "Кока-колы", потому что она гораздо вкуснее и полезнее хлеба и яиц вместе взятых. Получил ремня. Ремень невкусный, хоть и полезный.
9 декабря. Прыгали с парнями с гаража. Hа третьем заходе Ржавый спрыгнул и сломал себе ногу, потом прыгнул я и сломал ему руку. Hе знаю, как он завтра в гипсе прыгать будет.
12 декабря. Математичка буреет не по дням. Сегодня сказала, что я совсем не знаю математики и поставила мне в дневник какую-то цифру.
17 декабря. Играл на отцовском компьютере в DOOM. Потом еще немного поиграл в "Инфобухгалтер", тоже прикольно, дошел до третьего уровня. Hа налогах меня заколбасили.
22 декабря. Сегодня должна была быть городская контрольная по пению. Было семь звонков, что школа заминирована. Пятерых я знаю, а кто еще один?
4 января. Сегодня на труде учились делать самокрутки.
15 января. Курили в туалете. Я с непривычки закашлялся и пропустил урок литературы и ботаники.
20 января. Ходили драться в