AARRRGGGGHHHHH

I can't stand it any more. Why does is it so difficult to install experimental software???? Granted, a lot of the stuff I want to try out is academic/experimental, but IT SHOULD NOT BE THIS DIFFICULT! The next time I download a package like this I'm going to tear my hair out:
* A README file that doesn't say what the software does!
* An INSTALL file that goes on for pages and page about cofiguration settings, tweaks to make files, editing this and that...
* After trying to complete the 20 steps correctly, the thing doesn't work!
* A few hours of trying to debug makefiles, configuration files, etc
Give up....

Oh well. I'm going to keep a list of the things I try that I can't get to work:
YAMPA I'm sorry this one has to be first. But the link to the install file (SOE.msi) is broken. I peeked in the folder and found one, then downloaded lots of other stuff, but couldn't get it to work.

ACL2, Emacs and Eclipse

I will not say anything too negative about Emacs here. I suspect my peers might think badly of me simply because I don't use Emacs. But I've been living the the world where text selections should be visible, status bars are drawn by the GUI, and cut/copy/paste are control x/c/v for too long. I just can't handle Emacs.

But I've always liked being able to run a command in an editor window. An editor I wrote in college for VMS, a derivative of Z from Yale, had this features. And of course Emacs does too.

This is a problem, because using ACL2 effectively pretty much requires a good shell window. So I've been hunting around for a solution. Then I thought of Eclipse.

Eclipse has External Tools to run processes. I thought they always ran in batch mode. But I found a trick to run the process in an interactive mode, just like Emacs.

To set it up, just do this:
  1. From the Run/External Tools/External Tools... menu, create a new tool
  2. Set the program location to be the path to the ACL2 executable
  3. Set the working directory to be your directory (I use a variable representing the current project)
  4. Set the arguments to "-". This is the key to make the process take interactive input from the console.
  5. Then just run the tool and ACL2 appears inside a window in eclipse.
I put my input file and the ACL2 window side-by-side and then copy/paste my text.

If you use the Scheme plugin and associate the Scheme Editor with .lisp files (using Preferences/File Assocations), then you will also get paren balancing, syntax coloring and formatting. You have to define some custom settings for ACL2, but this is easy to do. Send me a note and I'll give you my config file.

Oh, and here's what it looks like in action.

ACL2 newbie

I'm learning ACL2: after spending a day understanding what most people feel when they try to program a computer (why the *#@* doesn't it accept my program?), I seem to have a breakthrough that at least allows me to write some functions and make a little progress. Mostly this involves learning "The Method", and becoming a lot more sensitive to all those nagging little corner cases that don't normally ever happen. But of course, the proof system doesn't know they can't happen..

I've gotten it to accept a dozen or so functions, which for me was non-trivial. I'm having trouble now because I need to define a custom :measure on my last function, and I don't understand enough about how ACL2 does rationals (rationalp, natp, numberp, o-p, o<, etc). I assume it will make sense if I read the doc...

It's fun, in a strange way, to be a newbie... I started programming so long ago I have forgotten what it is like to not know how. But ACL2 is letting me remember!

My Vonage Disaster

Last August I decided to sign up for Vonage, to try it out. I made a few calls and it seemed to work. So I requested that my home number be converted to a Vonage number. I waited and waited. Nothing happened. I called them every month or so for the next six months to check the status, but nothing happened. Perhaps SBC was not willing to make the transfer. Perhaps Vonage dropped the ball.
Updated Date: Number Transfer Progress History
August 15, 2004: Awaiting Letter of Authorization
November 24, 2004: Letter of Authorization (LOA) Received
November 24, 2004: Transfer Sent to Carrier
November 24, 2004: Transfer Sent to Carrier
April 18, 2005: LNP Transfer Cancelled
All this time I was paying service charges for a service that didn't work. The gave me a months credit when I asked for it. Finally I was annoyed and asked them to cancel the service. But I couldn't find the original box to send the equipment back, so they charged me for that. $386 later I have nothing but a useless Vonage box.

I guess that is one way to make money...
I've noticed that all my posts so far have been tips, tricks and annoyances. There are several reasons for this:

1) I have a backlog of useful bits that I feel I should post.
2) I feel guilty that I've been using solutions to problems I find on the internet, but haven't been posting my own.
3) Perhaps I'm still getting used to the medium.

Eventually I will start writing about higher-level issues....

Windows backups

I had a disk completely die, and my backups are not as good as they should have been. Fortunately, the data recovery people know their job.

This motivated me to figure out Windows backups. I am not sure that this is the greatest backup script, but it works for me. Here is what it does:
* creates a full backup every week (on monday)
* creates differential backups (with changes from the full backup) every day
* cycles N different backups so you have several weeks/days of backup
* copies the files from one backup media to another, MASTER to SECOND
* just requires one scheduled job
* uses a single selection of files for all backups

To set this up:
* create MASTER and SECOND directories and set the paths in the script
* use NTBackup.exe to create the file "backupList.bks" which lists what files to back up
* put the script into the MASTER directory
* schedule a job to run it every day

