Bad cases make bad laws
With the recent assertion by SCO's chief counsel that
`The GPL is invalid' based on an clearly absurd interpretation
of copyright law, their case has completely severed what few
strands of
credibility it once possessed. Some people still
argue that this is an important lawsuit, because of the possibility of
related actions. This is to neglect the useful lawyer's
maxim that bad cases make bad law. I don't think that significant
precedents on IP will come from this farce, and the only
non-prurient interest I see left
is to understand why a well-regarded law firm like Boies,
Schiller and Flexner has let its reputation be abused in this way.

Voting machines
Bram argued in his
13th August diary entry against the accuracy of electronic
voting machines: in my last post, I tacitly made the assumption that if
electronic voting systems are ever deployed, they will perform
better than mechanical systems under normal circumstances. I
realise that there are grounds to believe this an optimistic
assumption; still it is important to bear in mind how bad mechanical
systems are: apparently almost 1 in 30 votes is miscast or ignored.
Also, there is no reason why electronic voting should not
create a paper trail, although, I agree, most current proposals
do not.

Bram's minefield
In Bram's
6th August entry Bram introduces a `game' played over ZFC:
even in the simplified case of large cardinal axioms (LCAs),
there may be no fact of the matter of which is stronger: if you look
at the diagram of important LCAs in Kanamori's "The Higher Infinite", they
form a partial order, not a linear order (I don't know whether this reflects
known independence results or just ignorance). I do think as a kind
of thought experiment, your exercise is illuminating; I like
to think about how different mathematical pholosophy might be
if results came to known in different order, might we regard
a much weaker or stronger set theory as the default?

The Knight's Tour I
First in a series of posts on a combinatoric problem. A knights
tour of an MxN chessboard is a sequence of squares of the
board, where there is a valid knight's
moves between each square and its successor, and where each square
of the chessboard occurs exactly once. The
tour is closed if its first square can be reached from its last.
Can you prove that there are no solutions for 2x2,
3x3, and 4x4 boards, or closed solutions for the 5x5 board?

Erratum: The original version of this entry asked to prove there are no solutions to 5x5 boards, which is false: there are solutions, only no closed solutions.

raph: Indeed, most convincing, thanks. The IACREOT website is interesting in a perverse sort of way, the organisation seems to have once been a functional professional organisation now twisted by the drive for revenue. I feel much the same way about the ACM: I have a membership, but I refuse to endorse them. While good scientific work is done under the ACM umbrella, the typical price of ACM conferences is an outrage, and academically exclusionary, and I think academics should as far as possible see if they can do their work outside the ACM. Kent Pitman wrote an amusing polemic against
the Communications of the ACM, but I can't find the link now.
Postscript: I found the Kent Pitman article, it was a comp.lang.lisp post. Rather nice polemic, and I basically agree; while I don't think it is practical for
most computer science academics to boycott ACM conferences
and journals, I do think awareness needs to be raised about
what is wrong with the ACM today.

Electronic voting systems
Steve at Begging to Differ argues
against the security concerns voiced regarding electronic voting
systems, thinking that on average the new machines will be better than the
old. IMO, he's completely missed the point. I think that while electronic
voting systems reduces the overall chance of error in elections, and gives a
possibility of completely correct votes, they do so at the cost of making
massive deliberate distortions of election results much more likely.
Tampering with punched cards is a time consuming process, that must be
done on a one-by-one basis, and carries a risk of detection something like
proportional to the size of the fraud. Finding a backdoor in an election
machine may allow
tampering with as much of the vote as the fraudster thinks
is credible, and can be replicated on every similar machine the fraudster has
access to (conceivably remote access, in
the worst designs).

A good side effect of the debate is that perhaps the wider
public will start to be suspicious of the security by obscurity argument.

raph: How do you know there were voting machine representatives in
that meeting? It wasn't in the Denver Post article or Dan Gilmour's blog.
Also, Gilmour misstates the Denver Post article, which says she was ejected
because she was not a
public official, rather different than she wasn't credentialled.

Postscript: They don't call it that over
there either
Eugene Volokh has has a nice puzzle: for how many countries are the native
names for the
countrry unrelated to the name in english? The answer is five, and an
interesting question is how does that figure change for other European
languages? By my
reckoning there are four for german. We have fluent French and Spanish
speakers (at least) here: what are the figures for these languages? Are there
interesting differences to cases for english (there aren't in the case of
german). This
resource may be useful.

