Skip to content

Instantly share code, notes, and snippets.

***status goes here***

Winston (Winny) Weinert winny-

***status goes here***
View GitHub Profile
View Racket var-int codec
#lang racket/base
(define (signed-var-int val)
[(bitwise-bit-set? val 31)
(bitwise-ior val (bitwise-not #xffffffff))]
(define (read-var-int in)
HappyCodingRobot / 61-hp-mic-mute-hotkey.hwdb
Created Jan 8, 2019
Activate mic mute function key, ubuntu 18.04, HP Elitebook 820
View 61-hp-mic-mute-hotkey.hwdb
# see also: /lib/udev/hwdb.d/60-keyboard.hwdb
KEYBOARD_KEY_81=f20 # Fn+F8 on Elitebook, map to F20
# KEYBOARD_KEY_81=fn_esc # org entry
krisleech /
Last active May 21, 2022
Renew Expired GPG key

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

cryzed /
Last active May 14, 2022
A set of instructions on how to fix the harfbuzz + Infinality issue and restoring good-looking, Infinality-like font rendering.

Disclaimer: Please follow this guide being aware of the fact that I'm not an expert regarding the things outlined below, however I made my best attempt. A few people in IRC confirmed it worked for them and the results looked acceptable.

Attention: After following all the steps run gdk-pixbuf-query-loaders --update-cache as root, this prevents various gdk-related bugs that have been reported in the last few hours. Symptoms are varied, and for Cinnamon the DE fails to start entirely while for XFCE the icon theme seemingly can't be changed anymore etc.

Check the gist's comments for any further tips and instructions, especially if you are running into problems!


Results after following the guide as of 11.01.2017 13:08:

Nilpo / BIND for the Small
Last active Apr 27, 2022
How to configure BIND 9 to act as a caching nameserver or as the nameserver for a local domain.
View BIND for the Small
mattiaslundberg / Ansible Let's Encrypt Nginx setup
Last active May 19, 2022
Let's Encrypt Nginx setup with Ansible
View Ansible Let's Encrypt Nginx setup
Ansible playbook to setup HTTPS using Let's encrypt on nginx.
The Ansible playbook installs everything needed to serve static files from a nginx server over HTTPS.
The server pass A rating on [SSL Labs](
To use:
1. Install [Ansible](
2. Setup an Ubuntu 16.04 server accessible over ssh
3. Create `/etc/ansible/hosts` according to template below and change to your domain
4. Copy the rest of the files to an empty directory (`playbook.yml` in the root of that folder and the rest in the `templates` subfolder)
alces /
Last active May 12, 2022
How to run an Ansible playbook locally
  • using Ansible command line:
ansible-playbook --connection=local playbook.yml
  • using inventory: ansible_connection=local
View torrc.examples.txt
This file is part of Whonix
Copyright (C) 2012 - 2014 Patrick Schleizer <>
See the file COPYING for copying conditions.
**** Do NOT edit this file! ****
This file will show you examples you can copy and paste to /etc/tor/torrc
Additionally, you can read the official Tor Manual at:
greghendershott /
Created Nov 11, 2015
Some interesting Racket packages

Sound and Vision



Testing and Coverage


cabrinha /
Created Jul 31, 2015
Let's build perl-5.22.0 from source!
wget -qO - | perl - 5.22.0 ~/perl-5.22.0
echo export PATH="~/perl-5.22.0/bin:$PATH" >> ~/.bashrc; source ~/.bashrc
wget -qO - | perl - App::cpanminus