[plt-scheme] Perplexed Programmers

On Aug 29, 2007, at 11:37 AM, Shriram Krishnamurthi wrote:

> I think it does our discipline no good if people cannot back up these
> claims even in the face of friendly fire.  The only choice I see is to
> sustain a coruscating inquiry until we can get to the bottom of the
> reasons or give up on making these claims -- whichever the evidence
> supports.


My list of 'bad mouthing' the existing working SEs and even
more so the NSF-lobbying SE researchers has little to do with
Robin and Tony's quest for 'provably correct' software. I want
working software and accept the occasional hickup. I also want
such software to be produced efficiently and with competence.
These are the bullets that I listed in my message and I stand
by those bullets.

-- Matthias