[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Learning EEV

From: Eduardo Ochs
Subject: Re: Learning EEV
Date: Tue, 28 Jun 2022 22:48:22 -0300

On Tue, 28 Jun 2022 at 20:06, Quiliro Ordóñez <> wrote:
> Perhaps it would be nice to have a glossary where your terms are
> described in one sentence.  I have found that I get lost in so much
> information.  When I don't understand something, I try to find the
> information about that which I do not understand.  If I do not find it,
> I do not know where to continue from there.  Sometimes the explanations
> are tool lengthy.  So I get tangled in long references to terms and lose
> my way to the main explanation.  I know that M-k is good to keep
> organized.  But I feel that it is not enough for me.  I have needed
> something more simple to start.  Now that I understand Emacs and EEV
> better, I can understand eev-begginer much better.  But I think that it
> would have been better to understand it without prior knowledge.

Hi Quiliro,

can you access this? I don't know how much JavaScript a browser, or
wget, needs to access this PDF...

The important paragraph is this one:

  In his excellent book Mathematics: A Very Short Introduction,
  Timothy Gowers (2002) considers the question: `What is the black
  king in chess?' He swiftly points out that this question is rather
  peculiar. It is not important that the black king is a small piece
  of wood, painted a certain colour and carved into a certain shape.
  We could equally well use a scrap of paper with `BK' written on it.
  What matters is what the black king _does_: it can move in certain
  ways but not others, according to the rules of chess.

There are many questions about eev that I find very hard to answer
because they are like the question "What is the black king in chess?"
above. It is very easy to show what a certain sexp or e-script... - obs:
this tutorial


starts with this paragraph:

  Eev's central idea is that you can keep "executable logs" of what
  you do, in a format that is reasonably readable and that is easy to
  "play back" later, step by step and in any order. We call these
  executable logs, or executable notes, "e-scripts".

which answer your question about what are e-scripts...

...again: it is very easy to show what a certain sexp or what a
certain e-script _do_ when they are executed, but it is much harder to
explain what they _are_...

  [[]], E.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]