This script is provided as is, with no guarantee that it will work for you. Let me know if you have improvements.

set MASTER=K:\Backups
set SECOND=L:\Backups
set keepWeekly=2
set keepDaily=2

REM set test=echo to test the script
set test=

rem echo Backup# %x%

IF "%DATE:~0,3%" == "Mon" GOTO WEEKLY

ECHO Running Daily backup
for /F %%m in (%MASTER%\dailyNumber.txt) do set /a x="%%m"
set type=differential
set file=Daily%x%
set /a x="( %x% + 1) %% (%keepDaily%)"
echo %x% > %MASTER%\dailyNumber.txt

goto DONE
:WEEKLY

ECHO Running Weekly backup
for /F %%m in (%MASTER%\weeklyNumber.txt) do set /a x="%%m"
set type=normal
set file=Weekly%x%
set /a x="( %x% + 1) %% (%keepWeekly%)"
echo %x% > %MASTER%\weeklyNumber.txt

:DONE

%test% ntbackup.exe backup "@%MASTER%\backupList.bks" ^
/n "%file%" /d "%DATE%" ^
/v:no /r:no /rs:no /hc:off ^
/m %type% /j "%file%" /l:s /f ^
"%MASTER%\%file%.bkf"

%test% copy /Y /B "%MASTER%\%file%.bkf" ^
"%SECOND%\%file%.bkf"

set local=%USERPROFILE%\Local Settings
set data=%local%\Application Data\Microsoft
move "%data%\Windows NT\NTBackup\data"\*.log ^
"%MASTER%"

Bad Signature formatting in outlook

Do you have trouble with your signature having the wrong format in Outlook? Mine had the "paragraph" style instead of "normal", so it looked different from the rest of my messages.

Well, I figured out that you can edit the HTML in the files where the signatures are stored. Just take out the paragraph marks and everything works much better!

I found the files in
C:\Documents and Settings\\Application Data\Microsoft\Signatures

Example Application

I recently wanted to get some data to select program committee members for a conference. I decided to estimate which authors had the most impact with papers published at the conference in the past. After some experimentation, here is what I wanted to do:

Use Google to estimate how many pages refer to each paper published at the conference, then analyze this data to find the most cited authors.

Here's what I did:

1) First I needed a list of papers. First I thought of scraping HTML from DBLP. Then I noticed that DBLP contains bibtex items, so I used WinHTTrack Website Copier to download bibtex files from DBLP for that conference. This was not too hard, but I did have to play with the configuration a fair bit to get it to work. This is because the bibtex files are stored on a different server.

2) I had to get the bibtex out of the HTML pages. I decided to write an XSLT script to do this, but had a problem because HTML is not valid XML. After a few false starts, I was able to download, compile and run the .NET Html Agility Pack to clean up the HTML. Then I concatenated all the files and ran this XSLT script over them:

<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
<xsl:output encoding="ascii" method="text">
<xsl:template match="/">
<xsl:for-each select="//pre">
<xsl:value-of select=".">
</xsl:for-each>
</xsl:template>
</xsl:stylesheet>

3) I then had a bunch of bibtex files. I needed to extra the titles and authors. So I decided to the bibtex to XML. After a few false tries, I found bib2XML and converted my files to XML. However, I later found that bib2XML does not properly translate special characters (accented characters, superscirpts, trademark symbols). Rather than fix the code, I fixed the files by hand using a few regular expression substitutions.

4) Then I wrote a .NET application to drive the Google web services API. This was fairly straightforward, except that the Google server for registering to use the API was down for a few days. Also, when I passed null for a default parameter, the call failed without a useful explanation. I tried using empty strings instead and it works.

5) My program created a tab-delimited file (TSV) with a line for each author of a paper, which I then loaded into Excel for analysis. I used the data anlysis wizard to count and sum the number of hits for publications. But now I want to do some more sophisticated analysis.

You might say this is overkill for the purpose I had in mind (or even that it is irrelevant). But I sometimes try to automate processes like this just to find out how hard it is. This one was pretty difficult.

Batched Futures

Here is an older paper that is a real gem:

Reducing cross domain call overhead using batched futures
Phillip Bogle and Barbara Liskov
OOPSLA '94
http://portal.acm.org/citation.cfm?id=191133

Techniques that reduce the cost of latency are becoming increasingly important. This approach is quite simple, but it doesn't eliminate all the latency from a program. It can only delay sends based on the history of calls, it cannot base the call pattern on calls that have not been made yet. Some more global analysis is needed for that.

Why not start with a nit?

Have you ever noticed that online maps don't usually point to the right house/business on a street? I was looking at one today and noticed that google maps pointed to the wrong house. The addresses on my side of the street go from 1 to 13, and my address is 11 so I am near the north end of the block. But google pointed to the south end of the block. I suspect that they assume the block goes 1 to 99, and place the pointer at 11% up the block for an address that ends in "11". They should look at the highest number on the block and divide by that instead. Just a nit, but Google could do it...