The BBC is pathologically hostile to the Government and official opposition,
most British institutions, well-polished shoes, American policy in almost
every field, stamp-collectors, Israel, moderation in Ireland, lightly boiled new
potatoes, the colour mauve, freedom of speech in the Isle of Wight, all
Western religions, most odd numbers between 32 and 57, sun-roofs on Ford
Escorts, Crunchy Nut Cornflakes, most manifestations of the free market
economy and household gadgets of every kind.

Intellectual Property
This entry is all information (ie. links), and no thoughts.

The
third installment (here are the first
and second) in Larry Solum's series on IP has been posted. This is a really excellent post, concentrating on
the question of whether the RIAA has any chance of effectively
eliminating file sharing (by which he means file sharing of proprietary
works, irritatingly Larry doesn't acknowledge the existence of
file-sharing of non-proprietary works).

Larry links to the Intellectual
Property Page, and excellent resource that I don't think I
ever encountered before. Also Randy Barnett at the Volokh Conspiracy
provides brief
commentary on Larry's post, where he interestingly comments
that he will be developing an anti-IP argument in a seminar series
he will be giving at Boston University.

Text and hrefs
I'm interested in what opinions exist on how to mix text
and hrefs in HTML. As far as possible I try to make the text
in an HTML document between anchor tags be informative as to
what the href is, and to be a determiner phrase (eg. "two arguments
against rhubarb", or "the definitive reference to custard"). Is
there anything like a style-guide to these sorts of issues?

zhaoway:
you are being rather mysterious. Don't worry about Erik, he only
bites posters to comp.lang.lisp. In any case, isn't it better
to get bitten early than suffer deeper bites later?

tk: Indeed
you are right, it's not so difficult, and I'm
not sure what Mike thought the problem was. Perhaps the point is that
you can't parse Haskell/python using lex/yacc without the use of persistent state
in the lexer. The right data structure to handle indentations is a linked list; you can
then count the number of times you pop the list to see how many
OUTDENTs to issue.

Terrorism and many eyesOliver Kamm writes about the idea of a futures market where one can
bet on future terrorist attacks. He argues the plan is incompetent,
because it tries to make predictions in the absence on public
information. However, he says a similar idea would work, namely
using market mechanisms to identify risk areas for terrorist attacks.

There's an interesting point of similiarity between this idea and the
idea that open source projects tend, others things being equal, to
be less buggy than closed projects. Both have the criticism that
attackers can use the published information to find vulnerabilities,
and the counter-argument is comparitively complex.

Indentation-based LISPs
zhaoway writes about his ideas for an alternative syntax
for scheme. There's been some experimentation with Haskell/Python -style indentation based syntaxes for LISPs.
Check out:

This post of Peter Norvig, from the same thread, arguing for the naturality of
indentation.

This post, also in the same thread, by Eric Naggum argues that indentation based syntax is a bad thing for LISP-like languages since it breaks the important similarity between
internal representation and programmer representation that
is so important for macro programming.

I also remember reading in comp.lang.scheme about someone who used such an approach in teaching scheme (training wheels for LISP syntax?), but I've lost the reference.

zhaoway also comments on the difficulty of getting lex/yacc to handle non C-like syntaxes, by which I guess he means indentation-based syntaxes. Yes, this is an acknowledged problem with lex/yacc: Mike Spivey was the first to tell me of the problem. It's not impossible to do this: lex does allow you to call arbitrary C code when lexing; but I think there is no clean way to do this. Maybe, as a challenge, some lex guru here can show
a clean way of doing this.

Postscript: Politics on Advogato
kilmo sort-of reversed his earlier stance against politics on advogato stance due to irritation at ignorance, to post
the
first in a promised series on Israeli history. It's a
nice start, I have some quibbles, but he hasn't yet touched upon the really interesting
part of the regional history (and Daniel
Bernstein's guest post at the Volokh conspiracy covers more of this history). I'd like to make a couple of points
about politics on advogato:

Firstly, I don't want to run
different weblogs, I like being part of the advogato community, and I want to post about politics. The idea that
there is a tension between content on free software and other topics has led raph first to propose a system of sections, and later to create his own personal blog server. The first
didn't catch on, the second I don't like since it means I
have to read several different places to keep track of all the things that are going on with raph...

Secondly, just how bad for the free software are posts about politics? I'm guessing that the suspicion about
political content here has been due to mglazer's abuse of this forum. But here I think the problem has been not with
mglazer's views per se, but the offensive manner in which he
frequently framed his views. While we have had problems with other political views put across offensively, I think we have had less problem with that than with offensively made views about
developer and free software issues, and I think that diary
ratings have pretty much solved the problem.

So I think there is a place for politics on advogato. Am
I out of touch on this?

Politics #1: Andrew Giligan
It has been widely claimed by BBC haters that Andrew Giligan
during the invasion of Iraq was a defeatist reporter,
gleefully exaggerating setbacks for US/UK forces and failing to recognise accomplishments. Interesting to learn that he was
a supporter of the invasion: see this article by Boris Johnson MP.

Politics #2: The Bush administrations *real* motivations for invading Iraq
John Marshall's Talking Point Memo provides an
interesting discussion of the real motivation for the invasion of Iraq. I was convinced that the motive
Josh gives (roughly, reengineering the Middle East to promote democracy, and so make the region safe and friendly
to Israel and the US) was the real motive for the war since
I read this interview in Foreign Policy. If this is right, then it is clear that the Bush Administration as a whole deceived the american
public, despite having honorable
motivations (Paul Wolfowitz being the decent exception, who
did make this case).

Josh says the reason for the deception is the administration
thought their actual reasons were too complex to make to the
american public. One is reminded of Dean Acheson's infamous
remark about the need to explain the case for going to war in Vietnam "in terms clearer than truth".

Larry Solum, a law blogger, has begun a series on intellectual property on the divide between
academic
legal theorists and practicing lawyers, the first post
responding to arguments at Scrivener's error that,
irritatingly, he doesn't link
to. I think the series is important: by and large IP theorists
are on the side of weak IP, and practicing IP lawyers are
against it.

Postscript: Are two-layer UIs a good thing?
It's a common pattern in
applications that they
are given two interfaces, a deep interface that exposes as
much functionality as possible, and is usually made
available as a library, and a shallow
interface that exposes only a subset of the functionality
needed in most common user interactions, and which is available
as a command-line argument interpreter, or as a GUI.

There are generally good reasons for adopting this pattern,
but I wonder if it is overutilised through familiarity. Two
thoughts:

Why shouldn't we expose all the functionality in the user
interface? Embedded scripting languages and their LISPish
ancestors make this kind of thing easy, and you can even have
dialog boxes in GUIs if you like.

I'm also intrigued by what the Mozilla folk are doing with
XUL. They don't see there as being *one* shallow interface
to the Mozilla code base, but a whole family of them. Everyone
can write their own browser-like application through XUL, so
we have an application as domain specific language.

Obviously, flexibility doesn't make good UIs, but I wonder
if we might not get UIs that better balance the needs of
both ordinary and expert users if we go someway down this
path?

Postscript #2: VIPS
The Veteran Intelligence Professionals for Sanity caused a bit
of a stir back in April contractadicting claims of there
being a consensus in the intelligence community saying
Saddam Hussein's regime had an active nuclear weapon's development
programme. Now they are calling
for VP Cheney's resignation. Does anyone know anything about this
group, other than the usual boilerplate one hears that they are a bunch of
mostly retired CIA analysts
spread across the USA?

Postscript #3Unbelievable. (In case you think this is just common or
garden stupidity, bear in mind this is the front page story of the UK magazine
that styles itself the magazine of choice for the intelligent conservative).

Mark Glaser has done a chart of the most important blogs according to impact on
print media. The blogs are arranged from liberal to conservative, and from bloggish to journalistic. It's a nice overview, though it has makes some judgements I find
suprising: how is the democrat Mickey Kaus (Kausfiles) supposed to be more conservative than
AndrewSullivan? And is the Drudge Report still one of the six most influential blogs?

raph: glad you liked the link; I think the issue is important and I'm happy to hear that you are thinking about how to counteract the effect. I have to confess the text with my link was a piece of unsuccessful irony, because I found Harry Frankfurt's tone rather pompous, so the piece might be seen as a bit bullshitty itself. But I do recommend folks read the essay. Also Orwell's Politics and the English Language is strongly recommended: although bullshit isn't really his target here, the mentality that lies behind it
is very much addressed