ggorlen

// ==UserScript==
// @name         Udacity Video Delay Skipper
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  skip the 5-second delay between videos on udacity
// @author       ggorlen
// @match        https://classroom.udacity.com/courses*
// @grant        none
// ==/UserScript==

ggorlen

class Board {
    private int x; // 0b0xxx0xxx0xxx
    private int o; // 0b0ooo0ooo0ooo
    private int ply;

    public Board() {
        this.x = 0;
        this.o = 0;
        this.ply = 0;
    }

ggorlen

Raspberry PI B+

Config

Config is located at /boot/config.txt

SSH

ssh pi@123.456.789.123

ggorlen

Z3 Resources

• http://www.cs.toronto.edu/~victorn/tutorials/z3_SAT_2019/index.html
• https://stackoverflow.com/questions/11883185/z3py-declaring-function
• https://ericpony.github.io/z3py-tutorial/guide-examples.htm
• Z3Prover/z3#694
• http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/
• https://github.com/Z3Prover/z3/wiki/Slides
• https://z3prover.github.io/api/html/classz3_1_1solver.html
• https://yurichev.com/writings/SAT_SMT_by_example.pdf
• http://theory.stanford.edu/~nikolaj/programmingz3.html

ggorlen

Stack Overflow Cheatsheet

New question feed quick links

• Small tags I watch
• popular, unanswered questions in my tags (also useful: isaccepted:no score:1)
• [ARM as

ggorlen

#N canvas 866 194 450 300 10;
#X obj 75 71 netsend;
#X msg 46 26 connect 123.456.78.90 8000;
#X floatatom 274 182 5 0 0 0 - - -;
#X obj 116 210 print received;
#X obj 229 213 route a b;
#X floatatom 275 248 5 0 0 0 - - -;
#X floatatom 231 249 5 0 0 0 - - -;
#X obj 176 147 netreceive 7000;
#X obj 350 223 dac~;

ggorlen

"""
prints files that have the same number of bytes
"""

import os
from collections import defaultdict

path = "."
sizes = defaultdict(list)

ggorlen

"""
removes all empty folders recursively in a directory
"""

import os
import sys

def delete_if_empty(path):        
    if not os.path.isdir(path):
        return False

ggorlen

# list files by size recursively

use strict;
use warnings;
use File::Find;

my @seen;

sub process_file {
    push(@seen, [-s $_, $_]) if -f $_;

ggorlen

/* 
 * tic tac toe with bitboard, negamax and alpha-beta pruning
 * 
 * todo:
 * - variants
 * - transposition table
 *
 * ref:
 * - http://libfbp.blogspot.com/2017/05/tic-tac-toe-bitboards.html
*/