• Software Engineering as Risk Management

    During the Q&A; at the Niklaus Wirth talk last night someone mentioned formal methods from the Hoare school of work. Such as Hoare Logic. In particular they were asking why the work there had fallen out of favor, and wasn’t used more widely. Which got me thinking about the cost... [Read More]
  • Niklaus Wirth 2

    The success of Pascal came many years after it was done, due to the availability of microcomputers. Now there were lots of people available to program who didn’t have to unlearn Fortran. It was driven forward by Borland making the compiler available for only 50 dollars, when other compilers cost... [Read More]
  • Niklaus Wirth

    Here’s some quick notes from the talk that Niklaus Wirth gave at the Computer History Museum on Oct 20th. The topic was “How I Became Interested In Computer Languages”. [Read More]
  • Niklaus Wirth Speaking

    Niklaus Wirth is speaking at the Computer History Museum in Mountain View on the topic “How I Became Interested in Programming Languages”. Wirth is one of those names that pops up over and over again in computer science, like Knuth. I’ve never heard him speak before, and I’m certainly not... [Read More]
  • Semantic XHTML

    Brian Cantoni has a good writeup of a talk about Semantic XHTML given by Kevin Marks and Tantek Celik. The slides are available online as well. There’s some good stuff in there. Lately I’ve been working a bunch with the idea of mixing in additional information with web content. The... [Read More]
  • Bunch of Gnomedex Links

    Gnomedex was fantastic. Lots of people to talk to, and I thought the panel discussions were interesting even if others found some fault with them. Being at the conf you hear about a bunch of stuff that it’s hard to find your way to if you weren’t there to hear... [Read More]
  • Great Conversations

    I’ve had some great conversations over at Gnomedex so far. Here is a by-no-means complete set of links to people I didn’t know before, but I had interesting conversations with. Now I’m going to be reading their stuff. [Read More]
  • Micro-content Lunch at Gnomedex

    We’re having a lunch BOF type gathering at Gnomedex today Oct 2nd, 2004. There is no plan. Join us if you’re into microcontent and want to geek out about it for a while.