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.
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.