kirelagin

Keybase proof

I hereby claim:

• I am kirelagin on github.
• I am kirelagin (https://keybase.io/kirelagin) on keybase.
• I have a public key whose fingerprint is A06D BA82 A98E B35E 1815 5641 6C57 2FB9 88FA 45F2

To claim this, I am signing this object:

kirelagin

#!/bin/sh

# Alot of these configs have been taken from the various places
# on the web, most from here
# https://github.com/mathiasbynens/dotfiles/blob/master/.osx

# Set the colours you can use
black='\033[0;30m'
white='\033[0;37m'
red='\033[0;31m'

kirelagin

airplane balloon:
 Уважаемые пассажиры, наш полёт проходит на высоте десять тысяч ёлок.
 Уважаемые пассажиры, если вы посмотрите направо — увидите ёлку.
 Капитан, ель прямо по курсу!
 Сегодня мы будем пролетать над четырьмя странами и елью
 В течение полёта вам будут предложены напитки, завтрак и вид на ель.

cm1:
 сантиметр

kirelagin

#!/sbin/runscript
###
#
# OpenRC init-script for ncdc
#
# Distributed under the terms of the GNU General Public License, v3 or later.
#
# © 2014 Kirill Elagin <[email protected]>
#                      http://kir.elagin.me/
#

kirelagin

###
#
# tmux magic for OpenRC
#
# These functions do some tmux magic to let you run non-daemon programs
# (e.g. ones with ncurses interface) as daemons in tmux sessions.
# You just run `/etc/init.d/<service> start/stop` or add the service
# to a runlevel and later you can do `/etc/init.d/<service> attach` to
# see its console. Type `Ctrl+b d` to detach (in the default tmux configuration).
# We execute tmux with `-L`, so those sessions are not visible in the

kirelagin

#!/bin/sh
###
#
# Change Tor exit node
#
# Sometimes when using Tor you'd like to change the IP address that
# servers see when you connect (that is, change your Tor exit node).
# This happens automatically from time to time, but this shell script
# lets you force it.
#

kirelagin

% Алгебраические структуры #4
% Кирилл Елагин


36
====

а)
---

kirelagin

%%%
%
% Homework template for pandoc
%
% You'll need XeLaTeX.
% You'll need PT fonts (or change them).
%
% Usage:
%        pandoc --latex-engine=xelatex --listings --template=<path to this file> <input.pd> -o <output.pdf>
%

kirelagin

//// State monad (on F# steroids)
type State<'s, 'a> = State of ('s -> 'a * 's) 
let runState (State f) = f

type StateBuilder() =
    member __.Return (x : 'a) : State<'s, 'a> = State <| fun st -> (x, st)
    
    member __.Bind (p : State<'s, 'a>, (f : 'a -> State<'s, 'b>)) : State<'s, 'b> =
                State <| fun st -> let (v, ns) = runState p st  in runState (f v) ns

kirelagin

;;;
;
; Testing framework for Racket
;
; Being very minimalistic this framework was designed to be as easy to learn as possible
; and to be just enough for those taking the “Programming Languages” course at Coursera
; [https://class.coursera.org/proglang-2012-001/].
;
; https://gist.github.com/4988539
;