Skip to content

Instantly share code, notes, and snippets.


Alexander Karpich lambdaterm

View GitHub Profile
lambdaterm / gist:5915404
Created Jul 3, 2013
PhD thesis references
View gist:5915404
% This file was created with JabRef 2.7b.
% Encoding: UTF-8
author = {Church A.},
title = {A Formulation of the Simple Theory of Types},
journal = {Journal of Symbolic Logic},
year = {1940},
volume = {5},
owner = {alex},
lambdaterm /
Created May 23, 2012
test boot from NFS
# -*- coding: utf-8 -*-
import os
import datetime
import struct, socket, fcntl
def getHwAddr(ifname):
s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)
info = fcntl.ioctl(s.fileno(), 0x8927, struct.pack('256s', ifname[:15]))
View gist:2247194
;; -*-lisp-*-
;; Stumpwm user definitions
(in-package :stumpwm)
(defun cat (&rest strings) ; "Concatenates strings, like the Unix command 'cat'. A shortcut for (concatenate 'string foo bar)."
(apply 'concatenate 'string strings))
(set-font "-*-terminus-medium-r-normal-*-12-*-*-*-*-*-iso10646-1")