path: root/disc_caching_and_history.mdwn
diff options
authorDaniel Silverstone <>2017-02-04 09:41:13 +0000
committerDaniel Silverstone <>2017-02-04 09:41:13 +0000
commite7366bf41f68cfe07e9ea03fc4a398baecbae651 (patch)
tree5bb9c3cbe7eab7e70ff1ebd65d9de59a694762df /disc_caching_and_history.mdwn
Initial conversion from MediaWiki, 20170204
Diffstat (limited to 'disc_caching_and_history.mdwn')
1 files changed, 34 insertions, 0 deletions
diff --git a/disc_caching_and_history.mdwn b/disc_caching_and_history.mdwn
new file mode 100644
index 0000000..7e84c21
--- /dev/null
+++ b/disc_caching_and_history.mdwn
@@ -0,0 +1,34 @@
+[[!meta title="Disc Caching and History"]]
+[[!meta author="Tlsa"]]
+[[!meta date="2009-07-08T14:34:46Z"]]
+[[!toc]] This page contains ideas
+for adding a disk cache and improving browsing history.
+- Faster page loading using a disk cache
+- Navigating local or global history will show page exactly as it was
+- Groundwork for exciting future features like :-
+- "This page has changed since your last visit 3 minutes ago!"
+- Offline browsing
+- Go back to the past
+- Highlight new text / diff
+- ???
+- Each retrieved resource is assigned an id (could just be an
+ incrementing counter) (so the id refers to a URL at a particular
+ time and as the result of a particular GET or POST)
+- Almost everything refers to those ids instead of URLs (pages with
+ objects, local history, global history)
+- Disk caching can be switched on or off (for devices without storage,
+ private mode, etc.)
+- Disk cache stores headers, data, various metadata, ids of objects it
+ uses
+- Memory cache remains (but modified to be like disk cache)