niklasschmitz

import jax
from jax import core
from graphviz import Digraph
import itertools


styles = {
  'const': dict(style='filled', color='goldenrod1'),
  'invar': dict(color='mediumspringgreen', style='filled'),
  'outvar': dict(style='filled,dashed', fillcolor='indianred1', color='black'),

viking

#!/bin/bash
# i3 thread: https://faq.i3wm.org/question/150/how-to-launch-a-terminal-from-here/?answer=152#post-id-152

CMD=xterm
CWD=''

# Get window ID
ID=$(xdpyinfo | grep focus | cut -f4 -d " ")

# Get PID of process whose window this is

KartikTalwar

The fastest remote directory rsync over ssh archival I can muster (40MB/s over 1gb NICs)

This creates an archive that does the following:

rsync (Everyone seems to like -z, but it is much slower for me)

• a: archive mode - rescursive, preserves owner, preserves permissions, preserves modification times, preserves group, copies symlinks as symlinks, preserves device files.
• H: preserves hard-links
• A: preserves ACLs

wardbekker

(setq server-socket-dir "~/.emacs.d/server")
(server-start)

mizutomo

#include <msgpack.hpp>
#include <vector>
#include <map>
#include <iostream>
#include <cstdio>

typedef enum {
	CIRCLE = 0,
	SQUARE = 1,
	TRIANGLE = 2