Marnix Klooster's Home Page

Personal

Male, Christian, married, Dutch.

I currently work at Baan Development as a software engineer; you can e-mail me.

(By the way, there are two of me. That is, there is another Marnix Klooster around. Our offices are even on the same street. Please don't confuse me with him; he studied in Twente, and I in Delft. I really should have a picture of me here.)

Interests

For now, this is just a place to publish some ideas, documents, and links that I find interesting. These pages are updated irregularly, if and when I find the time. Note that all links in [this style] are on this same web site, or on another web site maintained by me.

Currently featuring:

• [Projects and projects-to-be]: What is Marnix up to?
• Software development process: What are good ways to quickly develop quality software that actually does what the customer asked for?
  • Extreme programming (XP): The minimalist software development process. See the following web sites:
    • WikiWikiWeb: Discusses patterns and Extreme Programming.
    • xprogramming.com: Set up by Ron Jeffries, one of the XPioneers.
    • extremeprogramming.org: Another XPage.
• Programming languages: How do I talk to my computer?
  • Object-Orientation: Let objects do the work for you.
    • Smalltalk: Designed in the early 80's, still the best object-oriented language around. Go Smalltalk!
    • Java: Better than C++, performance problem not completely solved yet, libraries are slowly coming up to the Smalltalk level. Portable (but test!). But why don't they add generics?
  • Patterns: Experience made available for reuse.
• Calculational proofs
  • 'A Logical Approach to Discrete Math': A book that teaches calculational proofs hand in hand with discrete math.
  • Logical puzzles for which I've written up [calculational solutions]
  • Refinement calculus: Calculate programs from specifications.
  • [Hmm], a Haskell Metamath module: this currently parses and verifies Metamath databases, but the ultimate goal is to show existing Metamath proofs as calculational proofs.
• Software Control Management
  • Darcs: The next-generation distributed version control system, using patches instead of versions. I have a page describing [my formulation of 'patch calculus'.]

Changes to index.html:

Fri Oct 21 06:25:37 MEST 2005  Marnix Klooster <myfirstname.mylastname@gmail.com>
  * Added item about Hmm.

Sat Apr 30 11:54:39 MEST 2005  Marnix Klooster <myfirstname.mylastname@solcon.nl>
  * Fixed two small typos.

Sat Apr 30 09:32:00 MEST 2005  Marnix Klooster <myfirstname.mylastname@solcon.nl>
  * Updated links to Gries' book 'A Logical Approach to Discrete Math'.

Fri Apr 29 21:48:35 MEST 2005  Marnix Klooster <myfirstname.mylastname@solcon.nl>
  * Added initial version of 'patch calculus' page.

Mon Dec  6 08:43:51 MET 2004  Marnix Klooster
  * Changed my fake e-mail address into English.

Mon Nov  1 14:38:57 MET 2004  Marnix Klooster
  * Removed my e-mail address to prevent spamming.

Mon Nov  1 14:38:34 MET 2004  Marnix Klooster
  * Removed 'Solcon' from title.

Sat Oct 30 12:38:39 MEST 2004  Marnix Klooster
  * Move from CVS to darcs: do not show the CVS date anymore.

Sat May 25 10:46:31 MEST 2002  marnix
  * Changed title due to move from Yahoo! Geocities to Solcon.

Mon Oct 15 20:34:24 MEST 2001  marnix
  * added date to index.html

Mon Oct 15 20:31:30 MEST 2001  marnix
  * m4-ified index.html, changed the page generation code, and reformatted the footer

Wed Sep  5 21:20:00 MEST 2001  marnix
  * Made explicit that last changed date is in GMT

Wed Sep  5 21:08:51 MEST 2001  marnix
  * Now 'last changed' is on its own line

Wed Sep  5 10:10:47 MEST 2001  marnix
  * Added date last changed

Wed Sep  5 08:50:24 MEST 2001  marnix
  * Initial revision