Skip to content

Instantly share code, notes, and snippets.

Avatar

Michael Whittaker mwhittaker

View GitHub Profile
@mwhittaker
mwhittaker / mwhittaker.cls
Last active Sep 3, 2019
Provenance Practice Prelim
View mwhittaker.cls
\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{mwhittaker}
\LoadClass[12pt]{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Imports
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\RequirePackage[compact]{titlesec}
\RequirePackage[letterpaper,margin=1in]{geometry}
\RequirePackage{fancyhdr}
@mwhittaker
mwhittaker / consensus.key
Last active Apr 29, 2019
CS 186 Consensus Slides
View consensus.key
This file has been truncated, but you can view the full file.
View AB.tla
--------------------------------- MODULE AB ---------------------------------
EXTENDS Integers, Sequences
CONSTANT Data
(***************************************************************************)
(* We first define Remove(i, seq) to be the sequence obtained by removing *)
(* element number i from sequence seq. *)
(***************************************************************************)
Remove(i, seq) ==
@mwhittaker
mwhittaker / BPaxos.key
Last active Apr 1, 2019
Bipartisan Paxos All Hands Talk
View BPaxos.key
This file has been truncated, but you can view the full file.
@mwhittaker
mwhittaker / LearningPrograms.key
Last active Mar 13, 2019
AI-Sys "Learning to Represent Programs with Graphs" Talk
View LearningPrograms.key
This file has been truncated, but you can view the full file.
View paxos_talk.key
This file has been truncated, but you can view the full file.
@mwhittaker
mwhittaker / wat_provenance_RISEwinter19.key
Last active Jan 14, 2019
Wat-Provenance SOCC 2018 Talk
View wat_provenance_RISEwinter19.key
This file has been truncated, but you can view the full file.
@mwhittaker
mwhittaker / .gitignore
Last active Jan 10, 2018
RISE Retreat Winter 2018 Poster
View .gitignore
*.html
.DS_Store
################################################################################
# vim
################################################################################
# Swap
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
@mwhittaker
mwhittaker / division.txt
Created Oct 3, 2017
Relational Algebra Division
View division.txt
group: division
R = { a:string, b:number
a, 1
a, 2
a, 3
b, 2
b, 3
c, 1
}
@mwhittaker
mwhittaker / hash_join.cc
Last active Dec 14, 2016
range-v3 examples
View hash_join.cc
#include <iostream>
#include <map>
#include <tuple>
#include <utility>
#include <vector>
#include "range/v3/all.hpp"
using namespace ranges;