Contact
David Reed. Email: david@ktema.org. (GPG public key). Blog. Work I think is interesting below.
Landau Calculator
Landau Calculator
This simple application performs basic arithmetic using the formal logic system of Landau. The calculator uses no arithmetic primitives (the +, * operators, etc) and displays the steps it performs in parsing and evaluating expressions. Source code is available.
Software
All of the software I've written runs on Mac OS X (10.4 required unless otherwise specified; Universal Binaries) and is BSD-licensed open source.
iMan — a manpage viewer. (New and improved version 0.3b1 just released. Mac OS X 10.5 required).
Mac OS X Utilities — a handful of useful small applications.
Translation, Composition, and Essays
Plato, Euthyphro 2a-5c [PDF]
A translation of the first ~1/3 of Plato's Euthyphro.
Thucydides, History of the Peloponnesian War, Selections on Historiography [PDF]
The theoretical skeleton of Book I of the History of the Peloponnesian War, containing most of the passages interesting in regard to Thucydidean historiography. Translated for my senior essay.
On Principia I.17 [PDF]
I.17 is a bit tricky. I worked this explanation out junior year because I wanted to see what the parabolic orbit-diagram looked like, then turned it into a paper.
The Creative Commons Attribution License applies to the files above. 
