From: David Woodhouse <dwmw2@infradead.org>
To: esr@thyrsus.com
Cc: Alan Cox <alan@lxorguk.ukuu.org.uk>, Nicolas Pitre <nico@cam.org>,
Tom Rini <trini@kernel.crashing.org>,
"Albert D. Cahalan" <acahalan@cs.uml.edu>,
Matthew Wilcox <willy@ldl.fc.hp.com>,
james rich <james.rich@m.cc.utah.edu>,
lkml <linux-kernel@vger.kernel.org>,
parisc-linux@parisc-linux.org
Subject: Re: [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention?
Date: Sat, 21 Apr 2001 13:32:13 +0100 [thread overview]
Message-ID: <1164.987856333@redhat.com> (raw)
In-Reply-To: <20010420203700.E21392@thyrsus.com>
esr@thyrsus.com said:
> If it can't be mechanically verified that the symbol has a correct
> reference pattern within the tree, then it's broken. That's a
> definition.
Here's an alternative definition:
If the symbol has the letters 'F', 'I', 'S' and 'H' in it, in any order,
then it's broken.
That's also a definition. It's not a particularly useful one, but neither
was yours.
/me looks for a way to equate the original definition with the halting
problem :)
--
dwmw2
WARNING: multiple messages have this Message-ID (diff)
From: David Woodhouse <dwmw2@infradead.org>
To: esr@thyrsus.com
Cc: Alan Cox <alan@lxorguk.ukuu.org.uk>, Nicolas Pitre <nico@cam.org>,
Tom Rini <trini@kernel.crashing.org>,
"Albert D. Cahalan" <acahalan@cs.uml.edu>,
Matthew Wilcox <willy@ldl.fc.hp.com>,
james rich <james.rich@m.cc.utah.edu>,
lkml <linux-kernel@vger.kernel.org>,
parisc-linux@parisc-linux.org
Subject: Re: [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention?
Date: Sat, 21 Apr 2001 13:32:13 +0100 [thread overview]
Message-ID: <1164.987856333@redhat.com> (raw)
In-Reply-To: <20010420203700.E21392@thyrsus.com>
In-Reply-To: <20010420203700.E21392@thyrsus.com> <20010420173514.A21392@thyrsus.com> <E14qjmd-0002QD-00@the-village.bc.nu>
esr@thyrsus.com said:
> If it can't be mechanically verified that the symbol has a correct
> reference pattern within the tree, then it's broken. That's a
> definition.
Here's an alternative definition:
If the symbol has the letters 'F', 'I', 'S' and 'H' in it, in any order,
then it's broken.
That's also a definition. It's not a particularly useful one, but neither
was yours.
/me looks for a way to equate the original definition with the halting
problem :)
--
dwmw2
next prev parent reply other threads:[~2001-04-21 12:37 UTC|newest]
Thread overview: 81+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-04-20 2:36 [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention? Matthew Wilcox
2001-04-20 2:36 ` Matthew Wilcox
2001-04-20 3:00 ` [parisc-linux] " Eric S. Raymond
2001-04-20 3:00 ` Eric S. Raymond
2001-04-20 3:17 ` [parisc-linux] " Matthew Wilcox
2001-04-20 3:17 ` Matthew Wilcox
2001-04-20 4:07 ` [parisc-linux] " james rich
2001-04-20 4:07 ` james rich
2001-04-20 4:19 ` [parisc-linux] " Matthew Wilcox
2001-04-20 4:19 ` Matthew Wilcox
2001-04-20 4:52 ` [parisc-linux] " Albert D. Cahalan
2001-04-20 4:52 ` Albert D. Cahalan
2001-04-20 5:17 ` [parisc-linux] " Rik van Riel
2001-04-20 5:17 ` Rik van Riel
2001-04-20 13:13 ` [parisc-linux] " Alan Cox
2001-04-20 13:35 ` Eric S. Raymond
2001-04-20 13:43 ` Alan Cox
2001-04-20 13:53 ` Eric S. Raymond
2001-04-20 14:03 ` Alan Cox
2001-04-20 14:19 ` Eric S. Raymond
2001-04-20 14:44 ` Alan Cox
2001-04-20 14:59 ` Eric S. Raymond
2001-04-20 15:51 ` Tom Rini
2001-04-20 16:06 ` Jeff Garzik
2001-04-20 16:06 ` Jeff Garzik
2001-04-20 16:15 ` Bob McElrath
2001-04-20 16:21 ` Matthew Wilcox
2001-04-20 19:00 ` Jeff Dike
2001-04-20 19:00 ` Jeff Dike
2001-04-20 18:47 ` Matthew Wilcox
2001-04-20 21:55 ` Jeff Dike
2001-04-20 21:55 ` Jeff Dike
2001-04-20 18:53 ` Jes Sorensen
2001-04-20 16:26 ` Jeff Garzik
2001-04-20 16:26 ` Jeff Garzik
2001-04-20 16:35 ` Nicolas Pitre
2001-04-20 16:35 ` Nicolas Pitre
2001-04-20 16:50 ` Eric S. Raymond
2001-04-20 19:08 ` Russell King
2001-04-21 3:08 ` Tom Leete
2001-04-21 3:08 ` Tom Leete
2001-04-21 8:53 ` [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone rmk
2001-04-20 18:20 ` [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention? Tom Rini
2001-04-20 18:48 ` Nicolas Pitre
2001-04-20 18:48 ` Nicolas Pitre
2001-04-20 18:55 ` Tom Rini
2001-04-20 21:19 ` David Woodhouse
2001-04-20 21:19 ` David Woodhouse
2001-04-20 21:24 ` Eric S. Raymond
2001-04-20 21:29 ` David Woodhouse
2001-04-20 21:29 ` David Woodhouse
2001-04-20 21:35 ` Eric S. Raymond
2001-04-20 21:39 ` David Woodhouse
2001-04-20 21:39 ` David Woodhouse
2001-04-21 0:24 ` Eric S. Raymond
2001-04-20 22:53 ` Alan Cox
2001-04-21 0:37 ` Eric S. Raymond
2001-04-21 12:32 ` David Woodhouse [this message]
2001-04-21 12:32 ` David Woodhouse
2001-04-23 21:12 ` [patch] fix broken symbols (was Re: OK, let's try ...) Arjan van de Ven
2001-04-21 23:39 ` [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention? Jes Sorensen
2001-04-20 18:50 ` Russell King
2001-04-20 18:50 ` Russell King
2001-04-20 21:23 ` Andreas Dilger
2001-04-21 0:52 ` [parisc-linux] Proposal for better attribution structure Eric S. Raymond
2001-04-21 0:52 ` Eric S. Raymond
2001-04-20 8:19 ` [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention? David Woodhouse
2001-04-20 8:19 ` David Woodhouse
2001-04-20 19:47 ` [parisc-linux] " Eric S. Raymond
2001-04-20 19:47 ` Eric S. Raymond
2001-04-20 20:00 ` [parisc-linux] " Matthew Wilcox
2001-04-20 20:00 ` Matthew Wilcox
2001-04-20 20:13 ` [parisc-linux] " Eric S. Raymond
2001-04-20 20:13 ` Eric S. Raymond
2001-04-20 20:55 ` [parisc-linux] " Alan Cox
2001-04-20 20:55 ` Alan Cox
2001-04-21 6:48 ` [parisc-linux] " Grant Grundler
2001-04-21 14:52 ` Eric S. Raymond
2001-04-20 13:08 ` Alan Cox
2001-04-20 13:18 ` Eric S. Raymond
2001-07-29 10:47 ` Riley Williams
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=1164.987856333@redhat.com \
--to=dwmw2@infradead.org \
--cc=acahalan@cs.uml.edu \
--cc=alan@lxorguk.ukuu.org.uk \
--cc=esr@thyrsus.com \
--cc=james.rich@m.cc.utah.edu \
--cc=linux-kernel@vger.kernel.org \
--cc=nico@cam.org \
--cc=parisc-linux@parisc-linux.org \
--cc=trini@kernel.crashing.org \
--cc=willy@ldl.fc.hp.com \
/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.
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.