[prev in list] [next in list] [prev in thread] [next in thread] 

List:       novalug
Subject:    Re: [ma-linux] Re: Linux LPI Certification vs Redhat Certificatio n
From:       Bruce Israel <israel () tux ! org>
Date:       2005-08-29 19:29:18
Message-ID: 20050829192918.GA29880 () home ! exsolent ! com
[Download RAW message or body]

On Mon, Aug 29, 2005 at 02:49:29PM -0400, Johnson, Steve (NIH/OD/ORS) wrote:
> 
> >>  networking has the concept of "commits" 
> >> no analogy to the rollback function
> 
> What I was basing my ideas on is Protocols by Invariants (Cambridge
> International Series on Parallel Computation) 
> by A. A. Schoone, et al (Paperback - August 19, 2004) and, yes, was taking
> non-commit and rollback as synonymous, whereas as a database can actaully
> undo, instead of just release locks and back away from a commit, I guess (I
> was just being stupid).  The multi-way commits are used in updating the
> routing tables, in fact the backbone routing protocols are full of advanced
> algorithmics.
> You'll notice I am far from a perfectionist, it goes against my nature,
> always has.
> 
> >>  Lisp is based on something called "lambda calculus" (by Church?)
> Absolutely, Alphonso Church of Princeton.  The lambda calculus was a lot
> more enlightening than LISP for me, and they are closely matched.

I believe that's Alonzo Church, not Alphonso.

Bruce
_______________________________________________
ma-linux mailing list
ma-linux@tux.org
http://www.tux.org/mailman/listinfo/ma-linux
[prev in list] [next in list] [prev in thread] [next in thread]