From 34fb95ff37aac4c18ee487f859d9ea06dc4305d1 Mon Sep 17 00:00:00 2001
From: NunoSempere <nuno.sempere@protonmail.com>
Date: Wed, 24 May 2023 17:12:15 -0700
Subject: [PATCH] tweak: experiment with nimble file, add deps to makefile.

---
 compute_constrained_bayes.nimble | 15 +++++++++++++++
 index.md                         | 23 ++++++++++++++---------
 src/makefile                     |  3 +++
 3 files changed, 32 insertions(+), 9 deletions(-)
 create mode 100644 compute_constrained_bayes.nimble

diff --git a/compute_constrained_bayes.nimble b/compute_constrained_bayes.nimble
new file mode 100644
index 0000000..f47b99f
--- /dev/null
+++ b/compute_constrained_bayes.nimble
@@ -0,0 +1,15 @@
+# Package
+
+version       = "0.1.0"
+author        = "NunoSempere"
+description   = "A nimble package which showcases a few toy versions of bayesian updating under constrained compute"
+license       = "MIT"
+srcDir        = "src"
+bin           = @["compute_constrained_bayes"]
+
+
+# Dependencies
+
+requires "nim >= 1.6.12"
+requires "https://github.com/treeform/print"
+
diff --git a/index.md b/index.md
index 8837656..cefca27 100644
--- a/index.md
+++ b/index.md
@@ -1,14 +1,11 @@
 ## Dependencies
 
-nimble install https://github.com/nim-lang/bigints
-https://nimdocs.com/nim-lang/bigints/bigints.html
 nimble install print
 https://github.com/treeform/print
 
 ## Dependencies
 
 The data folder is not included, but its contents are:
-
 .
 ├── data
 │   ├── stripped
@@ -16,9 +13,13 @@ The data folder is not included, but its contents are:
 
 Where stripped.gz can be found at <https://oeis.org/wiki/JSON_Format,_Compressed_Files>
 
+## Gotchas
+
+Nimble doesn't play well with relative directories. Ignore and use make instead?
+
 ## To do
 
-- [ ] Exploration of OEIS data
+- [x] Exploration of OEIS data
 - [ ] Subdivide subsequent tasks into steps
   - [x] Simple prediction of the next integer
     - [x] Simple predictions v1
@@ -26,11 +27,15 @@ Where stripped.gz can be found at <https://oeis.org/wiki/JSON_Format,_Compressed
     - [-] Maybe add some caching, e.g., write continuations to file, and read them next time.
   - [ ] JIT Bayesianism:
     - [x] Function to predict with a variable number of hypotheses
-    - [ ] Function to start predicting with a small number of hypotheses, and get more if the initial ones aren't enough. 
-    - [ ] Add the loop of: start with some small number of sequences, and if these aren't enough, read more.
-    - [ ] ...
-  - [ ] Infrabayesianism x1: Predicting interleaved sequences
-  - [ ] Infrabayesianism x2: Deterministic game of producing a fixed deterministic prediction, and then the adversary picking whatever minimizes your loss
+    - [x] Function to start predicting with a small number of hypotheses, and get more if the initial ones aren't enough. 
+    - [x] Add the loop of: start with some small number of sequences, and if these aren't enough, read more.
+    - [x] Clean-up
+  - [ ] Infrabayesianism
+      - [ ] Infrabayesianism x1: Predicting interleaved sequences.
+        - Yeah, actually, I think this just captures an implicit assumption of Bayesianism as actually practiced.
+      - [ ] Infrabayesianism x2: Deterministic game of producing a fixed deterministic prediction, and then the adversary picking whatever minimizes your loss
+        - I am actually not sure of what the procedure is exactly for computing that loss. Do you minimize over subsequent rounds of the game, or only for the first round? Look this up.
+        - Also maybe ask for help from e.g., Alex Mennen.
     - [ ] Write the actor 
 
 --- 
diff --git a/src/makefile b/src/makefile
index 528abee..26b9c83 100644
--- a/src/makefile
+++ b/src/makefile
@@ -4,6 +4,9 @@ VERBOSE=--verbosity:0
 build: compute_constrained_bayes.nim
 	nim c $(VERBOSE) compute_constrained_bayes.nim
 
+deps: 
+	nimble install print@1.0.2
+
 run: compute_constrained_bayes 
 	./compute_constrained_bayes $(VERBOSE)