Diff of Good Ideas at b8d8282
@@ -2,3 +2,3 @@Actually run https://github.com/osmarks/meme-search-engine/blob/master/src/reddit_dump.rs at full scale.-* Pending.+* Done! Index in progress.}
@@ -16,2 +16,3 @@ Similarly, contrastive RL for computer algebra (specifically, proving that expre* Check sticky note for slightly more detailed sketch.+* https://osmarks.net/bitalg}