Archives 2009

iReligion 2.0

The Telegraph
reports that

Cardinal Sean Brady, the leader of Ireland’s Roman Catholics, has urged social network users to start sending daily prayers by text, Twitter or e-mail.

This, of course, could be the start of something huge: if tweeted
prayers are as good as spoken ones (contest for the comments section:
condense the Lord’s Prayer into 140 characters), then the sky’s the
limit.

Imagine: you add a dinner date on your PDA. When it gets added to your
calendar server, it sends a request to the Catholic church’s server,
with the XML equivalent of “forgive me, father, for I have committed
gluttony”. The church’s expert system analyzes this request behind the
scenes, and responds with something like “say five Hail Marys”
(properly encapsulated in XML, of course). Your home computer then
schedules a time to tweet five Hail Marys while you sleep.

At MyVatican, you can view your history confession, schedule
preemptive penance, friend saints and other intercessors, buy relics
at the online shop, and follow your favorite priests as they get
shuffled from one parish to the next.

What would be really cool would be if they wikified the
Catholic Encyclopedia.
Though I assume that [citation needed] would be
replaced by [must be taken on faith].

Hello, Playlist!

Because I haven’t done one in a while, and because I still have some
DJ cred to demolish.

  • Say Hello, Laurie Anderson
  • Hello City, Barenaked Ladies
  • Hello Radio, They Might Be Giants
  • Hello, Hooray, Alice Cooper
  • Greetings From A Dead Man, Eurythmics
  • Greetings to the New Brunette, Billy Bragg
  • Hello, I Am Your Heart, Manfred Mann’s Earth Band
  • Hello, I Love You, The Doors
  • Chamber of Hellos, Wire Train
  • Hello, Goodbye, The Beatles
  • Say Hello, Wave Goodbye, Soft Cell
  • Goodbye, Gravity Kills
  • Goodbye to the Village, Killing Joke
  • Goodbye Blue Sky, Pink Floyd
  • Sigh’s Smell of Farewell, Cocteau Twins
  • Adios, KMFDM
  • Adieu, Sweet Bahnhof, The Nits
  • Babe I’m Gonna Leave You, Led Zeppelin
  • 50 Ways to Leave Your Lover, Simon and Garfunkel
  • Bye Bye Love, The Cars
  • Leave in Silence, Depeche Mode
  • Leave Me Alone, New Order
  • Hello Again, The Cars
  • P.S. Goodbye, The Chameleons
Just A Little Bit of Planning

One thing I’ve noticed about my code is that an awful lot of the
comments are of the form

call_some_function();
	// XXX - Error-checking

(where
XXX
is an easily-grepped
marker for something that needs to be fixed.)

The proximate reason for this accumulation of “do something smart if
something goes wrong to-do items is that a lot of the time, the
function in which this appears doesn’t have a mechanism for reporting
errors, so I don’t know what to do if I detected a run-time error.

This leads to the other big problem, the one where I’m calling another
function of mine, which doesn’t report errors, so I can’t even tell if
something went wrong.

So if a() calls b() which calls
c(), all three are likely to have
XXX - Error-checking
comments; but c() doesn’t know what to do in case of en
error, and b() and a() don’t even know how
to detect errors. And so the XXX comments accumulate.

For me, this is often caused by the fact that experimental programming
and production programming are quite different: when I’m learning a
new system, such as a new graphics or math library, I want to figure
out which functions I’m supposed to call to get the results I want,
what the various data structures do, which one of multiple approaches
to the problem works best, and so forth.

If I set up a test environment (e.g., a database server so I can play
around with database-manipulation code), I’ll be keeping an eye on it
to make sure that everything is sane, so my experimental code needn’t
worry about checking whether the server is up. And if it can’t make a
connection, it’ll likely dump core; but since I don’t have any
precious data or users who’ll yell at me if things go wrong, it
doesn’t matter. It’s best to just set up a working environment and
hammer at the code until it works. I tend to accumulate a large number
of ad hoc modules, functions, data files with names like
foo, bar, foo2, and so forth.

In production, of course, this isn’t good enough: all sorts of things
can go wrong: servers go down, network connections get broken, runaway
processes suck up all available memory, users try to open nonexistent
files, viruses try to overflow buffers, and so forth. Code needs not
only to detect errors, but deal with them as gracefully as possible.

But if I’m working on a larger project, and working on adding new
functionality that I’m not familar with, the temptation is strong to
take the “learning” code that’s been hammered into some kind of shape,
and plop it in the middle of existing production code.

Neither approach is inherently wrong. Each is appropriate in certain
contexts. You want to keep things loose and fluid and unstructured
while learning, because by definition you don’t know what’s going and
what’s best. And you want to have things organized, structured, and
regimented in production, to make it easier to avoid and find bugs, to
ensure code quality and stability.

But this difference does mean that it can be hard to integrate new
code into production code.

Often, test code is so messy that there’s really no choice but to do a
complete rewrite. Neater test code is worse in this regard, since it
may trick you into thinking that with just a little bit of cleaning
up, you can use it in production.

