summaryrefslogtreecommitdiff
path: root/stuff.txt
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-10-22 00:52:09 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-10-22 00:52:09 +0200
commit6e9542ce73c03ea37f530e219a3d6649c0244378 (patch)
tree3b0173e5921b970d954c60dc96b3d392ab34b2b7 /stuff.txt
parent963fbb43ca12d38007e56b54862bb92d4e598417 (diff)
downloaddold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.tar.gz
dold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.tar.bz2
dold-thesis-phd-6e9542ce73c03ea37f530e219a3d6649c0244378.zip
sync
Diffstat (limited to 'stuff.txt')
-rw-r--r--stuff.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/stuff.txt b/stuff.txt
index e2a93d0..facbd60 100644
--- a/stuff.txt
+++ b/stuff.txt
@@ -14,6 +14,7 @@ stretch goals:
* illustration for contract terms etc.
* full reproducible setup (describe Guix setup and configure flags) in appendix
* add details for /payback
+* benchmark that shows DB perf doesn't degrade
final submission (after committee):
* screenshots in Firefox