Skip to content

Instantly share code, notes, and snippets.

@lambdaterm
lambdaterm / gist:2247194
Last active September 5, 2020 19:20
.stumpwmrc
;; -*-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")
@lambdaterm
lambdaterm / gist:5915404
Created July 3, 2013 04:14
PhD thesis references
% This file was created with JabRef 2.7b.
% Encoding: UTF-8
@ARTICLE{Church1940,
author = {Church A.},
title = {A Formulation of the Simple Theory of Types},
journal = {Journal of Symbolic Logic},
year = {1940},
volume = {5},
owner = {alex},
@lambdaterm
lambdaterm / testNFS.py
Created May 23, 2012 08:32
test boot from NFS
#!/usr/bin/python
# -*- 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]))