List price: $24.95 (that's 30% off!)
In Barnes's future, the Earth is completely taken over by the Meme called One True. The rest of humanity, spread out in space on the Moon and on Mars try to make do without the Earth.
This story takes place on Mars with a group of ecospectors, ecological prospectors. Rather than hunting for valuable minerals, they hunt for ways to terraform Mars by releasing water or identifying other organic resources.
Mars is cast in the light of the seminal Heinlein Libertarian society. Few laws, much personable responsibility, and a huge focus on trust and reputation. It very much harks back to ideas from Heinlein's The Moon is a Harsh Mistress.
Without giving out any spoilers, the Martians face a tragedy are must make choices between their lifestyle and dealing with One True for help. Barnes looks at how the libertarian world (Mars) and the socialist world (Earth) can interact and what price are the libertarians willing to pay to keep their way of life.
I recommend the book. It's a fast read and has plenty of neat technical ideas interspersed with the storyline.
It is very well structured, presented as a psychologist listening to a series of interviews he did with Teri-Mel Murray, a young woman on Mars who was working with her father as an "ecospector". It's clear from the start that something terrible happened, and indeed that the psychologist was forced to erase Teri-Mel's memory. It's also clear that he likes her a lot, and is really torn up by what has happened, and worried that he may have to treat her again, for some mysterious reason that takes a long time to become clear. The interviews tell of Teri and her father travelling across the lightly terraformed planet to a "Gather" of the "rounditachis", people who live more or less in the open on Mars, working to help advance the terraforming. Teri is hoping that she will be certified a "Full Adult" at the Gather, and be free to marry her boyfriend. Her father wants her to go back to school for one more year, because he's not convinced that ecospecting will remain a good living. As they travel, they plan to make one more attempt at a big "scorehole". And Teri is starting to worry about her boyfriend.
All the above is cute stuff, and interleaved with neat SFnal details about the terraforming of Mars. In the background lurk details about the future history up to this point, especially the takeover of ecologically ravaged Earth by a "meme" called "One True", or "Resuna", which more or less has turned Earth's population into a hive mind. Also we learn bits and pieces about the psychologist's feelings, which give us hints about the disaster which has clearly occurred. So it's a scary book, as we learn to like Teri more and more, while we just know that she's going to get hurt real real bad. And when the crisis comes, it's exciting, and terribly sad, and even scarier than I had first expected. The resolution is moving, real, and and open-ended.
Barnes' future is on the one hand full of hope, and of cool SFnal stuff, and on the other had it is very very scary, and much of it dominated by something purely evil, yet not sneeringly evil. I should note that this is a sequel to three earlier novels: Orbital Resonance, Kaleidoscope Century, and Candle. But it reads just fine alone.
THE SKY SO BIG AND BLACK follows Teri and her father during the last days before 'Sunburst' as they discover a methane dome so large that it makes them rich, then deal with teen angst about Teri's fiance, and the complexities of a Rounder gather. The story is told largely in Teri's words as she details her recent history to a police psychologist.
Although this method of narration normally distances the reader from the story, author John Barnes makes Teri's story completely compelling. Like Heinlein at his strongest, Barnes develops a complete and logical society, language, and way of life. As Teri 'roos' her way across Mars, the reader is drawn into the story, the endangered planet, and the people who are battling to make it habitable--and to keep it free of Earth's disease.
In itself, the concept of a computer-style virus that attacks the human mind is interesting but not the center of this story. Rather, it is Barnes's powerful writing, his world/society-building, and his believable characters that make THE SKY SO BIG AND BLACK completely compelling.
John Gardner is an Associate of the Inner Magic Circle and this book shows it. It gives incredibly detailed descriptions of some historical magic events, routines, and even an excerpt from the "Ceremony of the Broken Wand" from a magician's funeral. It's as informative as it is entertaining and I guarantee you'll find yourself bitten by the magic bug when you get through!
List price: $16.95 (that's 30% off!)
Marijana Sokolovic.
This book in particular is an absolute must-have for any Ferrari or automotive enthusiast - it includes illustrations by Mr. Barnes himself. Not many copies are in circulation anymore!
This book consists of three main parts plus an appendix.
The first part consists of an overview of why SPARK was created and the background to the language and tools.
Part two looks in detail at the SPARK language.
Part three considers the tools available; various code analysis techniques and design issues that can help in the development of high integrity software. Three small case studies are included, together with some examples of real projects where SPARK has been used in large scale industrial projects.
The Appendix covers the syntax of SPARK, how to use the CD-ROM and some notes on the continuing developments of the evolution of SPARK.
The included CD-ROM allows you to try out some of what the book teaches and includes limited versions of the SPARK Examiner toolset.
In this book John Barnes writes in a style similar to his other texts; this is rather like a guiding teacher leaning over your shoulder as you work at the computer, pointing out things to observe and illustrating with snippets of code or background information. It is a style that has been criticised by some, but I find it rather reassuring as you are guided along the path to understanding. The inclusion of a CD-ROM also allows you to understand by doing, and although the tool is limited in capability, it is possible to get a good flavour of the capabilities of its parent product.
This book replaces the previous SPARK book: "High Integrity Ada : The SPARK Approach". Barnes covers the revisions and enhancements of the SPARK language described in his original book, if you are an existing user of SPARK, you need this issue to stay up-to-date with the important revisions of the language and tools. This book tries to distance itself somewhat from Ada95, possibly because of the image that language has with less well-informed programmers, but since you need an Ada compiler to produce executables from SPARK programs it would be fair to point out that SPARK is firmly rooted in Ada95.
Creating high integrity software is a disciplined process, and the book is very much based in the practical application of SPARK in building high integrity software. The SPARK language is based solid mathematical foundations, but there is no detailed descriptions at this level, the book rightly points out that they are there and then moves on towards giving you the practical information you need to write SPARK programs. Mastering SPARK gives you unprecedented skills in the highly desirable field of producing high integrity software.
Thus spake the Master programmer:
"A well written program is its own heaven; a poorly written program is its own hell."
- - from The Tao of Programming