Skip to content

Instantly share code, notes, and snippets.

View mwhittaker's full-sized avatar

Michael Whittaker mwhittaker

439 followers · 28 following
View GitHub Profile
@mwhittaker
mwhittaker / client.go
Last active November 16, 2023 06:01
Go Echo Server and Client
package main
import (
"fmt"
"net"
"os"
"time"
)
const (
@mwhittaker
mwhittaker / monad.rs
Created July 12, 2014 21:47
Syntactic sugary monadic bind and map
#![feature(macro_rules)]
macro_rules! map(
() => ({});
($a:expr) => ($a);
($a:expr -> $b:expr) => ($a.map($b));
($a:expr -> $b:expr -> $($c:expr)->*) => (map!($a.map($b) -> $($c)->*));
)
macro_rules! flatbind(
@mwhittaker
mwhittaker / README.md
Last active March 14, 2020 18:12
Google Cloud Platform
@mwhittaker
mwhittaker / mwhittaker.cls
Last active September 3, 2019 00:55
Provenance Practice Prelim
\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{mwhittaker}
\LoadClass[12pt]{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Imports
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\RequirePackage[compact]{titlesec}
\RequirePackage[letterpaper,margin=1in]{geometry}
\RequirePackage{fancyhdr}
@mwhittaker
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
@mwhittaker
mwhittaker / AB.tla
Last active April 24, 2019 20:59
TLA Misc
--------------------------------- 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 April 1, 2019 19:22
Bipartisan Paxos All Hands Talk
This file has been truncated, but you can view the full file.
View raw
@mwhittaker
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
@mwhittaker
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
@mwhittaker
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