31 lines
1.1 KiB
Markdown
31 lines
1.1 KiB
Markdown
|
## Dependencies
|
||
|
|
|
||
|
|
nimble install https://github.com/nim-lang/bigints
|
||
|
|
https://nimdocs.com/nim-lang/bigints/bigints.html
|
||
|
|
|
||
|
|
## 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:
|
||
|
|
1. 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
|
||
|
|
|
||
|
|
2. Game where: You provide a deterministic procedure for estimating the probability of each OEIS sequence giving a list of trailing examples.
|