O. M. G. The typechecking is much slower for this than all my previous proofs, and until I removed a bunch of cruft it overloaded the garbage collector.
I am now so much closer to proving my binary gcd implementation correct without leaving a certain lemma unproven. This is an obsession akin to the one that resulted in Sorts Mill Goudy (yes, the one that exists as a Google Font, thus the tie-in to Google+). I had no particular desire for a Goudy font, but I had a compulsion to make one.
(The compulsion did not extend to doing a boldface. I dislike boldface and think it usually better avoided entirely. Dictionaries are an exception; I prefer dictionaries that use boldface nicely.)
I was born in 1961, and grew up mostly in Kendall Park, New Jersey, USA. As a teenager reading library books I discovered the existence of typefaces. Thus was seeded my main interest these days, typefaces for books.
While studying electrical engineering in the 1980s I discovered troff, TeX, and digital type, and so had his latent interest in typefaces awakened. In 2005, while studying the language Esperanto, I started adding accented letters for that language to fonts, for my own use; before long I was struggling to make the unaccented letters too, in spite of chronic hand pain and the need to use a special input device (http://en.wikipedia.org/wiki/Datahand).
Occasionally I am tangentially semi-active in the ‘Bell skeptic’ community. See https://bitbucket.org/chemoelectric/programs-that-violate-bell-inequalities
I live in Saint Paul, Minnesota, USA, with my wife and our many pet dust bunnies.
- Rutgers UniversityElectrical Engineering, 1984 - 1990
- Middlesex County College, New JerseyEngineering Science, 1981 - 1984
- Crossworks Inc.Computer programming guy
- Medical Graphics Inc.Computer programming guy