www.κτῆμα.org

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.

iMan icon

iMan — a Cocoa manpage viewer. [ Home | Download | Source ]

Type Application Version 0.4b2 System 10.5+ (Universal) Size 616KB
Description iMan is a GUI application designed to replace the terminal man(1) program. iMan offers a browser-inspired interface to the system manpages with fast display and searching, UTF-8 support, caching, and other features.

AppMenuX — a classic Mac OS application menu for OS X. [ release coming shortly | Source ]

Type Menubar status item Version N/A System 10.6+ (32/64 bit)
Description AppMenuX displays an application menu approximating that of Classic Mac OS 9 under OS X.

WordCountService — system-wide word count function. [ Download | Source ]

Type System service Version 1.01 System 10.4+ (Universal) Size 112KB
Description Select text in any Cocoa application, then select (Application)->Services->Word Count to get a listing of characters, words, lines, and paragraphs in the selection.

PercentEncodeService — system-wide percent-coding (like%20this) functions. [ Download | Source ]

Type System service Version 1.01 System 10.4+ (Universal) Size 92KB
Description Select text in any Cocoa application, then select (Application)->Services->Percent Encode (or Decode) to apply that transformation to the text.

FileInfoCMM — access file information and attributes from the contextual menu. [ Download | Source ]

Type Contextual menu plug-in Version 1.01 System 10.4+ (Universal); 10.6 not supported Size 140KB
Description FileInfoCMM displays file information, including permissions and data/resource fork sizes, in a contextual menu submenu. Note: Contextual Menu Items are no longer supported by Apple as of Snow Leopard/10.6. FileInfoCMM will not function on these systems.

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. Creative Commons License

NearlyFreeSpeechValid XHTML 1.0!Valid CSSAny Browser