Research continues

My wrist are still not doing so well, so I am trying out using handwriting recognition in the evenings. Blogging is obviously falling by the wayside. So for now, I am mostly focusing on continuing my proof of soundness for Featherweight Scala on paper, which should be helpful if I ever get back to the Coq version of the proof.

This afternoon, I wrote a follow-up to a thread on the TYPES list concerning the applicability of my research on generalizing parametricity. I hope it made some sense. At least I have not yet received a serious criticism of the idea.


  1. Alan Schmitt said,

    January 22, 2008 @ 9:47 am

    Good luck about this. How did you manage to type your very long message to the Types mailing list? Using the handwriting recognition software?

    By the way, I don’t know if you’ve heard but it was recently announced that Dragon Naturally Speaking was being ported to the Mac. This may be an alternative possibility for you.

  2. washburn said,

    January 22, 2008 @ 6:11 pm

    I probably would have tried using handwriting recognition for that message, but I had forgotten my laptop’s power supply at home, so I was trying to use it only when I needed to reference some information only on the laptop. That e-mail was probably the most typing I did yesterday.

    Yes, I had actually heard that MacSpeech was licensing Nuance’s technology. If it is priced anywhere near their current iListen product it will be vastly cheaper than Dragon Naturally Speaking Pro. Naturally Speaking Pro is the only version of Nuance’s product with macro support, but MacSpeech claims MacSpeech Dictate has AppleScript support. I am told that if you can write macros for voice recognition it is possible to do some amount of programming via voice recognition. The only problems are (a) I haven’t imported my iMac yet and (b) the website says that MacSpeech Dictate will only work on Intel Macs anyway. I had been thinking about buying a new Mac eventually, but I am not sure if now is the best time to be doing so financially. So I need to think about it. At the very least, I think I should wait to see what the reviews look like before I go out and buy a new Mac just to run the product.

  3. Alan Schmitt said,

    January 23, 2008 @ 8:02 am

    I would definitely not buy a mac just for a new product, and not in Europe in any case (it’s just way too expensive).

  4. washburn said,

    January 23, 2008 @ 8:12 am

    @Alan: Not to mention that if I bought it in Europe, I would probably have to put up with a funny keyboard layout 🙂

  5. Alan Schmitt said,

    January 23, 2008 @ 9:46 am

    Well, the physical layout between azerty and qwerty keyboards is not that different on laptops (the azerty has one extra key, a smaller left shift (where the extra key is) and the return key is vertical instead of horizontal). I use an external keyboard with my laptop (the new bluetooth one, it’s really very nice) that is qwerty and switching to the azerty one is really no trouble.

    But you may be talking about the logical key layout. Then I’ll just have one word for you: Dvorak 😉

RSS feed for comments on this post · TrackBack URI

Leave a Comment