William Cook's Fusings

I have been telling people that we need to work on guided synthesis over verification. I believe that guided synthesis is the only way we ar...

Channel 9 interviews from SPLASH 2011 . I talked with Charles Torre of Channel 9 .

I have always felt that zoning regulations are an insidious evil that have caused our communities to be built in ways that are impractical a...

Austin recently started conversion of its old Mueller airport into a housing development . There are some things right about it: mixed use, ...

On Tuesday I gave a tutorial on partial evaluation , called " Build your own partial evaluator in 90 minutes " at the working conf...

I recently found out that Facebook is incredibly easy to hack. It allows you to access the reset password page without any email confirmatio...

I posted a message recently to the Ensō blog about grammars .

I've been busy working on Ensō, but took time out to write something about what we are doing. This post introduces the Schema Schema . N...

I know that this is just a teaser, but it is the introduction of the paper on Ensō that Tijs and I are writing. If you want to know more or ...

I recently gave a lecture in my programming language class concluded by explaining that Java does not support inheritance of interfaces. I...

A great language should let you think useful thoughts you have never been able to think before. This new project I'm working on, whose c...

I recently said that I'm working on creating the "Smalltalk of Modeling". To me, this means creating an elegant system that is...

I'm in Ruby GUI hell. wxruby I'm using ruby1.9 so I need the latest gem. But it is not compiled for 64bit architecture, so I have to...

Last week I started tweeting about a new programming language/model that I'm working on with Tijs van der Storm. If you've talked to...

I just realized that Paul's note is about 10 years old. I'll leave my comments here, but I'm sure a lot has changed since then.....

Does anyone else find it ironic that JAOO would rename itself GOTO ? Doesn't anyone remember GOTO considered harmful?

I was poking around the ACM site and ran into this list. Its too bad the only include "terms" not entire search strings. The follo...

I'm on the PDLI external reviewers committee this year. I've never published a paper at PLDI but I have attended. This is also my fi...

A student sent me a link to my academic genealogy page . Mine goes like this: Peter Wegner, Maurice Wilkes, John Ratcliffe, Edward Appleton,...

Some rants about conference names: PLDI: the only PL conference with "Design" in the title is also the least likely to accept pape...