As far as I can tell its assembly language is designed for fast synthesis and check (e.g. all programs are known to terminate). There is a "miner" generating pr

As far as I can tell its assembly language is designed for fast synthesis and check (e.g. all programs are known to terminate). There is a "miner" generating programs and checking against existing sequences 24/7, a Twitter bot is also available [1]. [1] https://twitter.com/lodaminer https://twitter.com/lodaminer