So it’s important, when moving from test to production code, to ask
oneself how errors should be reported. This takes a bit more planning
ahead of time, but like security, it’s easier to build it in from the
start than to retrofit it onto existing code.

The thing that works for me is:

  1. Think of a function to add.
  2. Write a comment describing the function: what it does, which
    arguments it takes, what value(s) it returns, and what it does in case
    of error.
  3. Write the function.

In that order.

This may be more structured than you want in the playing-around phase,
in which case you should definitely consider using it during the
hammering-into-shape phase, after you have the basic functionality
working, and before you’ve started moving test code into production.
Over time, though, this kind of forethought may become automatic
enough that it doesn’t get much in the way of experimentation.

Open Thread

Particularly for anyone who wants to contact me after the The Case for Christ talk at UMD, but go ahead and say what you like. Unless you’re a spammer, in which case FOAD.

Why Gay Marriage Is Exclusionary

The reason I read Catholic League releases is that BillDo’s stage persona, that of the hypersensitive apoplectic paranoiac stamping his little feet is amusing. Lately, though, he’s been in a bit of a slump, his tirades not quite over the top enough to be funny.

So I was pleased to see this item from last week:

For all the happy talk about inclusion, gay marriage is positively exclusionary in its effects. How so? Next month we will celebrate Mother’s Day. How do two men tell their legally acquired children that they are excluded from celebrating this special day? How do two women tell their legally acquired children that they are excluded from celebrating Father’s Day?

Stop teh gays from marrying, won’t you? Do it for the children. And for the gay parents who don’t want to explain things to their kids.

NOM Ad Parody

$NOM_ad =~ s/gay/interracial/ ==

