1.4 KiB
1.4 KiB
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 │ └── stripped.gz
Where stripped.gz can be found at https://oeis.org/wiki/JSON_Format,_Compressed_Files
To do
- Exploration of OEIS data
- Subdivide subsequent tasks into steps
An implementation of Infrabayesianism over OEIS sequences. https://oeis.org/wiki/JSON_Format,_Compressed_Files
Or "Just-in-Time bayesianism", where getting a new hypothesis = getting a new sequence from OEIS which has the numbers you've seen so far.
Implementing Infrabayesianism as a game over OEIS sequences. Two parts:
- Prediction over interleaved sequences. I choose two OEIS sequences, and interleave them: a1, b1, a2, b2.
- Now, you don't have hypothesis over the whole set, but two hypothesis over the
- I could also have a chemistry like iteration: a1 a2 b1 a3 b2 c1 a4 b3 c2 d1 a5 b4 c3 d2 e1 .................
- And then it would just be computationally absurd to have hypotheses over the whole
- Game where: You provide a deterministic procedure for estimating the probability of each OEIS sequence giving a list of trailing examples.