Notes on logic, sets, relations, functions, induction and other mathematical preliminaries

Shell Scripting

Tips and tutorials on Linux terminal-fu


Cheatsheets and editing techniques for the extensible, customizable, self-documenting real-time display editor


Notes on the Unix-like and mostly POSIX-compliant computer operating system

Quotable Quotes

Inspiring, thought provoking and witty quotes

Book Writeups

Short summaries of books I've been reading

built with , Jekyll, and GitHub Pages