[youtube http://www.youtube.com/watch?v=ZC4B4LknF90&hl=en&fs=1&rel=0]

I think this perfectly illustrates what’s wrong with the
original NOM ad.

(HT Cyde Weys.)

(PS: Amusingly enough, the song that was playing when I got this link was Foreigner’s I Want to Know What Love Is.)

Secular Bible Study: The Book of Joshua

I’m leading Secular Bible Study today, so here are my notes on the book of Joshua (org-mode version).

More details later, hopefully.

Update, Sat Apr 18 17:42:26 2009:

Well, that went pretty well, I thought. I didn’t get to give my presentation, just give out bits and pieces of it as they became relevant to the conversation. Then again, since I wasn’t really able to turn my disjoint collection of notes into a coherent presentation, it’s probably just as well.

I mentioned Iron Chariots, the counter-apologetics wiki (which is where I got the definitions of henotheism and monolatrism. (Consider this a plug for the site. All of you who attended had interesting things to contribute, so you might as well contribute to the wiki and share with the world.)

The topic of theologians tying themselves in logical knots to justify or rationalize things like the book of Joshua reminded me of this post by Greta Christina, comparing religion to fan fiction.

I’ve probably forgotten some references that I promised people. If so, please speak up in the comments.

Legal Markup Language

Today at work, I had to sign some legal papers. They were pretty standard “I have read the attached policy and agree to be bound by it” stuff that all of us Full-Time Employment Units have to sign once a year.

But I’m the sort of person who believes that if I sign an agreement, I ought to at least know what it says. But I have better things to do than to read legalese all day.

The same problem applies to a lot of commercial applications: every time you upgrade, you have to agree to a EULA for the new version. For a variety of reasons, most people just click through and get on with their lives. But it would be nice to be able to know that the vendor hasn’t just asked you to sign over your firstborn.

One possible solution would be a markup and revision system for legal documents. For starters, if your job requires you to sign an Acceptable Behavior Policy once a year, you could read it carefully once when you sign on, and save a copy. Then, the next year, you can compare the version you’re given with the one you signed a year ago. If there are no changes, you can just sign it without reading, on the grounds that if you didn’t have a problem with it last year, you don’t have a problem with it now.

Of course, a lot of documents include other documents by reference. These need to be archived as well.

It would also be nice to add comments: for instance, if the policy requires you to keep your cell phone number on file with your manager so that you can be contacted outsiide of business hours, you could add “Has my cell phone changed since last year?” in the comment area.

Since big chunks of legal documents are just boilerplate text, and since many legal documents (such as software EULAs, credit card applications, car rental agreements, etc.) apply to many people, it would be nice to look them up on the net. That is, the tool on your desktop could take the MD5 hash of a clause, send that off to the legal opinion servers of your choice, and see what they have to say. For instance, the EFF could have a repository that says that certain clauses aren’t as scary as they sound; the FSF could point out which clauses will forfeit your Free Software-loving soul.

This could be a commercial service: you could pay a legal firm for online legal advice. Yes, a lawyer would have to read and research the various documents, and that’s expensive; but if they can spread the cost around several hundred or thousand clients, it could become affordable.

You should be able to specify certain details about your situation. For example, a clause that affects US Government employees might be either important or irrelevant, depending on whether you’re a fed or not. You should be able to check or uncheck “I work for the US government” in the preferences menu, so that the software will look up the appropriate response. Ditto if you don’t work at a nuclear reactor, don’t deal in foreign trade, and so forth.

One interesting aspect of this is the coding theory aspect of it: there’s a level of distrust that has to be dealt with. If you sign the yearly policy without reading it because it hasn’t changed since last year, then you probably don’t want to leave your copy of last year’s document with your employer, in case they try to change it. And if you leave a copy on your employer’s computer, they might not be above rooting around in your files to change your backup to make it match this year’s version. So you’ll want to be able to cryptographically sign each document. And of course any sensitive information that goes out on the net needs to be encrypted.

Then there’s the question of giving away information by the sorts of questions you ask. For instance, you may not want the people running Joe Random Legal Server to know that you work for the military or at a nuclear power plant, but there are common clauses that affect people who do. So while the program on your desktop needs to know this in order to give you good advice, that’s not necessarily something you need to send out on the net. So when it sends out a query about a particular clause, the protocol should allow to specify as much or as little detail as you want: if you say that you don’t deal in trade with foreign nationals, the remote server can save itself the trouble of looking up what a given clause means for those who do; but if you don’t say whether you’re in the military, it’ll send both responses back and let your desktop software decide which version to show you.

Of course, you probably don’t mind letting your attorneys know whether you’re in the military, so the software should be smart enough to send this information only to some servers and not others.

I imagine that some of this already exists: contracts are already negotiated between parties that don’t trust each other. Presumably the law firms on each side already have software that’ll tell them that section 3, paragraph 10 hasn’t changed since the last round of negotiations, so they don’t need to check it again.

And of course laws go through many iterations from original inception to bill to committee to floor vote, and are often amended by people of other parties, who’d love to make life miserable for you. The staffs of legislators must have some system for keeping track of it all. Hopefully some of it is automated.

For software, there are already software-installation tools that include presenting a EULA to the user as a standard step. It shouldn’t be too hard to put in a hook that calls the user’s preferred legal document management system.

The
Subversion version control system has a “blame” subcommand that shows you when certain lines in a file were last changed, and by whom. Legalese is so structured and formal that it seems that a similar approach should be able to help there as well.

Discovery of the Day

The book of Proverbs
is funnier if you add “in bed
at the end of every verse.

For instance:

1:8 Listen, my son, to your father’s instruction
and do not forsake your mother’s teaching.

12:18 Reckless words pierce like a sword, but the tongue of the wise brings healing.

13:4 The sluggard craves and gets nothing, but the desires of the diligent are fully satisfied.

Freedom of Religion = Freedom of Bigotry, Apparently

According to
today’s Post:

Faith organizations and individuals who view homosexuality as sinful and refuse to provide services to gay people are losing a growing number of legal battles that they say are costing them their religious freedom.

The lawsuits have resulted from states and communities that have banned discrimination based on sexual orientation. Those laws have created a clash between the right to be free from discrimination and the right to freedom of religion, religious groups said, with faith losing.

(emphasis added)

The article lists a few examples, such as a photographer who refused
to photograph a commitment ceremony, and doctors at a fertility clinic
who refused to inseminate a lesbian. The only one that I think I might
have a problem with is a student group at the University of California
that was denied recognition because of its views on sex outside of
“traditional” marriage, but the article is short on specifics.

What these people are saying, as I understand it, is that practicing
their religion requires them to regard certain other people as
inferior, and to deny them the services they offer to most people. In
short, they’re feeling butthurt because the courts are stomping over
their perceived right to bigotry.

"We cater to white trade only" restaurant sign
How exactly is this different from refusing service to blacks or Jews
because one’s religion says they’re inferior?

The law doesn’t say you can’t be a bigot and a homophobe. That would
be thoughtcrime, which would be unenforceable, apart from the very
abhorrence of the notion of crimethink. The first amendment even gives
you the right to tell that world that gays or blacks or lefties or
Mets fans are inferior. What the law does say, however, is that you
can’t necessarily act on your bigotry. “Your right to swing your fist
ends where my nose begins”, and all that.

IANAL, but as I understand it, if you run a business that purports to
be open to the public, that means you can’t just arbitrarily decide
which groups you will and won’t cater to. That’s probably a gift from
the civil rights movement.

Now, historically, religious groups have gotten a fair amount of
slack, from zoning law exemptions, to tax exemption, to drug law
exemptions. But the US constitution also includes the
14th
amendment
:

All persons born or naturalized in the United States, and subject to the jurisdiction thereof, are citizens of the United States and of the State wherein they reside. No State shall make or enforce any law which shall abridge the privileges or immunities of citizens of the United States

The whole point of the bill of rights, the foundation of the freedoms
that we Americans rightly pride ourselves on, is the idea that America
should be a land where everyone has an equal shot at happiness, and no
one is privileged by virtue of noble birth or preferential treatment.
And that means that your freedoms stop when they prevent others from
seeking life, liberty, and the pursuit of happiness.

And if your religion requires you keep others down, so much the worse
for your religion.

(Photo credit: Image Editor at flickr.)