Michael Whittaker mwhittaker

## mwhittaker.cls
\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{mwhittaker}
\LoadClass[12pt]{article}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Imports
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\RequirePackage[compact]{titlesec}
\RequirePackage[letterpaper,margin=1in]{geometry}
\RequirePackage{fancyhdr}

## consensus.key

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mwhittaker
                / consensus.key
            
            
              Last active
              April 29, 2019 05:34
            
              
                CS 186 Consensus Slides
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## 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) ==

## BPaxos.key

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mwhittaker
                / BPaxos.key
            
            
              Last active
              April 1, 2019 19:22
            
              
                Bipartisan Paxos All Hands Talk
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## LearningPrograms.key

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mwhittaker
                / LearningPrograms.key
            
            
              Last active
              March 13, 2019 17:39
            
              
                AI-Sys "Learning to Represent Programs with Graphs" Talk
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## paxos_talk.key

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mwhittaker
                / paxos_talk.key
            
            
              Last active
              December 8, 2018 04:43
            
              
                Paxos PS2 Talk
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## wat_provenance_RISEwinter19.key

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mwhittaker
                / wat_provenance_RISEwinter19.key
            
            
              Last active
              January 14, 2019 04:31
            
              
                Wat-Provenance SOCC 2018 Talk
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## .gitignore
*.html
.DS_Store

################################################################################
# vim
################################################################################
# Swap
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]

## division.txt
group: division

R = { a:string, b:number
  a, 1
	a, 2
	a, 3
	b, 2
	b, 3
	c, 1
}

## hash_join.cc
#include <iostream>
#include <map>
#include <tuple>
#include <utility>
#include <vector>

#include "range/v3/all.hpp"

using namespace ranges;
	\NeedsTeXFormat{LaTeX2e}
	\ProvidesClass{mwhittaker}
	\LoadClass[12pt]{article}

	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	% Imports
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	\RequirePackage[compact]{titlesec}
	\RequirePackage[letterpaper,margin=1in]{geometry}
	\RequirePackage{fancyhdr}
	--------------------------------- 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) ==
	*.html
	.DS_Store

	################################################################################
	# vim
	################################################################################
	# Swap
	[._]*.s[a-v][a-z]
	[._]*.sw[a-p]
	[._]s[a-v][a-z]
	group: division

	R = { a:string, b:number
	a, 1
	a, 2
	a, 3
	b, 2
	b, 3
	c, 1
	}
	#include <iostream>
	#include <map>
	#include <tuple>
	#include <utility>
	#include <vector>

	#include "range/v3/all.hpp"

	using namespace ranges;