9:34:04beachYesterday and today, I received email from a person named Harsh Raju Chmarthi who seemed interested both in first-class global environments and in CLIM. Apparently this person is planning to write an IDE for ACL2. I suggested a participation in #sicl and #clim, so we may get a new visitor soon.
10:14:28heisigThere is this weird essay by Dijkstra on why numbering should start at zero.
10:14:34beachOne time when UT created a big event to collaborate with industry, Dijkstra was chosen to open the event, and he said something to the effect of "I think a collaboration between a university and industry is a very bad idea"