[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: append, push, and add-to-list.
From: |
tomas |
Subject: |
Re: append, push, and add-to-list. |
Date: |
Mon, 5 Jul 2021 19:21:59 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Mon, Jul 05, 2021 at 06:58:45PM +0200, Emanuel Berg via Users list for the
GNU Emacs text editor wrote:
> tomas wrote:
>
> >> But ... ultimately one writes code so the computer can
> >> execute it, and not so that a human can read it. So maybe
> >> one shouldn't quote empty lists?
> >
> > There's at least one wise person who put that exactly the
> > other way around:
> >
> > Programming is the art of telling another human being what
> > one wants the computer to do
> > -- D E Knuth
>
> LaTeX, veeery understandable! Especially when explained to
> other humans!
>
> Well, maybe TeX was better in this sense?
http://www.catb.org/jargon/html/koans.html
Cheers
- t
signature.asc
Description: Digital signature
- Re: append, push, and add-to-list., (continued)
- Re: append, push, and add-to-list., Drew Adams, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Stefan Monnier, 2021/07/05
- RE: [External] : Re: append, push, and add-to-list., Drew Adams, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Jean Louis, 2021/07/06
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/06
- Re: append, push, and add-to-list., tomas, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list.,
tomas <=
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Stefan Monnier, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Jean Louis, 2021/07/06
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/06
- Re: append, push, and add-to-list., Jean Louis, 2021/07/06
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/06