Skip to content

Instantly share code, notes, and snippets.

Michael Whittaker mwhittaker

Block or report user

Report or block mwhittaker

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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;
You can’t perform that action at this time.