diff --git a/doc/dev/logs/2011-05-09 b/doc/dev/logs/2011-05-09
new file mode 100644
index 00000000..a748f5d0
--- /dev/null
+++ b/doc/dev/logs/2011-05-09
@@ -0,0 +1,15 @@
+Steven, Nico:
+
+   - static explorer (running once) for types?
+   - probably need to invalidate cache: installing package causes
+      new list of installed packages
+   - optimise using parallel builds?
+   - consens: test on 2 test server
+
+Test servers:
+
+   - create one new ssh-keypair to be deployed on both machines
+   - create rsync script to copy who repo to test machines
+   - write benchmark script, that runs from 1:n hosts and records
+      - cpu time
+      - real time