Contact
David Reed. Email: david@ktema.org. GPG public key. Blog (Caprica Greek). Work I think is interesting below.
There are very many people named David Reed. You might have the wrong one, especially if your David Reed owes you money.
Landau Calculator
Landau Calculator
This application performs basic arithmetic using the formal logic system set out in Landau's Foundations of Analysis. The calculator uses no arithmetic primitives (the +, * operators, etc) and displays the steps it performs in parsing and evaluating expressions. (It is essentially an exercise in arithmetic by linked-list). 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. My source code repositories (other than iMan, which is on Sourceforge) are at BitBucket.
AppMenuX — a classic Mac OS application menu for OS X. [ release coming shortly | Source ]
FileInfoCMM — access file information and attributes from the contextual menu. [ Download | Source ]
Writing
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]
Principia proposition 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. 
