pavelzw

# This file explains how to improve the pickling algorithm of sklearn trees to achieve significantly smaller file sizes. 
# See https://tech.quantco.com/2022/06/23/dtype-reduction-sklearn.html for the corresponding blog post.

import pickle
import copyreg
from typing import Any, BinaryIO
import numpy as np

from sklearn.tree._tree import Tree

pavelzw

#!/bin/bash
# This script is intended to make switching between laptop and external displays easier when using i3+dmenu.
# To run this script, map it to some shortcut in your i3 config, e.g.:
# bindsym $mod+p exec --no-startup-id $config/display.sh
# IMPORTANT: run chmod +x on the script to make it executable
# The result is 4 options appearing in dmenu from which you can choose

# This is your default laptop screen, detect by running `xrandr`
INTERNAL_OUTPUT="eDP-1"

pavelzw

% X1 chick, X2 wolf
valid(X1,X2) :- X1 >= X2, 3 - X1 >= 3 - X2, X1 > 0, X2 >= 0, X1 < 3, X2 =< 3.
valid(3,X2) :- X2 >= 0, X2 =< 3.
valid(0,X2) :- X2 >= 0, X2 =< 3.

move(0,1).
move(1,0).
move(0,2).
move(2,0).
move(1,1).

pavelzw