Orcmid's Lair |
||||
|
|
2004-01-31Randall Holmes Home Page. Here are the goodies provided by Randall Holmes. Holmes has worked on a theorem prover (now named Watson). New Foundations Home Page. And here is the home page on New Foundations. There is interesting material here, including to a bibliography by Thomas Forster. Dr T.E. Forster. Here's the web path to Thomas Forster. I need to build from this to the site for NF and NFU, since I am going to need Randall Holmes' book for sure! 2004-01-30Miscellaneous GleaningsI need to post these to have the archive stay current, even though this material is not organized.Software makers patch Zip tiff | CNET News.com. An interesting tid-bit for toolcraft and standards observance. 2004-01-29Orcmid's Lair: Unicode Special Symbols. Great, now I am blogging my own blog entries. This is by way of reminder that I need to dig back through my entire blog archive and (1) figure out what the mangled entries are all about and whether they are mangled on my development site and (2) glean much of this material for nfoWare. The work at experimenting with Unicode in browsers is relevent to this. Ted Smith. I had the privilege of working around Ted Smith when I was in my second term at Xerox Corporation, until 1998. I am very interested in what Ted has to say now, about collective action and its relationship to publishing, documents, and what I see as problems of the competing requirements for endurance and preservation and the forces generally self-classified as innovative. I need to look at this in Situating Data, since it is highly-relevant. Innovations have been extremely valuable, especially with the drive to commoditization of information-systems technologies. I am not sure how we deal with the fact that the cost of creating and of touching documents does not, so far, follow those same Moore's law sort of curves, and the total costs seem to involve peculiar externalities (just like environmental considerations).
|
|||
