aboutsummaryrefslogtreecommitdiff
path: root/Tasks.org
diff options
context:
space:
mode:
authorAria Shrimpton <me@aria.rip>2024-03-11 15:38:37 +0000
committerAria Shrimpton <me@aria.rip>2024-03-11 15:38:37 +0000
commit07704bf7ec677da85492530fe79d7380f5dd08ee (patch)
tree7cf17f8687086a9e3041599375717958419108e9 /Tasks.org
parent761e2ac49069ecf5eedbffe5a34d6d6ba69a2928 (diff)
first draft
Diffstat (limited to 'Tasks.org')
-rw-r--r--Tasks.org12
1 files changed, 4 insertions, 8 deletions
diff --git a/Tasks.org b/Tasks.org
index 20c04ca..9c84056 100644
--- a/Tasks.org
+++ b/Tasks.org
@@ -282,13 +282,13 @@ Ideas:
**** DONE Conclusion
-*** TODO Predictions
+*** DONE Predictions
-**** TODO Chosen benchmarks
+**** DONE Chosen benchmarks
-**** TODO Effect of selection on benchmarks (spread in execution time)
+**** DONE Effect of selection on benchmarks (spread in execution time)
-**** TODO Summarise predicted versus actual
+**** DONE Summarise predicted versus actual
**** TODO Evaluate performance
@@ -304,8 +304,4 @@ Ideas:
**** TODO Suggest future improvements?
-*** TODO Selection time / developer experience
-
-**** TODO Mention speedup versus naive brute force
-
** TODO Conclusion