Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% 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). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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 |