2005-02-25
Meeting Prof. Hoare
A most wonderful day today. I heard Tony Hoare's talk on verifying compiler grand challenge and chatted with him and a few coworkers for a few hours afterwards on subjects dear to my heart: verification, quality, testing, better ways of developing software, science of computer science, and so on.
