Skip to content

Instantly share code, notes, and snippets.

View blole's full-sized avatar

Björn Holm blole

  • Stockholm, Sweden
View GitHub Profile

Keybase proof

I hereby claim:

  • I am blole on github.
  • I am blole (https://keybase.io/blole) on keybase.
  • I have a public key ASDhq7kfTFhradO2VbCY3qLjnWdYVypjVqomTbzmku7VGAo

To claim this, I am signing this object:

@blole
blole / crashplan-remote.sh
Created May 10, 2017 22:43
Connect local CrashPlanDesktop to remote CrashPlanService
#!/bin/bash
# Connect a local CrashPlanDesktop to a remote CrashPlanService.
# Practically an automation of the steps to open an ssh tunnel and
# modifying .ui_info as described in
# https://support.code42.com/CrashPlan/4/Configuring/Using_CrashPlan_On_A_Headless_Computer
#
#
# For use from a windows computer with cygwin. Must be run with
# admin rights because the .ui_info file must be admin owned.
@blole
blole / openai-gym-mcts.py
Last active June 8, 2023 19:24
Monte Carlo tree search agent for https://gym.openai.com
#!/usr/bin/env python2
import os
import gym
import sys
import random
import itertools
from time import time
from copy import copy
from math import sqrt, log
@blole
blole / schulze-esc2016.py
Last active May 16, 2016 15:49
Schulze non-proportional ordering of the Eurovision 2016 final results
#!/usr/bin/env python2
#
# Schulze non-proportional ordering of the Eurovision 2016 final results.
# data from http://eurovisionworld.com/?eurovision=2016
from pyvotecore.schulze_npr import SchulzeNPR
def transpose(matrix):
return map(list, zip(*matrix))
@blole
blole / win10-taskbar-never-combine-hide-labels.md
Created October 3, 2015 12:45
Make win10 taskbar buttons `Never combine, hide labels`

##Make win10 taskbar buttons Never combine, hide labels Normally, this option isn't available, and the valid options for how the taskbar button should behave are:

option registry value hide bit combine bit
Never combine 2 0 0
Combine when taskbar is full 1 0 1
Always combine, hide labels 0 1 1

These options are set in Taskbar and Start Menu Properties, accessible by right clicking the taskbar and selecting Properties.