[ Home | Articles | Account | People | Projects | FAQ ] On 14 March 14 2006, Leslie Lamport gave a wonderful talk called Thinking for Programmers to first- and second-year undergraduate students at the University of Lugano's Faculty of Informatics. The following day, he gave a public lecture called How to Write a Proof at the University's Aula Magna. The above links lead to my accounts of these events.
FOAF updates: Trust rankings are now exported, making the data available to other users and websites. An external FOAF URI has been added, allowing users to link to an additional FOAF file.
Keep up with the latest Advogato features by reading the Advogato status blog.
If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!