news

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.

Added ext2frag program to the software section.

Posted Sun Aug 17 05:51:36 2008

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

PROLOG tutorial moved to its own page together with errata.

Posted Sun Jun 22 07:27:56 2008

Updated bookshelf (the philosophy page).

Posted Sun Jun 1 12:00:54 2008

First public release of the cspim MIPS simulator.

Posted Sat Mar 22 10:00:24 2008

Updated bookshelf (philosophy/todo pages), and reorganized the writings section.

Posted Sun Mar 16 03:54:28 2008

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

Added short description of the Trollringen book.

Posted Wed Jan 23 09:43:08 2008

Added C tutorial to the writings page.

Posted Sun Nov 11 13:56:37 2007

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