Instantly share code, notes, and snippets.


The specific profile doesn’t actually matter!

Take any dark profile (both Pastel and Tango are great!) and change the background to #292929 (the colour of the dark iTerm title bar). I also like to activate Cursor Guide and use a translucent greyish colour.

iTerm Settings

$ python3 -m venv venv
$ . venv/bin/activate

$ pip install js2py gunicorn

$ gunicorn app:app



Tail-recursive Tree fold

Both the original and the proposed solution assume an associative and commutative combining function (g).

That bugged me so a colleague and I put this together.


Keybase proof

I hereby claim:

  • I am mkhl on github.
  • I am mkhl ( on keybase.
  • I have a public key ASDOZDDY2WKJiu0GMeVXecOv_KalOkFnJhahWX-vYhWcAAo

To claim this, I am signing this object:

View snippets.cson
# Demonstration for
# Expand this snippet, type "foo" for the first placeholder, hit <Tab>
'Test: Adjacent Tabstops':
'prefix': 'a'
'body': '${1:abc}${2:def}'
View nsfw-temp.patch
From d3180baace023233e9fff2d049bcd7beb143f853 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20K=C3=BChl?= <>
Date: Thu, 31 Mar 2016 19:20:00 +0200
Subject: [PATCH] Test operation with path inside `$TMPDIR`
js/spec/index-spec.js | 3 ++-
package.json | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(-)
View t
function list {
if git rev-parse &>/dev/null; then
git ls-files
find . -type f | cut -c 3-
cd $(seq -f .. -s / 1 ${1:-1})
cd $(jot -b .. -s / ${1:-1})
# using jot(1) is shorter, and doesn't add a trailing /
# but as far as I recall, jot(1) isn't part of GNU userland
git add --update -- "$@"
git commit --message="trash -- $(date)" -- "$@"
git reset --soft HEAD^
git reset --quiet -- "$@"
git checkout -- "$@"