<$BlogItemTitle$> Welcome to Orcmid's Lair, the playground for family connections, pastimes, and scholarly vocation -- the collected professional and recreational work of Dennis E. Hamilton

 
Mindo -- use and abuse of lambda calculus.  Aki Helin's lazy evaluator for the λ-calculus, plus some other goodies.  A compact GNU GPL program.
posted by Dennis at Saturday, February 22, 2003

 
Structure and Interpretation of Computer Programs, Video Lectures.  Much fun.  I like the slide with the wizard and the eval-apply yin-yang.  Wonderful.
posted by Dennis at Saturday, February 22, 2003

 
Lambda Calculus and Lambda Calculators.  Useful material on getting all of basic arithmetic to work in the λ-calculus.
posted by Dennis at Saturday, February 22, 2003

 
Free Software which You Can Download.  Some software from Will Naylor.
posted by Dennis at Saturday, February 22, 2003

 
The Software Process Dashboard Initiative.  An open-source initiative to provide Personal Software Process (PSP) and Team Software Process (TSP) tools.
posted by Dennis at Saturday, February 22, 2003

 
StickyMinds Home Page.  A compendium site on software development.
posted by Dennis at Saturday, February 22, 2003

 
Sticky Minds Articles.  A software-engineering resource.
posted by Dennis at Saturday, February 22, 2003

 
Enterprise Architect - UML software tool for complete object oriented software development.  A product that was recommended as modestly priced and useful. The site has other useful information on UML and the organization.
posted by Dennis at Saturday, February 22, 2003

 
Al Rollins Collection: Early Univac Pictures.  A great model of Univac I and also some 1949 phontographs of the plant and the serial #1. The grainy photo of the Univac 1107 is pretty funny. The console has the two ceiling-hieght supports -- the wiring to the rest of the system went through the false ceiling, rather than under the floor. It is strange to realize the physical space required for what are now highly-miniaturized components, even the magnetic tape drives.
posted by Dennis at Saturday, February 22, 2003

 

Housekeeping

Well, blogger seems to be overwhelmed right now and my last edit failed. I will do more later, but I want this posted just for safe-keeping, disorganized as it is.

Very loose ends -- long list

posted by Dennis at Wednesday, February 19, 2003

 
a href="http://adaptivepath.com/">adaptive path � user experience consulting.  Something of interest to me and my associate, BAnd, in regard to confirmable experience and the requirements gap.
posted by Dennis at Wednesday, February 19, 2003

 
EFF: Chilling Effects of Anti-Terrorism.  From one of Vlad's little snippets, a page on different ways that national security initiatives are taking a toll on freedom of expression.
posted by Dennis at Monday, February 17, 2003

 
Journal of Evolution and Technology.  Published by the World Transhumanist Association.
posted by Dennis at Monday, February 17, 2003

 
AKRI > Artificial Intelligence > Definitions.  Part of the Applied Knowledge Research Institute, found by classmate Norman Frisa.
posted by Dennis at Monday, February 17, 2003

 
Artificial Intelligence and the Creator.  An odd article, in both location (a site designed for the refutation of evolution) and its interesting challenge concerning Christian theology and the prospect of an intelligent machine. Some interesting items to think about on the AI question.
posted by Dennis at Monday, February 17, 2003

 
MIT Artificial Intelligence Lab.  The home page of the MIT AI Lab.
posted by Dennis at Monday, February 17, 2003

 
What Worries about Computers are Warranted?.  This is part of a review of Weizenbaum that touches on the worries that need to be considered. The review is by John McCarthy, and he asserts that all of these concerns can be assuaged. Pointed out by classmate Thomas Eichberger.
posted by Dennis at Monday, February 17, 2003

 
Artificial Intelligence Introduction.  The entrance to AI-Depot, billed as "Artificial Intelligence: Plain and simple."
posted by Dennis at Monday, February 17, 2003

 
AI & Medicine.  Another interesting site on AI topics. Referenced by Michael Franklin, this site seems to be promoting Multiagent systems and distributed AI.  There may be more.
posted by Dennis at Monday, February 17, 2003

 
The Turing Test Page.  I wild compilation, sort of a Turing-Test Blog. Another great find from Michael Franklin.
posted by Dennis at Monday, February 17, 2003

 
Artificial Intelligence and Our Society.  Nice class paper with good references and bibliography. Found by my classmate Michael Franklin.
posted by Dennis at Monday, February 17, 2003

 
Time Sync Solutions from Beagle Software: Home of ClockWatch, DocuClock and ClockCard..  Something I want to do as I upgraded to Windows XP.  My old Windows 98 clock-setting tool doesn't run on XP and I want to keep accurate time on Compagno (at least) for synchronizing FTP time stamps, my timestamps on web sites, etc.
posted by Dennis at Sunday, February 16, 2003

 
ACM News Service: "Will Computers Replace Engineers?"  A summary of Eric Haseltine's artilce in Discover 24, 2 (Feb. 2003), p.40.  There is some debate about the level at which computer systems supplant engineering, but Al Aho suggests that machines and humans will be interchangeable within a human generation.

There also doesn't seem to be clear understanding about the need to validate simulations; "Nicholas Donofrio of IBM said computers play a key role in designing new computers, and forecasted that they will be able to learn more from people in the future; he was very excited that computers are replacing physical construction and testing of products via simulation, which greatly streamlines the development process."
posted by Dennis at Sunday, February 16, 2003