All posts by Andrew Arensburger

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.)

Tagline Dump

If you’ve gotten mail from me, you may have noticed that there’s a
randomly-generated tagline at the bottom. Here are some of the more
recent ones, that I haven’t sorted through yet. Some are by me; most aren’t. I’ve
linked to the original sources where creating a link didn’t involve a lot of work.

Read More

UMD to End Graduation Prayer

According to the not always reliable
Diamondback
(hey, whaddya want? It’s a student paper), the University of Maryland
senate has voted to stop having prayers at graduation ceremonies. This
doesn’t affect individual colleges’ ceremonies, though.

It seems to have been a pretty decisive vote, too: 32-14.

The main arguments against the move seem to confuse secularism with
anti-theism:

“We need to be careful not to send the message that
secular language is seen as superior and acceptable while religious
language is seen as inferior and unacceptable,” [the university’s
Episcopalian chaplain, Peter Antoci] said.

It’s quite simple, really: if I’m at a staff meeting, and others are
talking about last night’s basketball game, and I say “Could you
please stop talking about basketball so that we can get on with the
business at hand and get out of this meeting early?”, I’m not saying
that basketball is a Bad Thing, or that talking about basketball is
bad. I’m just saying that it’s irrelevant to the purpose of the
meeting, so please do it on your own time.

According to the article, the university still employs 14, count ’em!,
14 chaplains, and I’m not aware of any movement to fire or censor them
(unless your definition of “censorship” includes denying them a
captive audience).

Of course,
some people
are appalled that this happened around the same time that
a porn flick was going to be shown on campus:

Great: Porn is ok; prayer is not.

I guess I’ll mark this one as “straw man”, since no one is suggesting
that porn be shown at graduation ceremonies.