Since I do not advertise changes and new material on the front page, I have made this page (and feeds) so that you can easily keep track.
2008-07-26
Added a new book ("A Modern Introduction to Probability and Statistics: Understanding Why and How") to the bookshelf (mathematics).
Posted Sat Jul 26 13:49:29 2008
2008-06-22
PROLOG tutorial moved to its own page together with errata.
Posted Sun Jun 22 07:27:56 2008
2008-03-16
Updated bookshelf (philosophy/todo pages), and reorganized the writings section.
Posted Sun Mar 16 03:54:28 2008
2008-01-29
Added lecture notes from the course on formal verification of systems. Read more about them on the writings page.
Posted Tue Jan 29 09:30:35 2008
2007-11-10
Added two new entries to the writings page (programming interview qeustions and the Elf inside-out presentation).
Posted Sat Nov 10 07:43:19 2007