From: Jean Louis <bugs@gnu.support>
To: Christopher Dimech <dimech@gmx.com>
Cc: help-gnu-emacs@gnu.org, Emanuel Berg <moasenwood@zoho.eu>
Subject: Re: Quote by Knuth
Date: Sun, 18 Jul 2021 14:50:46 +0300 [thread overview]
Message-ID: <YPQVllOu/kkWSsGh@protected.localdomain> (raw)
In-Reply-To: <trinity-2b088f8f-5471-4394-9413-334149baf739-1626594089956@3c-app-mailcom-bs04>
* Christopher Dimech <dimech@gmx.com> [2021-07-18 10:43]:
> > Well, don't we do the very same mathematics as ancient Greeks did, only
> > expressing it in a different language? (And of course, we now know
> > more, since our knowledge grows. OTOH, many things in contemporary
> > mathematics are not very trustworthy due to the complexity and high
> > probability of errors.)
>
> I understand that. About twenty years ago, I tried it. It gets things
> even more complicated than they are. I rather have a number of small
> well contained implementations. I disagree with Knuth that a practitioner
> of literate programming becomes an essayist, whose main concern is with
> exposition and excellence of style, rather than how to perform the actual
> computation.
If you would be the inventor of such an excellent typesetting system
such as TeX you would have that good idea that other people should
learn and apply it as well.
By all means I do agree with Knuth, though in limited manner and
specifically to context of the work or to specific domains or specific
branches of the work.
For majority of Emacs packages that is really not necessary as there
are documentation strings or docstrings. That is literate
enough. Print the Emacs package and read the docstrings. Or one can
generate the list of functions in the package and format it it nicer
and get somewhat nicer printout. But Emacs packages do not really
control crucial or very responsible domains of human activities.
Who cares if some frame or window makes a problem, even if Emacs
crashes there are remedies, if some highlighting is not correct,
somebody will need to correct it but it does not impact large number
of people.
Literate programming is highly necessary in crucial and high
responsibility related applications. Let us say applications
concerning handling of nuclear power plants, any other energy related
applications, medical applications, satellite control, communication
control. One simply SHOULD NOT program without good description on
what that program does and how. Literate programming would also help
the programmer easier to solve the problems before the program come to
shape.
That I personally just start the function because I write what I think
is far from being understood in some future. It cannot be
demonstratably easily understood on this mailing list even by
experienced and more skilled people. Our thoughts do not align to
other people thoughts and so our programs may look quite different
from one to each other. Then future programmer may need to rewrite
functions or improve upon it. In fact there should be a program that
rewrites it in other new or more powerful programming language.
Project has been programmed, it is finished and years pass, now come
the new generation and that generation of people should be able to
understand all details of the program in general. That understanding
would come from literate programming.
In general, when there are simpler programs why complicate and make it
too much literate? We can see that there is no reason for that in
practice. One README or INSTALLATION file and docstrings and
commentaries are obviously our practical way of literate
programming.
The demand for literate programming depends on the importance of the
program.
> I know a few professors myself claiming to work on the dynamic
> properties of everything and the bullshit they say they have
> developed. They say they develop the theories, they develop the
> computational algorithms needed, they do everything. Until you do
> some work with them and realise there's not much to their work.
> Welcome to the world of academia in the western world.
That is how it is, among those useless there will be number of useful
inventions. I see that as a ratio and ratio has to be upheld. Maybe
the ratio of useless invention is 80 to 20 of useful inventions, but
if you do not uphold the ratio then you will get less useful
inventions in future.
--
Jean
Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns
In support of Richard M. Stallman
https://stallmansupport.org/
next prev parent reply other threads:[~2021-07-18 11:50 UTC|newest]
Thread overview: 87+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-05 14:37 append, push, and add-to-list Drew Adams
2021-07-05 14:53 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:19 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 16:18 ` [External] : " Drew Adams
2021-07-05 16:46 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:54 ` Jean Louis
2021-07-06 20:08 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:41 ` tomas
2021-07-05 16:58 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 17:21 ` tomas
2021-07-06 1:17 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:10 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:18 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:11 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:39 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 20:35 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:57 ` Jean Louis
2021-07-06 20:16 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:56 ` Jean Louis
2021-07-06 20:15 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:51 ` Quote by Knuth Jean Louis
2021-07-06 20:06 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 21:57 ` Christopher Dimech
2021-07-06 22:16 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 22:26 ` Alexandre Garreau
2021-07-06 23:21 ` Christopher Dimech
2021-07-14 16:09 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:37 ` Christopher Dimech
2021-07-14 17:41 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 3:08 ` Christopher Dimech
2021-07-18 22:25 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:18 ` Christopher Dimech
2021-07-14 16:02 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 16:20 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:41 ` Christopher Dimech
2021-07-14 17:43 ` Christopher Dimech
2021-07-14 17:49 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 3:05 ` Christopher Dimech
2021-07-15 6:50 ` tomas
2021-07-15 6:55 ` Christopher Dimech
2021-07-15 7:11 ` tomas
2021-07-15 10:55 ` Christopher Dimech
2021-07-18 22:23 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:22 ` Christopher Dimech
2021-07-18 22:20 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:27 ` Christopher Dimech
2021-07-14 19:24 ` Jean Louis
2021-07-14 20:15 ` Christopher Dimech
2021-07-14 20:30 ` Marcin Borkowski
2021-07-14 20:58 ` Christopher Dimech
2021-07-14 22:54 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 21:04 ` Christopher Dimech
2021-07-14 23:05 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:53 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 6:06 ` Marcin Borkowski
2021-07-15 6:21 ` Christopher Dimech
2021-07-17 18:43 ` Marcin Borkowski
2021-07-18 7:41 ` Christopher Dimech
2021-07-18 11:50 ` Jean Louis [this message]
2021-07-18 13:17 ` Christopher Dimech
2021-07-18 13:41 ` Jean Louis
2021-07-18 17:57 ` Christopher Dimech
2021-07-18 23:25 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:27 ` Christopher Dimech
2021-07-20 16:39 ` Christopher Dimech
2021-07-18 22:58 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:41 ` Christopher Dimech
2021-07-18 22:54 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:10 ` Christopher Dimech
2021-07-18 13:54 ` Christopher Dimech
2021-07-18 22:37 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-18 22:34 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:43 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:31 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15 2:58 ` Christopher Dimech
2021-07-15 6:43 ` Eli Zaretskii
2021-07-18 22:14 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-19 7:07 ` tomas
2021-07-19 8:05 ` Christopher Dimech
2021-07-21 4:52 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21 8:55 ` Christopher Dimech
2021-07-21 4:28 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21 8:42 ` Gregory Heytings
2021-07-19 8:44 ` lisa-asket
2021-07-06 21:34 ` Christopher Dimech
2021-07-05 16:19 ` [External] : Re: append, push, and add-to-list Drew Adams
2021-07-05 16:41 ` Emanuel Berg via Users list for the GNU Emacs text editor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=YPQVllOu/kkWSsGh@protected.localdomain \
--to=bugs@gnu.support \
--cc=dimech@gmx.com \
--cc=help-gnu-emacs@gnu.org \
--cc=moasenwood@zoho.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.