Summary of GDB commands for x86-64 Systems
Reformated from http://csapp.cs.cmu.edu/3e/docs/gdbnotes-x86-64.txt
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
# NOTE: Change "written" to the name of your TeX file with no extension | |
TARGET=written | |
all: $(TARGET).pdf | |
## Generalized rule: how to build a .pdf from each .tex | |
LATEXPDFS=$(patsubst %.tex,%.pdf,$(wildcard *.tex)) | |
$(LATEXPDFS): %.pdf: %.tex | |
pdflatex -interaction nonstopmode $(patsubst %.pdf,%.tex,$@) |
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
\usepackage{amssymb,amsmath,amsthm} | |
\usepackage{enumerate} | |
\providecommand{\abs}[1]{\left\vert#1\right\vert} | |
\providecommand{\norm}[1]{\left\Vert#1\right\Vert} | |
\providecommand{\pnorm}[2]{\left\Vert#1\right\Vert_{L^{#2}}} | |
\providecommand{\pnormspace}[3]{\left\Vert#1\right\Vert_{L^{#2}(#3)}} | |
\providecommand{\pqnorm}[3]{\left\Vert#1\right\Vert_{L^{#2,#3}}} | |
\providecommand{\pqnormspace}[4]{\left\Vert#1\right\VeFrt_{L^{#2,#3}(#4)}} | |
\providecommand{\lz}[4]{\left\Vert#1\right\Vert_{L^{#2,#3}\log^{#4}{L}}} |
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
#!/usr/bin/env bash | |
# | |
# Originally from https://gist.github.com/IanVaughan/2902499 | |
# | |
# authors: Ian Vaughan | |
# Jacob Zimmerman | |
# | |
# usage: uninstall_gems [<version> ...] | |
# | |
# examples: |
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
infixr 0 $ | |
fun f $ x = f x | |
fun compute NONE = "No value" | |
| compute (SOME x) = "The value is " ^ Int.toString x | |
fun println str = print $ str ^ "\n" | |
val _ = println $ compute $ SOME 42 | |
val _ = println $ compute NONE |
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
#include <stdlib.h> | |
#include <stdbool.h> | |
#include <stdio.h> | |
// --- stack library functions --- | |
// typedefs to keep things more semantic | |
typedef struct stack_s Stack; | |
typedef Stack node_t; |
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
/* | |
* Compiles a Node.js project that uses JavaScript and React | |
* | |
* - generates a main.js file in JS_DIR by calling browserify on app.jsx in | |
* SRC_DIR | |
* | |
* Usage: | |
* | |
* - gulp | |
* -> gulp scripts |
I hereby claim:
- I am jez on github.
- I am jez_ (https://keybase.io/jez_) on keybase.
- I have a public key whose fingerprint is 8C29 8E1B 739D 2455 4F44 8AA3 8FA2 EB01 DEDE 40C0
To claim this, I am signing this object:
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
.dummy { | |
color: #002b36; /* base03 */ | |
color: #073642; /* base02 */ | |
color: #586e75; /* base01 */ | |
color: #657b83; /* base00 */ | |
color: #839496; /* base0 */ | |
color: #93a1a1; /* base1 */ | |
color: #eee8d5; /* base2 */ | |
color: #fdf6e3; /* base3 */ | |
color: #b58900; |