Loda-lang – language, computational model, and OEIS miner

• loda-cpp

  4 19 8.6 C++

  Runtime and miner for the LODA language written in C++

  

Neat.

How many of the solution programs were originally hand-written vs machine generated from other known solutions or actually "mined"? Reading through https://github.com/loda-lang/loda-cpp/blob/main/miners.defau..., it seems like the "template" for each generator could have been minted one way or another. I'm a little curious now...

It's kinda fun to see a program minimizer in ~200LoC++, but I wonder what other optimization tricks would be worth implementing for the purposes of integer sequence search? I wonder if it would be worth wiring up a proper compiler framework? Or are there other projects that already do this kind of thing faster?

Instead of just "matching" it might be cool to sort these solutions by similarity and then compare that to the similarity of the sequences themselves.

• loda-rust

  5 22 9.9 Rust

  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.

  

https://github.com/loda-lang/loda-rust/blob/develop/document...

OEIS has a number of references from other sequences. If it's a popular sequence then the number of references is high. Usually it's humans that specify the references.

Unlike OEIS, the LODA programs references are mined. The most popular LODA program (A132106) has only a few references in OEIS, maybe it's overlooked in OEIS.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project