Interview: Vernor Vinge
Science fiction writer Vernor Vinge is best-known for novels like A Fire Upon the Deep and Rainbows End, as well as the concept of The Singularity -- the idea that, in the next couple of decades, humans will become or create a super-human intelligence. What is less well-known is that Vinge has been a free software supporter since the earliest days of the Free Software Foundation (FSF). He has served several times on the jury for the FSF Awards and spoke at an FSF-sponsored event held last month in San Diego to coincide with the LISA conference. As someone who deals regularly with large scale speculations, Vinge places free software in a larger historical context. He even speculates that free software may be one of the factors that will shortly bring about the Singularity.
Part of Vinge's interest in free software is personal. A mathematician and computer scientist, he quickly found that the rise of proprietary software greatly increased the difficulties of teaching.
"When I looked at contracts and user-agreements,
" he
recalls, "the legalese was extraordinarily intimidating, not just
because it was complicated, but because it actually seemed to restrict
things to the point where it was really difficult to imagine how a student
could follow the agreement and still do a project. So the openness that was
in the GNU General Public License (GPL) was really very, very
welcome.
" Vinge soon got into the habit of giving students "a
little spiel about the GPL
" and encouraging them to license their
projects under the GPL.
"If they did that,
" he says, "that would mean I would be
able to use their stuff in later projects with other students. And a very
large percentage of students in most classes though it was a cool enough
idea that they actually did use [the GPL] in their projects.
"
The historical trend to cooperative infrastructure
However, as important as free software may have been to Vinge in his teaching, what seems to interest him the most is placing free software in a broader historical context. Early on, Vinge came to view free software -- and, later on the Internet and social networking applications that it was instrumental in creating -- as part of a historical trend towards creating an increasingly elaborate "infrastructure of trust and cooperation" that increases the rate of technological advance.
Vinge says: "There are business inventions of the last 2000 years
like the widespread use of loans and credit, the use of insurance, the use
of limited liability corporations, all of which involve at least at the
beginning, a leap of trust.
" To Vinge, free software, the Internet and
social networking are simply the latest extensions to the infrastructure
created from such institutions. What these institutions all have in common
is that they allow people to interact in more creative and productive
ways.
More specifically, he sees free software as the natural and more logical
extension of the insight that had produced the shareware culture a few
years before the start of the GNU Project and the FSF. With
the emergence of the personal computer, entrepreneurs were finding that
"the barriers to entry were so low that you didn't need a lot of the
overhead that was involved in commercial stuff, and you might just be able
to get away with trusting people to pay you. There was much blind feeling
around the concept of producing stuff in some sort of context that was
different from cars.
"
According to Vinge, what the GPL and the software and institutions that
have grown up around it have produced is "a platform for experimenting with
social invention. In the 20th and 19th century, if you wanted to experiment
with a new infrastructure for people to interact in, in most cases, like
with the railroads, you needed enormous effort. And now -- we can actually
do social experiments -- cooperative experiments -- much more cheaply, and
you can design ways for people to interact based on just the software
guiding what the interactions are like.
"
Vinge acknowledges that the consequences have not always been beneficial.
"One thing the last ten years have proved is that we seem to be very
bad at thinking how stuff can be abused,
" he says, no doubt thinking
of such phenomenon as crackers and online predators. "Any time you
can make something a hundred or a thousand times cheaper than it was
before, there are probably side-effects. But there's a tendency when
something works really, really well to push it hard and deliberately avoid
thinking about side-effects.
"
Still, the main change has been beneficial overall in Vinge's view. In
particular, he says: "One nice thing is that the price of failure is
a lot lower than what you might imagine in the 19th century. Say someone
spent ten million 1850 dollars, to make steam-powered dirigibles. Now, it
doesn't work, and you've just spent a lot of money, and you don't have
anything except a lot of ruined effort. Now, there's still ruined effort if
something doesn't work out, but you can retarget or repurpose much more
easily, and you can justify taking much larger leaps of faith than you
could in 1850.
" The result is that more experimentation, and more and
quicker development becomes possible.
In this view, free software represents the currently most-advanced
realization of the possibilities inherent in computer technology. "It's an
interesting, science-fictiony, parallel-world story to imagine what would
have happened if Richard Stallman hadn't come along with the GPL,
" says
Vinge. "Without Richard Stallman's insight, I think we would have
eventually got something like what we got with free software, but it would
have been a very interesting muddle. [The process] could have gone for
years, and it could easily have gone on so many years that it impacted the
era in which really large stuff can be built in the free model. So,
overall, I think we would have got something, but, even now, the low
overhead involved and even the insight that comes from the GPL would not be
with us.
"
In other words, the GPL and modern computer structures are all "in
the tradition of the last few centuries. They're taking the traditions that
we saw with the industrial revolution and adding several layers of
magnitude to that flexibility.
"
Bringing on The Singularity
Although speculation is part of Vinge's stock in trade as an SF novelist,
he is cautious about predicting the future. "I always rush to say,
'Terrible things could happen!'" he says. "A giant meteor could hit the
earth, or a civil war could happen.
"
However, caution aside, Vinge does concede that "we have the tools to
keep running along the same lines for some time. And, in the absence of
disaster, it quickly runs to the point where you're talking about stuff
that's of the same significance as the rise of the human race within the
animal kingdom.
" In other words, the Singularity arrives.
Vinge does not offer a map of exactly how free software and its
infrastructure will lead to the Singularity. But, given the probable
inability of humans to understand super-human intelligence, he
should not be expected to do so. "It's easy to imagine,
" he says, "but you
run out of adjectives and high-sounding words that could mean anything to
someone like us.
" All that can really be said is that, as the latest
manifestation of the historical trend to increasingly complex cooperative
infrastructures, free software plays a large role in creating a future in
which the Singularity becomes increasingly inevitable.
"I think that's going to happen in the relatively near historical
future,
" says Vinge. "And these sorts of trends are all
consistent with that possibility.
"
Meanwhile, Vinge is personally content with the improvements that have come
to free software in the last couple of years. He is particularly pleased
that you can download and install a stable and easy to use operating system
in an afternoon. "If you look back over the last ten years, you see how
easy it's become to do things,
" he says. "It's silly to put number to this,
but it's ten or a hundred times easier now. I can remember spending days
getting PPP to work. And now, you just plug this cable into that socket,
and it works. I feel much more able to do what I have to do without having
to worry very much, without having Catch-22s nibble me to death. Things
have really come together in a coherent and useful way.
"
Index entries for this article | |
---|---|
GuestArticles | Byfield, Bruce |
Posted Dec 10, 2008 18:04 UTC (Wed)
by dberkholz (guest, #23346)
[Link] (2 responses)
Posted Dec 10, 2008 19:23 UTC (Wed)
by johnkarp (guest, #39285)
[Link] (1 responses)
Posted Dec 10, 2008 21:40 UTC (Wed)
by dberkholz (guest, #23346)
[Link]
One important point is that just because something lacks quotation marks doesn't mean Bruce made it up. Vinge could've said it; it can just mean that as spoken, it was hard to understand or hard to read.
The value of writing it this way is providing a cohesive story with context and interpretation by the writer, who is familiar with the audience. Conversations bounce around, even as interviews the answers ramble all over the place. Reorganizing it afterwards into topics makes a lot more sense.
I could go on and on about the value of the format, but just writing it as a story doesn't make it a perfect one.
Posted Dec 10, 2008 18:10 UTC (Wed)
by pheldens (guest, #19366)
[Link] (2 responses)
Posted Dec 10, 2008 18:31 UTC (Wed)
by joey (guest, #328)
[Link]
Posted Dec 10, 2008 19:10 UTC (Wed)
by tialaramex (subscriber, #21167)
[Link]
Posted Dec 10, 2008 18:23 UTC (Wed)
by JoeBuck (subscriber, #2330)
[Link] (5 responses)
Prof. Vinge is technically correct that the GNU project formally started a couple of years later (RMS was flying solo in 1983, doing GNU Emacs by himself), but the two ideas originated at about the same time.
Posted Dec 10, 2008 19:54 UTC (Wed)
by AnswerGuy (subscriber, #1256)
[Link] (2 responses)
Quite a bit of early software created by end-users was printed in the nascent community newsletters in an era that pre-dated e-mail, faxes, and far, far pre-dated "the web." Other bits of it were "published" over UUCP/Netnews (both of which were early examples of free software).
Shareware emerged primarily from PCs (IBM compatible microcomputers) and Macs. These were machines which made binary distribution of software feasible. This meant large numbers of "sites" or "units" with relatively uniform OS (run-time environments). Shareware made more sense in a world where you had this large potential customer base, and where those end user machines usually didn't include a compiler and tool chain. (Not only was the source code unnecessary for that deployment, it was useless to most of its potential user base).
Anyway, shareware was largely a digression from truly free software. GPL and BSD are evolutions from public domain publications (source listings).
Posted Dec 12, 2008 18:59 UTC (Fri)
by giraffedata (guest, #1954)
[Link] (1 responses)
I think it's pretty clear Vinge is using FSF terminology ("free software" is free as in freedom, not as in free beer), so that software published without any copyright reserved would not qualify as free software. (It's not free because someone can capture it. He does that by extending it to the point of obsoleting the original, then restricting use of the extended code).
However, I think most of the wonderfulness he attributes to free software is really just the wonderfulness of software. And the few points that do involve copyright would hold just as well for public domain software as for free/copyleft/GPL software.
Posted Dec 23, 2008 12:01 UTC (Tue)
by robbe (guest, #16131)
[Link]
Doubtful. The FSF terms this kind of software (the most prominent
Posted Dec 10, 2008 20:01 UTC (Wed)
by iabervon (subscriber, #722)
[Link] (1 responses)
Posted Dec 11, 2008 2:22 UTC (Thu)
by vonbrand (guest, #4458)
[Link]
Sorry, "cooperative development of software by people who aren't project members" did come way before the GPL, and is quite separate from copyleft. By 1984 the newsgroups comp.sources.* were alive and thriving (I did get some programs from them, and probably shared a few patches there too). The very first organized source code sharing I could unearth was the SHARE group of IBM users, around 1955. By 1975 there was a SIG TAPE in DECUS (DEC USers) which gathered programs from attentants to its anual event and copied all to the tapes which everybody then took home. AFAICS, by then it already had a longish history.
It is true that large-scale cooperative development really started to work in the mid 1980s, but because networks started to reach interested parties, not because somebody came up with some particular license idea (as important as it turned out to be).
Posted Dec 10, 2008 21:25 UTC (Wed)
by leoc (guest, #39773)
[Link] (10 responses)
Posted Dec 10, 2008 21:39 UTC (Wed)
by ncm (guest, #165)
[Link] (4 responses)
Posted Dec 10, 2008 22:55 UTC (Wed)
by flewellyn (subscriber, #5047)
[Link] (2 responses)
History has seen many singularities, but none yet worldwide unless you count internet, air travel, telegraph, railroad, agriculture, etc. Interesting. Can you elaborate on that, please?
Posted Dec 11, 2008 2:51 UTC (Thu)
by ncm (guest, #165)
[Link] (1 responses)
Most of my examples above are not so great; probably the global singularities in our past are actually limited to adoption of agriculture and, earlier, language, and the near-extinction event ca. 50K B.P. (maybe a climate-affecting eruption).
As noted elsewhere, a Vinge singularity is just an event after which the world becomes incomprehensible to someone raised before it occurred.
Posted Dec 11, 2008 14:08 UTC (Thu)
by lysse (guest, #3190)
[Link]
Posted Dec 11, 2008 0:03 UTC (Thu)
by nix (subscriber, #2304)
[Link]
Posted Dec 10, 2008 22:17 UTC (Wed)
by brouhaha (guest, #1698)
[Link] (3 responses)
It's very hard to predict the future with any degree of accuracy, and since the advance of technology is on an exponential curve (e.g. Moore's Law), it is clear that predicting the future is becoming more difficult. From that, it seems obvious (at least since Vinge pointed it out) that there is some point in the future beyond which it is impossible to make sensible predictions, and that point isn't very far away.
What that doesn't tell us is the nature of the singularity itself or the post-singularity world. Naturally we can speculate about it, and anyone that tells you that the singularity will be the result of a specific trend or technology (e.g. nanotechnology) is by definition only speculating.
Posted Dec 11, 2008 9:58 UTC (Thu)
by k3ninho (subscriber, #50375)
[Link] (2 responses)
Posted Dec 11, 2008 15:44 UTC (Thu)
by felixfix (subscriber, #242)
[Link] (1 responses)
Thus it is with social singularities. The social change is so profound that you cannot predict what will happen. No one could have predicted the changes the printing press made in Europe, with growing literacy and democratization of governments. No one could have predicted the changes wrought by electronics / computers / the internet. No one can predict what will happen when computers achieve human equivalent intelligence, and shortly thereafter superhuman intelligence in accord with Moore's law.
Think of it as a phase change. People whose weather experience is limited to temperatures of 30-40C normally and 20C once in a blue moon would imagine 0 to just be more so, possibly uncomfortable. Snow and ice would be utterly foreign to them, unimaginable and unpredictable.
Posted Dec 11, 2008 23:35 UTC (Thu)
by nix (subscriber, #2304)
[Link]
The singularities at the Big Bang and inside black holes are two examples
Posted Dec 11, 2008 0:01 UTC (Thu)
by nix (subscriber, #2304)
[Link]
(For a possibility on the nastier end of the predictable scale, see
Posted Dec 11, 2008 5:29 UTC (Thu)
by jaldhar (guest, #7476)
[Link] (8 responses)
Unless Free Software becomes incomprehensible but I predict the people of the
Posted Dec 11, 2008 8:34 UTC (Thu)
by ncm (guest, #165)
[Link] (5 responses)
If you're not happy with where C++ has got, why haven't you invented TGSC (The Glorious Successor to C++)? Not only is there no language making serious inroads in C++'s home domain of industrial programming, there is no language on the horizon that might someday evolve into a serious competitor. (Sorry, D, Erlang, and Haskell are not in the running.) This is not for lack of problems in C++; a language with a quarter the complexity but equal power would be no great feat, if only it gave up the C subset.
C is still the tractor-trailer truck of languages, and C++ the 747. Invent the suborbital transport, please!
Posted Dec 11, 2008 12:06 UTC (Thu)
by NRArnot (subscriber, #3033)
[Link] (2 responses)
But in this analogical context, we're looking for the Starship with the FTL drive.
Posted Dec 11, 2008 12:55 UTC (Thu)
by ncm (guest, #165)
[Link] (1 responses)
Getting back on topic, the interstellar transport might be a language designed to program (or coax?) arrays of quantum processors, but that's as far off as real interstellar transports. We have at least three architectural generations before we get there. Probably it won't be recognizable as a language at all, and the problems it solves would not even be recognizable to us as problems that computation could address.
Posted Dec 11, 2008 15:51 UTC (Thu)
by Ze (guest, #54182)
[Link]
Sorry, but Python, in this context, is a motorcycle. It's more fun than a semi truck, and more versatile, but as handy as it is, Python does not now, and never will, carry industrial freight. Yes, a dirt bike could pull a trailer, but not well, and attaching a trailer misses the point of the dirt bike. Incidentally, Lisp is an ornithopter. See I'd be inclined to call Python the scooter (and not a motor scooter :p). I think most of the advantages of python have very little to do with the language and more with the API , that and some people seem to like lazy typing. I don't really find it any easier. I do look forward to the keyword auto in c++0x to take over where the type can be inferred.
Posted Dec 11, 2008 14:15 UTC (Thu)
by lysse (guest, #3190)
[Link] (1 responses)
But isn't the C subset what enabled C++ to gain such an unshiftable foothold in the first place?
Posted Dec 11, 2008 16:16 UTC (Thu)
by Ze (guest, #54182)
[Link]
I think there are plenty of areas where c++ could be cleaned up. The proposed c++0x adds new features and seems to make a lot of things nicer but it has made the deliberate choice of not sacrificing backward compatibility when doing so. The auto keyword , initializer lists , and allowing constructors to delegate to others should make it a much nicer language though.
It's almost a pity they didn't take the next step though :(
I like c++ the most of any language I've regularly used so far. (I really must get into O'Caml one of these days).
Mind you the use of indentation for blocks in python does appeal to me. I'd probably only replace the {,} blocks with indentation though and keep the () parts of the syntax. I wonder how much harder the parsers job is made by the use of indentation for blocks instead of braces.
Posted Dec 11, 2008 11:56 UTC (Thu)
by NRArnot (subscriber, #3033)
[Link] (1 responses)
The most obvious route to singularity (and therefore almost certainly wrong) is when the software starts writing the software. Shortly after, it starts making aesthetic judgements about the software, and moral ones about how to modify the software (itself), and then inevitably starts to ponder what to do about those slow meat-based creatures which started everything rolling, but which take literally seconds to have any sort of thought process at all.
Vernor Vinge has said it all a lot beter than I can in his fiction. Read the prologue to "A Fire Upon the Deep" (and then the rest of the book) for a pessimistic vision, and "Rainbows End" for a more optimistic spin (though if I were living in that version of our near future, I'd be very hesitant to make any predictions more than two years out. That, of course, *is* the point).
Already in mathematics, we have (fully open!) "proofs" which are beyond the comprehension of any human being, except by meta-mathematical methods. In other words, a computer program generates a proof which if printed on paper, would be anything from hundreds of thousands of pages upwards. The best that a human can do is to study the program which constructed the proof. You may even be able to prove that the abstract program is correct, but how to do that for the hardware and system in which it operates?
(For related SF, read Greg Egan's "Luminous" and "Permutation City")
Posted Dec 11, 2008 22:40 UTC (Thu)
by nix (subscriber, #2304)
[Link]
Posted Dec 11, 2008 12:11 UTC (Thu)
by djm (subscriber, #11651)
[Link]
Posted Dec 11, 2008 15:38 UTC (Thu)
by deleteme (guest, #49633)
[Link]
Posted Dec 17, 2008 18:39 UTC (Wed)
by dvdeug (subscriber, #10998)
[Link]
Posted Dec 21, 2008 17:20 UTC (Sun)
by BruceByfield (guest, #20966)
[Link]
For better or worse, this blended structure, which mixes the interviewee's words with the writer's own transitions, is by far the most succinct and efficient way of presenting an interview.
Giving the entire transcript of a typical interview would require three times the length of a blended structure, and involve a lot of repetition; There's an old adage in journalism that the worst thing you can do to somebody is quote them word for word, and that's largely true. The other alternative is to heavily edit, and, even then, connections can be lost.
In making the transitions, I try to reflect what was actually said and done as closely and possible, and not to distort anything. Of course, bias and misperception creeps in at times, but that's true of any writing, and the point is to keep both to the minimum.
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
The term "shareware" was first used in 1983, the same year RMS wrote "Why I must write GNU" (although according to this history the first known programmer to use the "pay me if you like it" concept did so in 1981).
a minor quibble
a minor quibble (squared)
origins of free software
origins of free software
> ("free software" is free as in freedom, not as in free beer),
> so that software published without any copyright reserved would
> not qualify as free software.
examples being BSD/MIT licensed works) "non copylefted free software".
See
http://www.gnu.org/philosophy/categories.html#Non-Copylef...
a minor quibble
a minor quibble
Interview: Vernor Vinge
Likely singularities
Likely singularities
Likely singularities
Likely singularities
Likely singularities
The pre-agriculturalists could not have predicted anything much about the
lifestyles of the agriculturalists. It wasn't nice, either for the fading
hunter-gatherers or the agriculturalists: they got much higher population
densities, but it took ten thousand years for human health and lifespans
to regain their probable pre-agriculture norms.
If it's "a bit too much like religion", that just means that you're reading too much into what the word singularity means in this context.
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
terms it's the point at which something goes abruptly to negative or
positive infinity (or zero, sometimes). In maths it's not necessarily a
sign that there's anything wrong: in physics, it tends to mean your
model's broken down and can't model those conditions (on the arbitrary
assumption that infinities don't exist in the real universe).
of singularities in current physical models. (They're not necessarily
*actually* singularities: that's just what the current models say.)
Interview: Vernor Vinge
the Singularity. Kurzweil's messianic stuff seems to have very much less
rationality at the core of it than Vinge's. He seems to think we'll all
become gods if we just wait long enough, while Vinge simply says that we
cannot predict what will happen past that point. It may be good, it may be
bad, it may be nothing we can define as either.
Stross's _Accelerando_. I'm often amazed when people call that a
pro-Singularity book. If it's pro-Singularity then _1984_ is
pro-centralization...)
Interview: Vernor Vinge
ensuring that technical progress remains comprehensible.
future will send a cyborg back in time to assassinate the members of the ISO C++
standards committee.
What, me?
Interview: Vernor Vinge
Interview: Vernor Vinge
Sorry, but Python, in this context, is a motorcycle. It's more fun than a semi truck, and more versatile, but as handy as it is, Python does not now, and never will, carry industrial freight. Yes, a dirt bike could pull a trailer, but not well, and attaching a trailer misses the point of the dirt bike. Incidentally, Lisp is an ornithopter.
Language wars
Language wars
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
Interview: Vernor Vinge
place fifty million(!) years after the Singularity (if it was a
singularity: this is a point of active contention), among refugees who
managed to miss it. It's a murder mystery involving stasis fields.
Interview: Vernor Vinge
Free software supporter
Interview: Vernor Vinge
Interview: Vernor Vinge