This file contains hidden or 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
TYPE="Ethernet" | |
BOOTPROTO="dhcp" | |
DEFROUTE="yes" | |
IPV4_FAILURE_FATAL="no" | |
IPV6INIT="yes" | |
IPV6_AUTOCONF="yes" | |
IPV6_DEFROUTE="yes" | |
IPV6_FAILURE_FATAL="no" | |
NAME="eno16777728" | |
DEVICE="eno16777728" |
This file contains hidden or 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
1 - Create a *private* GitHub/Bitbucket or similar git repo. Here I assume the repo is: | |
https://github.com/calkan/bash_history.git | |
2 - Create .history directory and initialize it for the repo: | |
mkdir $HOME/.history | |
cd $HOME/.history | |
git init | |
touch README.md |
This file contains hidden or 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/sh | |
# | |
# Forwards SSH agent into a Docker container running in the active | |
# docker-machine | |
# | |
PROGNAME=$(basename $0) | |
NAME=$(docker-machine active) |
This file contains hidden or 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 | |
# "docker run" with SSH Agent Forwarding for boot2docker | |
# QuickStart: | |
# 1. Download to ~/bin/docker-run-ssh and chmod +x it | |
# 2. docker-run-ssh [normal args to docker run...] | |
# Use a unique ssh socket name per-invocation of this script | |
SSH_SOCK=boot2docker.$$.ssh.socket |
Chairs:
- Christopher Liljenstolpe [email protected]
- Daniel Kahn Gillmor [email protected]
This file contains hidden or 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/sh | |
git rebase --interactive --autosquash \ | |
$(git merge-base $(git symbolic-ref --short HEAD) master) |
This file contains hidden or 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
From f5908efac9f55216d5aabdee72687b2b47f1c89c Mon Sep 17 00:00:00 2001 | |
From: Chang Liu <[email protected]> | |
Date: Mon, 13 Apr 2015 09:36:31 +0000 | |
Subject: [PATCH] Add support for linux-musl in build system. Fix glibc | |
assumptions in code. | |
--- | |
autoconf/config.sub | 7 +++++-- | |
lib/ExecutionEngine/RuntimeDyld/RTDyldMemoryManager.cpp | 2 +- | |
lib/Support/DynamicLibrary.cpp | 4 ++-- |
- Abramsky and Jung "Domain Theory" http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
- Appel, Andrew "Modern Compiler Implementation in ML"
- Cousot, Patrick "Abstract Interpretation Based Formal Methods and Future Challenges" http://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS2000-sv-sb.pdf
- Darais, Might, and Van Horn "Galois Transformers and Modular Abstract Interpreters" http://arxiv.org/pdf/1411.3962v1.pdf
- Davey and Priestley, "Introduction To Lattices and Order"
- Friedman and Mendhekar, "Using an Abstracted Interpreter to Understand Abstract Interpretation" http://www.cs.indiana.*du/l/www/classes/b621/abiall.pdf
- Friedman and Wand, "Essentials of Programming Languages"
- Jones and Nielson, "Abstract Interpretation: a Semantics-Based Tool for Program Analysis" http://se.inf.ethz.ch/courses/2014b_fall/sv/reading/jones-nielson.pdf
- Livshits, Sridharan, Smaragdakis, et. al. "In Defense of Soundiness: A Manifesto" http://cgi.di.uoa.gr/~smaragd/Soundiness-CACM.pdf
- Might, Matt "Writing an inte