My technical blog explaining concepts in math, computer science, and game theory.
My nontechnical blog containing musings, ideas, and such.
A site containing resources on the science of obtaining predictions and beliefs from strategic agents. Based on a tutorial given with Raf Frongillo at the 2016 ACM Conference on Economics and Computation (EC).
With Raf Frongillo and David Rothschild, a workshop organized at the 2017 ACM Conference on Economics and Computation (EC).
With Haifeng Xu, a tutorial given at the 2018 ACM Conference on Economics and Computation (EC).
A list-in-progress I am compiling of some of the most common and useful approximations, inequalities, bounds, proof techniques, etc. for theoretical computer science.
An experimental, under-development system for organizing and interacting with email via a command-line interface.
Introductions by examples to some useful tools.
Jumpstart GLPK. The GNU Linear Programming Kit's stand-alone LP solver, glpsol.
Supplementary: example0.mod, example1.mod.
Jumpstart Flex/Bison. Lexing and parsing tools for writing compilers using C or C++ (the free versions of lex and yacc).
Supplementary: all example files (zip), example0.l, example0.y, example1.l, example1.y.
Jumpstart LaTeX. The technical document preparation system.
Supplementary: all example files (zip), example0.tex, example1.tex, example2.tex, bibexample.tex, bibexample.bib.
Jumpstart Linux. Getting started using Linux and the command line for an absolute beginner.